Sqel.Comp

Documentation

class CompName a sel | a -> sel where

Methods

compName :: TSelW sel

Instances

(name ~ CompNameData a (GDatatypeInfoOf a), sel ~ 'TSel 'DefaultPrefix name, MkTSel sel) => CompName a sel

Defined in Sqel.Comp

Methods

compName :: TSelW sel

CompName a sel => CompName (Uid i a) sel

Defined in Sqel.Comp

Methods

compName :: TSelW sel

type family CompNameData a info where ...

Equations

CompNameData _ ('ADT _ name _ _) = name

CompNameData a _ = TypeError (("The type " <> a) <> " is not an ADT.")

type family RecordFields (fields :: [FieldInfo]) (ass :: [Type]) :: [ProductField] where ...

Equations

RecordFields '[] '[] = '[]

RecordFields ('FieldInfo name ': fields) (a ': as) = 'ProductField name a ': RecordFields fields as

type family ConstructorFields (name :: Symbol) (index :: Nat) (ass :: [Type]) :: [ProductField] where ...

Equations

ConstructorFields _ _ '[] = '[]

ConstructorFields name n (a ': as) = 'ProductField (AppendSymbol name (NatSymbol n)) a ': ConstructorFields name (n + 1) as

type family ProductFields (info :: DatatypeInfo) (ass :: [[Type]]) :: [ProductField] where ...

Equations

ProductFields ('ADT _ _ '['Record _ fields] _) '[ass] = RecordFields fields ass

class Column a fieldName s0 s | a fieldName s0 -> s where

Methods

compItem :: Dd s0 -> Dd s

Instances

a ~ b => Column a fname ('DdK ('SelSymbol name) mods b ('Comp tsel c 'Nest s)) ('DdK ('SelSymbol name) mods a ('Comp tsel c 'Nest s))

Defined in Sqel.Comp

Methods

compItem :: Dd ('DdK ('SelSymbol name) mods b ('Comp tsel c 'Nest s)) -> Dd ('DdK ('SelSymbol name) mods a ('Comp tsel c 'Nest s))

a ~ b => Column a fname ('DdK ('SelSymbol name) mods b 'Prim) ('DdK ('SelSymbol name) mods a 'Prim)

Defined in Sqel.Comp

Methods

compItem :: Dd ('DdK ('SelSymbol name) mods b 'Prim) -> Dd ('DdK ('SelSymbol name) mods a 'Prim)

a ~ b => Column a name ('DdK 'SelAuto mods b ('Comp tsel c 'Merge s)) ('DdK 'SelAuto mods a ('Comp tsel c 'Merge s))

Defined in Sqel.Comp

Methods

compItem :: Dd ('DdK 'SelAuto mods b ('Comp tsel c 'Merge s)) -> Dd ('DdK 'SelAuto mods a ('Comp tsel c 'Merge s))

(a ~ b, KnownSymbol name) => Column a name ('DdK 'SelAuto mods b ('Comp tsel c 'Nest s)) ('DdK ('SelSymbol name) mods a ('Comp tsel c 'Nest s))

Defined in Sqel.Comp

Methods

compItem :: Dd ('DdK 'SelAuto mods b ('Comp tsel c 'Nest s)) -> Dd ('DdK ('SelSymbol name) mods a ('Comp tsel c 'Nest s))

