Safe Haskell	Safe-Inferred
Language	Haskell2010

Sqel.Names.Data

Documentation

type family NatSymbol n where ... Source #

Equations

NatSymbol 0 = "0"
NatSymbol 1 = "1"
NatSymbol 2 = "2"
NatSymbol 3 = "3"
NatSymbol 4 = "4"
NatSymbol 5 = "5"
NatSymbol 6 = "6"
NatSymbol 7 = "7"
NatSymbol 8 = "8"
NatSymbol 9 = "9"
NatSymbol 10 = "10"
NatSymbol 11 = "11"
NatSymbol 12 = "12"
NatSymbol 13 = "13"
NatSymbol 14 = "14"
NatSymbol 15 = "15"
NatSymbol 16 = "16"
NatSymbol 17 = "17"
NatSymbol 18 = "18"
NatSymbol 19 = "19"
NatSymbol _ = TypeError ('Text "Constructors with more than 20 fields not supported")

type family ConNsEnum con n fs where ... Source #

Equations

ConNsEnum _ _ '[] = '[]
ConNsEnum con n (_ ': fs) = AppendSymbol con (NatSymbol n) ': ConNsEnum con (n + 1) fs

type family ConNs fs where ... Source #

Equations

ConNs '[] = '[]
ConNs ('FieldInfo n ': fs) = n ': ConNs fs

type family AdtNs ass cons where ... Source #

Equations

AdtNs '[] '[] = '[]
AdtNs (_ ': ass) ('Record conName fs ': cons) = '(conName, 'True, ConNs fs) ': AdtNs ass cons
AdtNs (as ': ass) ('Constructor conName ': cons) = '(conName, 'False, ConNsEnum conName 0 as) ': AdtNs ass cons
AdtNs _ ('Infix conName _ _ ': _) = TypeError ("Infix constructor not supported: " <> conName)

type family Ns ass info where ... Source #

Equations

Ns ass ('ADT _ _ cons _) = AdtNs ass cons
Ns _ ('Newtype _ name _) = TypeError ("Newtype used for composite column: " <> name)

type family SumConNames a where ... Source #

Equations

type family ProdNames' a names :: [Symbol] where ... Source #

Equations

ProdNames' _ '['(_, _, names)] = names
ProdNames' a '[] = TypeError ("Tried using empty type as a product: " <> a)
ProdNames' a _ = TypeError ("Tried using sum type as a product: " <> a)

type family ProdNames (a :: Type) :: [Symbol] where ... Source #

Equations