Sqel.PgType

Documentation

pgColumn :: DdTerm -> ([PgColumn], [(PgColumnName, StructureType)], Map PgTypeRef PgComposite, [NonEmpty PgColumnName])

comp :: Text -> Comp -> CompInc -> [DdTerm] -> (PgComposite, PgStructure, Map PgTypeRef PgComposite, Bool, [NonEmpty PgColumnName])

mkSelector :: NonEmpty PgColumnName -> Selector

mkValues :: PgStructure -> [Sql]

mkTable :: PgColumnName -> Maybe PgTableName -> PgColumns -> Map PgTypeRef PgComposite -> [NonEmpty PgColumnName] -> PgStructure -> PgTable a

toTable :: DdTerm -> PgTable a

pgTable :: forall s. ReifyDd s => Dd s -> PgTable (DdType s)

class MkTableSchema table where

Methods

tableSchema :: Dd table -> TableSchema (DdType table)

Instances

(ReifyDd table, ReifyCodec FullCodec table (DdType table)) => MkTableSchema table

Defined in Sqel.PgType

Methods

tableSchema :: Dd table -> TableSchema (DdType table)

class CheckedProjection' (check :: Maybe Void) (s :: DdK) where

Methods

checkedProjection' :: Dd s -> ProjectionWitness (DdType s) table

Instances

CheckedProjection' ('Nothing :: Maybe Void) s

Defined in Sqel.PgType

Methods

checkedProjection' :: forall {k1} (table :: k1). Dd s -> ProjectionWitness (DdType s) table

class CheckedProjection (proj :: DdK) (table :: DdK) where

Methods

checkedProjection :: Dd proj -> ProjectionWitness (DdType proj) (DdType table)

Instances

(MatchProjection proj table match, CheckedProjection' match proj) => CheckedProjection proj table

Defined in Sqel.PgType

Methods

checkedProjection :: Dd proj -> ProjectionWitness (DdType proj) (DdType table)

type CheckProjectionStuck = "Could not validate projection fields since there is not enough type information available." % (("You are most likely missing a constraint for " <> Quoted "CheckedProjection") <> ".")

projectionWitness :: forall proj table. CheckedProjection proj table => Dd proj -> Dd table -> ProjectionWitness (DdType proj) (DdType table)

projection :: MkTableSchema proj => MkTableSchema table => CheckedProjection proj table => Dd proj -> Dd table -> Projection (DdType proj) (DdType table)

fullProjection :: MkTableSchema table => CheckedProjection table table => Dd table -> Projection (DdType table) (DdType table)

toFullProjection :: TableSchema table -> Projection table table