(a ~ b, KnownSymbol name) => Column a name ('DdK 'SelAuto mods b 'Prim) ('DdK ('SelSymbol name) mods a 'Prim)

Defined in Sqel.Comp

Methods

compItem :: Dd ('DdK 'SelAuto mods b 'Prim) -> Dd ('DdK ('SelSymbol name) mods a 'Prim)

a ~ b => Column a name ('DdK 'SelUnused mods b 'Prim) ('DdK 'SelUnused mods a 'Prim)

Defined in Sqel.Comp

Methods

compItem :: Dd ('DdK 'SelUnused mods b 'Prim) -> Dd ('DdK 'SelUnused mods a 'Prim)

data CompMeta

Constructors

CompMeta

Fields

• desc :: Symbol
• name :: ErrorMessage
• combinator :: Symbol
• index :: Nat

Instances

Generic CompMeta

Defined in Sqel.Comp

Associated Types

type Rep CompMeta :: Type -> Type

Methods

from :: CompMeta -> Rep CompMeta x

to :: Rep CompMeta x -> CompMeta

type Rep CompMeta

Defined in Sqel.Comp

type Rep CompMeta = D1 ('MetaData "CompMeta" "Sqel.Comp" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "CompMeta" 'PrefixI 'True) ((S1 ('MetaSel ('Just "desc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ErrorMessage)) :*: (S1 ('MetaSel ('Just "combinator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol) :*: S1 ('MetaSel ('Just "index") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nat))))

type InvalidElem name i arg = DelayError ((((((("Element number " <> i) <> " in the call to ") <> Quoted name) <> " has type ") <> QuotedType arg) <> ".") % ((((("Columns should only be constructed with combinators like " <> Quoted "prim") <> ", ") <> Quoted "prod") <> ",") % ((((Quoted "column" <> " that return the proper type, ") <> Quoted "Dd") <> ".") % (("Consult the module " <> Quoted "Sqel.Combinators") <> " for the full API."))))

class CompItemOrError err field arg s | field arg -> s where

Methods

compItemOrError :: Proxy err -> arg -> Dd s

Instances

Column a fieldName s0 s1 => CompItemOrError err ('ProductField fieldName a) (Dd s0) s1

Defined in Sqel.Comp

Methods

compItemOrError :: Proxy err -> Dd s0 -> Dd s1

class CheckCompItem meta field arg s | field arg -> s where

Methods

checkCompItem :: arg -> Dd s

Instances

(meta ~ 'CompMeta desc name combinator index, error ~ InvalidElem combinator index arg, CompItemOrError error field arg s1) => CheckCompItem meta field arg s1

Defined in Sqel.Comp

Methods

checkCompItem :: arg -> Dd s1

type family MetaNext (meta :: CompMeta) :: CompMeta where ...

Equations

MetaNext ('CompMeta desc name combinator index) = 'CompMeta desc name combinator (index + 1)

type family MetaFor (desc :: Symbol) (name :: ErrorMessage) (combinator :: Symbol) :: CompMeta where ...

Equations

MetaFor desc name combinator = 'CompMeta desc name combinator 1

data SpecType

Constructors

SpecNP

SpecDsl

SpecPrims

Instances

(a ~ b, CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) fields a (NP Dd s0) s1) => CompColumn' meta ('Right 'SpecPrims :: Either Void SpecType) fields a (Prims b s0) s1

Defined in Sqel.Comp

Methods

compColumn' :: Prims b s0 -> NP Dd s1

CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) ('[] :: [ProductField]) a (NP f ('[] :: [k])) ('[] :: [DdK])

Defined in Sqel.Comp

Methods

compColumn' :: NP f '[] -> NP Dd '[]

CheckCompItem meta field arg s => CompColumn' meta ('Right 'SpecDsl :: Either Void SpecType) '[field] a arg '[s]

Defined in Sqel.Comp

Methods

compColumn' :: arg -> NP Dd '[s]

(CheckCompItem meta field arg0 s0, CompColumn' (MetaNext meta) ('Right 'SpecDsl :: Either Void SpecType) fields a args s1) => CompColumn' meta ('Right 'SpecDsl :: Either Void SpecType) (field ': fields) a (arg0 :> args) (s0 ': s1)

Defined in Sqel.Comp

Methods

compColumn' :: (arg0 :> args) -> NP Dd (s0 ': s1)

(CheckCompItem meta field (f arg0) s0, CompColumn' (MetaNext meta) ('Right 'SpecNP :: Either Void SpecType) fields a2 (NP f args) s1) => CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) (field ': fields) a2 (NP f (arg0 ': args)) (s0 ': s1)

Defined in Sqel.Comp

Methods

compColumn' :: NP f (arg0 ': args) -> NP Dd (s0 ': s1)

type family CheckFields (meta :: CompMeta) (len :: Nat) (fieldLen :: Nat) (t :: SpecType) :: Either Void SpecType where ...

Equations

CheckFields _ n n t = 'Right t

CheckFields ('CompMeta desc name _ _) arg f _ = 'Left (DelayError (CountMismatch desc name arg f))

type family DslSize (arg :: Type) :: Nat where ...

Equations

DslSize (_ :> as) = 1 + DslSize as

DslSize _ = 1

type family TriageComp (meta :: CompMeta) (arg :: Type) (fields :: [ProductField]) :: Either Void SpecType where ...

Equations

TriageComp _ (Prims _ _) _ = 'Right 'SpecPrims

TriageComp meta (NP _ s) fs = CheckFields meta (Length @@ s) (Length @@ fs) 'SpecNP

TriageComp meta args fs = CheckFields meta (DslSize args) (Length @@ fs) 'SpecDsl

class CompColumn' meta spec fields a arg s | fields arg -> s where

Methods

compColumn' :: arg -> NP Dd s

Instances

(a ~ b, CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) fields a (NP Dd s0) s1) => CompColumn' meta ('Right 'SpecPrims :: Either Void SpecType) fields a (Prims b s0) s1

Defined in Sqel.Comp

Methods

compColumn' :: Prims b s0 -> NP Dd s1

CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) ('[] :: [ProductField]) a (NP f ('[] :: [k])) ('[] :: [DdK])

Defined in Sqel.Comp

Methods

compColumn' :: NP f '[] -> NP Dd '[]

CheckCompItem meta field arg s => CompColumn' meta ('Right 'SpecDsl :: Either Void SpecType) '[field] a arg '[s]

Defined in Sqel.Comp

Methods

compColumn' :: arg -> NP Dd '[s]

(CheckCompItem meta field arg0 s0, CompColumn' (MetaNext meta) ('Right 'SpecDsl :: Either Void SpecType) fields a args s1) => CompColumn' meta ('Right 'SpecDsl :: Either Void SpecType) (field ': fields) a (arg0 :> args) (s0 ': s1)

Defined in Sqel.Comp

Methods

compColumn' :: (arg0 :> args) -> NP Dd (s0 ': s1)

(CheckCompItem meta field (f arg0) s0, CompColumn' (MetaNext meta) ('Right 'SpecNP :: Either Void SpecType) fields a2 (NP f args) s1) => CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) (field ': fields) a2 (NP f (arg0 ': args)) (s0 ': s1)

Defined in Sqel.Comp

Methods

compColumn' :: NP f (arg0 ': args) -> NP Dd (s0 ': s1)

class CompColumn meta fields a arg s | fields arg -> s where

Methods

compColumn :: arg -> NP Dd s

Instances

(spec ~ TriageComp meta arg fields, CompColumn' meta spec fields a arg s) => CompColumn meta fields a arg s

Defined in Sqel.Comp

Methods

compColumn :: arg -> NP Dd s

class SetTypePrefix prefix s0 s1 | prefix s0 -> s1 where

Methods

setTypePrefix :: Dd s0 -> Dd s1

Instances

TypeName ('SelPrefix prefix) tpe tname => SetTypePrefix prefix ('DdK sel mods a ('Comp ('TSel oldPrefix tpe) c i s)) ('DdK sel mods a ('Comp ('TSel ('SelPrefix prefix) tpe) c i s))

Defined in Sqel.Comp

Methods

setTypePrefix :: Dd ('DdK sel mods a ('Comp ('TSel oldPrefix tpe) c i s)) -> Dd ('DdK sel mods a ('Comp ('TSel ('SelPrefix prefix) tpe) c i s))

typePrefix :: forall prefix s0 s1. SetTypePrefix prefix s0 s1 => Dd s0 -> Dd s1