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

Table ContractInstanceT Source #
Instance details Defined in Plutus.PAB.Db.Schema Associated Types data PrimaryKey ContractInstanceT column Source # Methods primaryKey :: forall (column :: Type -> Type ). ContractInstanceT column -> PrimaryKey ContractInstanceT column Source #
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) Source # tblSkeleton :: TableSkeleton ContractInstanceT Source #
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) Source # tblSkeleton :: TableSkeleton ( PrimaryKey ContractInstanceT ) Source #
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-CtfsFiD4ohhEkbPm9mkCAB" ' 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-CtfsFiD4ohhEkbPm9mkCAB" ' 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) Source #
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-CtfsFiD4ohhEkbPm9mkCAB" ' 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 #