sqel-0.0.1.0: Guided derivation for Hasql statements
Safe HaskellSafe-Inferred
LanguageHaskell2010

Sqel.SOP.Constraint

Documentation

type Coded (d :: Type) (dss :: [[Type]]) = GCode d ~ dss Source #

type ProductGCode d = Head (GCode d) Source #

type ProductCoded (d :: Type) (ds :: [Type]) = Coded d '[ds] Source #

type ReifySOP (d :: Type) (dss :: [[Type]]) = (Generic d, GTo d, GCode d ~ dss, All2 Top dss) Source #

type ConstructSOP (d :: Type) (dss :: [[Type]]) = (Generic d, GFrom d, GCode d ~ dss, All2 Top dss) Source #

type ReifyProd d ds = ReifySOP d '[ds] Source #

type ConstructProd d ds = ConstructSOP d '[ds] Source #

type IsNullary = (~) '[] Source #

type IsEnum a = All IsNullary (GCode a) Source #

type family DatatypeInfoName (dt :: DatatypeInfo) :: Symbol where ... Source #

Equations

DatatypeInfoName ('ADT _ name _ _) = name 
DatatypeInfoName ('Newtype _ name _) = name 

type family DataName (d :: Type) :: Symbol where ... Source #

Equations

DataName d = DatatypeInfoName (GDatatypeInfoOf d) 

symbolString :: forall (name :: Symbol). KnownSymbol name => String Source #

symbolText :: forall (name :: Symbol). KnownSymbol name => Text Source #