Sqel.ReifyDd

Documentation

class ReifyPrimName a mods where

Methods

reifyPrimName :: NP I mods -> PgPrimName

Instances

PrimColumn a => ReifyPrimName (a :: Type) ('[] :: [Type])

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I '[] -> PgPrimName

ReifyPrimName w mods => ReifyPrimName (a :: Type) (Newtype a w ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (Newtype a w ': mods) -> PgPrimName

ReifyPrimName (a :: k) (PgPrimName ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (PgPrimName ': mods) -> PgPrimName

ReifyPrimName a mods => ReifyPrimName (a :: k) (p ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (p ': mods) -> PgPrimName

ReifyPrimName a mods => ReifyPrimName (Maybe a :: Type) (Nullable ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (Nullable ': mods) -> PgPrimName

ReifyPrimName a mods => ReifyPrimName (f a :: Type) (ArrayColumn f ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (ArrayColumn f ': mods) -> PgPrimName

class ReifyDd s where

Methods

reifyDd :: Dd s -> DdTerm

Instances

(ColumnConstraints mods, MaybeMod SetTableName mods, ReifyDdComp sub) => ReifyDd ('DdK sel mods a ('Comp tsel c i sub))

Defined in Sqel.ReifyDd

Methods

reifyDd :: Dd ('DdK sel mods a ('Comp tsel c i sub)) -> DdTerm

(ColumnConstraints mods, MaybeMod SetTableName mods, ReifyPrimName a mods, ReifySel sel name) => ReifyDd ('DdK sel mods a 'Prim)

Defined in Sqel.ReifyDd

Methods

reifyDd :: Dd ('DdK sel mods a 'Prim) -> DdTerm

class ReifyDdComp s where

Methods

reifyDdComp :: NP Dd s -> [DdTerm]

Instances

ReifyDdComp ('[] :: [DdK])

Defined in Sqel.ReifyDd

Methods

reifyDdComp :: NP Dd '[] -> [DdTerm]

(ReifyDd s, ReifyDdComp ss) => ReifyDdComp (s ': ss)

Defined in Sqel.ReifyDd

Methods

reifyDdComp :: NP Dd (s ': ss) -> [DdTerm]