plutus-pab-1.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.PAB.Db.Schema

Documentation

data ContractInstanceT f Source #

Constructors

ContractInstance 

Fields

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.1.0.0-FfR7woEUDQq3z789ky1Jcq" '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.1.0.0-FfR7woEUDQq3z789ky1Jcq" '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

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.1.0.0-FfR7woEUDQq3z789ky1Jcq" '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 #