Safe Haskell	None
Language	Haskell2010

Plutus.PAB.Db.Schema

Documentation

data ContractInstanceT f Source #

Constructors

ContractInstance
Fields _contractInstanceId :: Columnar f Text _contractInstanceContractId :: Columnar f Text _contractInstanceWallet :: Columnar f Text _contractInstanceState :: Columnar f (Maybe Text) _contractInstanceActive :: Columnar f Bool

Instances

Instances details

Beamable ContractInstanceT Source #
Instance details Defined in Plutus.PAB.Db.Schema Methods zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> ContractInstanceT f -> ContractInstanceT g -> m (ContractInstanceT h) tblSkeleton :: TableSkeleton ContractInstanceT
Table ContractInstanceT Source #
Instance details Defined in Plutus.PAB.Db.Schema Associated Types data PrimaryKey ContractInstanceT column Methods primaryKey :: forall (column :: Type -> Type). ContractInstanceT column -> PrimaryKey ContractInstanceT column
Generic (ContractInstanceT f) Source #
Instance details Defined in Plutus.PAB.Db.Schema Associated Types type Rep (ContractInstanceT f) :: Type -> Type Source # Methods from :: ContractInstanceT f -> Rep (ContractInstanceT f) x Source # to :: Rep (ContractInstanceT f) x -> ContractInstanceT f Source #
Beamable (PrimaryKey ContractInstanceT) Source #
Instance details Defined in Plutus.PAB.Db.Schema Methods zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey ContractInstanceT f -> PrimaryKey ContractInstanceT g -> m (PrimaryKey ContractInstanceT h) tblSkeleton :: TableSkeleton (PrimaryKey ContractInstanceT)
Generic (PrimaryKey ContractInstanceT f) Source #
Instance details Defined in Plutus.PAB.Db.Schema Associated Types type Rep (PrimaryKey ContractInstanceT f) :: Type -> Type Source # Methods from :: PrimaryKey ContractInstanceT f -> Rep (PrimaryKey ContractInstanceT f) x Source # to :: Rep (PrimaryKey ContractInstanceT f) x -> PrimaryKey ContractInstanceT f Source #
data PrimaryKey ContractInstanceT f Source #
Instance details Defined in Plutus.PAB.Db.Schema data PrimaryKey ContractInstanceT f = ContractInstanceId (Columnar f Text)
type Rep (ContractInstanceT f) Source #
Instance details Defined in Plutus.PAB.Db.Schema type Rep (ContractInstanceT f) = D1 ('MetaData "ContractInstanceT" "Plutus.PAB.Db.Schema" "plutus-pab-1.2.0.0-LtxAAjtTYeqGloVmBPlsYv" 'False) (C1 ('MetaCons "ContractInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_contractInstanceId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Text)) :: S1 ('MetaSel ('Just "_contractInstanceContractId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Text))) :: (S1 ('MetaSel ('Just "_contractInstanceWallet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Text)) :: (S1 ('MetaSel ('Just "_contractInstanceState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f (Maybe Text))) :: S1 ('MetaSel ('Just "_contractInstanceActive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Bool))))))
type Rep (PrimaryKey ContractInstanceT f) Source #
Instance details Defined in Plutus.PAB.Db.Schema type Rep (PrimaryKey ContractInstanceT f) = D1 ('MetaData "PrimaryKey" "Plutus.PAB.Db.Schema" "plutus-pab-1.2.0.0-LtxAAjtTYeqGloVmBPlsYv" 'False) (C1 ('MetaCons "ContractInstanceId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Columnar f Text))))

contractInstanceId :: forall (f1 :: Type -> Type) f2. Functor f2 => (Columnar f1 Text -> f2 (Columnar f1 Text)) -> ContractInstanceT f1 -> f2 (ContractInstanceT f1) Source #

type ContractInstance = ContractInstanceT Identity Source #

type ContractInstanceId = PrimaryKey ContractInstanceT Identity Source #

data Db f Source #

Constructors

Db
Fields _contractInstances :: f (TableEntity ContractInstanceT)

Instances

Instances details

Database be Db Source #
Instance details Defined in Plutus.PAB.Db.Schema Methods zipTables :: Applicative m => Proxy be -> (forall tbl. (IsDatabaseEntity be tbl, DatabaseEntityRegularRequirements be tbl) => f tbl -> g tbl -> m (h tbl)) -> Db f -> Db g -> m (Db h)
Generic (Db f) Source #
Instance details Defined in Plutus.PAB.Db.Schema Associated Types type Rep (Db f) :: Type -> Type Source # Methods from :: Db f -> Rep (Db f) x Source # to :: Rep (Db f) x -> Db f Source #
type Rep (Db f) Source #
Instance details Defined in Plutus.PAB.Db.Schema type Rep (Db f) = D1 ('MetaData "Db" "Plutus.PAB.Db.Schema" "plutus-pab-1.2.0.0-LtxAAjtTYeqGloVmBPlsYv" 'False) (C1 ('MetaCons "Db" 'PrefixI 'True) (S1 ('MetaSel ('Just "_contractInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity ContractInstanceT)))))

db :: DatabaseSettings be Db Source #

checkedSqliteDb :: CheckedDatabaseSettings Sqlite Db Source #

checkedPostgresDb :: CheckedDatabaseSettings Postgres Db Source #