Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class ReifyPrimName a mods where Source #
reifyPrimName :: NP I mods -> PgPrimName Source #
Instances
PrimColumn a => ReifyPrimName (a :: Type) ('[] :: [Type]) Source # | |
Defined in Sqel.ReifyDd reifyPrimName :: NP I '[] -> PgPrimName Source # | |
ReifyPrimName w mods => ReifyPrimName (a :: Type) (Newtype a w ': mods) Source # | |
Defined in Sqel.ReifyDd reifyPrimName :: NP I (Newtype a w ': mods) -> PgPrimName Source # | |
ReifyPrimName (a :: k) (PgPrimName ': mods) Source # | |
Defined in Sqel.ReifyDd reifyPrimName :: NP I (PgPrimName ': mods) -> PgPrimName Source # | |
ReifyPrimName a mods => ReifyPrimName (a :: k) (p ': mods) Source # | |
Defined in Sqel.ReifyDd reifyPrimName :: NP I (p ': mods) -> PgPrimName Source # | |
ReifyPrimName a mods => ReifyPrimName (Maybe a :: Type) (Nullable ': mods) Source # | |
Defined in Sqel.ReifyDd reifyPrimName :: NP I (Nullable ': mods) -> PgPrimName Source # | |
ReifyPrimName a mods => ReifyPrimName (f a :: Type) (ArrayColumn f ': mods) Source # | |
Defined in Sqel.ReifyDd reifyPrimName :: NP I (ArrayColumn f ': mods) -> PgPrimName Source # |
class ReifyDd s where Source #
Instances
(ColumnConstraints mods, MaybeMod SetTableName mods, ReifyDdComp sub) => ReifyDd ('DdK sel mods a ('Comp tsel c i sub)) Source # | |
(ColumnConstraints mods, MaybeMod SetTableName mods, ReifyPrimName a mods, ReifySel sel name) => ReifyDd ('DdK sel mods a 'Prim) Source # | |
class ReifyDdComp s where Source #
Instances
ReifyDdComp ('[] :: [DdK]) Source # | |
Defined in Sqel.ReifyDd | |
(ReifyDd s, ReifyDdComp ss) => ReifyDdComp (s ': ss) Source # | |
Defined in Sqel.ReifyDd |