Sqel.SOP.Constraint

Documentation

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

type ProductGCode d = Head (GCode d)

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

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

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

type ReifyProd d ds = ReifySOP d '[ds]

type ConstructProd d ds = ConstructSOP d '[ds]

type IsNullary = (~) '[]

type IsEnum a = All IsNullary (GCode a)

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

Equations

DatatypeInfoName ('ADT _ name _ _) = name

DatatypeInfoName ('Newtype _ name _) = name

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

Equations

DataName d = DatatypeInfoName (GDatatypeInfoOf d)

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

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