Sqel.Data.Dd

Documentation

data ProductField

Constructors

ProductField

Fields

• name :: Symbol
• tpe :: Type

Instances

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)

newtype ConCol (name :: Symbol) (record :: Bool) (fields :: [ProductField]) as

Constructors

ConCol

Fields

• unConCol :: NP I as

Instances

(a ~ ConCol name record fields as, TypeName 'DefaultPrefix name tname, meta ~ MetaFor "constructor" ('Text name) "con1", CompColumn meta (Con1Fields a) a arg s) => Con1Column a arg ('DdK 'SelAuto (NoMods :: [Type]) (ConCol name record fields as) ('Comp ('TSel 'DefaultPrefix name) ('Prod ('Con as)) 'Merge s))

Defined in Sqel.Sum

Methods

con1 :: arg -> Dd ('DdK 'SelAuto NoMods (ConCol name record fields as) ('Comp ('TSel 'DefaultPrefix name) ('Prod ('Con as)) 'Merge s))

(a ~ ConCol name record fields as, MkTSel ('TSel 'DefaultPrefix name), meta ~ MetaFor "constructor" ('Text name) "con", CompColumn meta fields a arg s) => ConColumn a arg ('DdK 'SelAuto (NoMods :: [Type]) (ConCol name record fields as) ('Comp ('TSel 'DefaultPrefix name) ('Prod ('Con as)) 'Nest s))

Defined in Sqel.Sum

Methods

con :: arg -> Dd ('DdK 'SelAuto NoMods (ConCol name record fields as) ('Comp ('TSel 'DefaultPrefix name) ('Prod ('Con as)) 'Nest s))

(Invariant b, WrapConB b ass as) => WrapConB b (as' ': ass) (ConCol name record fields as' ': as)

Defined in Sqel.Codec.Sum

Methods

wrapConB :: NP b (ConCol name record fields as' ': as) -> NP (ConB b) (as' ': ass)

ConCodec b as => CompCodec ('Prod ('Con as)) i (ConCol name record fields as) b as

Defined in Sqel.ReifyCodec

Methods

compCodec :: NP b as -> b (ConCol name record fields as)

data ProdType

Constructors

Reg

Con [Type]

data Comp

Constructors

Prod ProdType

Sum

Instances

DefaultCompCodec c i b a as => ReifyCompCodec (b :: Type -> Type) (c :: Comp) (i :: CompInc) ps (as :: [Type]) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyCompCodec :: NP I ps -> NP b as -> b a

data CompInc

Constructors

Merge

Nest

Instances

DefaultCompCodec c i b a as => ReifyCompCodec (b :: Type -> Type) (c :: Comp) (i :: CompInc) ps (as :: [Type]) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyCompCodec :: NP I ps -> NP b as -> b a

data Struct

Constructors

Prim

Comp

Fields

• typeName :: TSel
• compKind :: Comp
• compInc :: CompInc
• sub :: [DdK]

data DdK

Constructors

DdK

Fields

• columnName :: Sel
• mods :: [Type]
• hsType :: Type
• struct :: Struct

Instances

(b ~ a, CompName a ('TSel prefix name), fields ~ SumFields (GDatatypeInfoOf a) (GCode a), meta ~ MetaFor "sum type" ('ShowType a) "sum", CompColumn meta fields a arg s) => SumWith b isel imods arg ('DdK 'SelAuto (NoMods :: [Type]) a ('Comp ('TSel prefix name) 'Sum 'Nest ('DdK isel imods Int64 'Prim ': s)))

Defined in Sqel.Sum

Methods

sumWith :: Dd ('DdK isel imods Int64 'Prim) -> arg -> Dd ('DdK 'SelAuto NoMods a ('Comp ('TSel prefix name) 'Sum 'Nest ('DdK isel imods Int64 'Prim ': s)))

(b ~ a, CompName a ('TSel prefix name), IndexName 'DefaultPrefix name iname, fields ~ SumFields (GDatatypeInfoOf a) (GCode a), meta ~ MetaFor "sum type" ('ShowType a) "sum", CompColumn meta fields a arg s) => Sum b arg ('DdK 'SelAuto (NoMods :: [Type]) a ('Comp ('TSel prefix name) 'Sum 'Nest (IndexColumn name ': s)))

Defined in Sqel.Sum

Methods

sum :: arg -> Dd ('DdK 'SelAuto NoMods a ('Comp ('TSel prefix name) 'Sum 'Nest (IndexColumn name ': s)))

ReifyCodecComp b ('[] :: [DdK]) ('[] :: [Type])

Defined in Sqel.ReifyCodec

Methods

reifyCodecComp :: NP Dd '[] -> NP b '[]

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

Defined in Sqel.Comp

Methods

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

(ReifyCodec b s a, ReifyCodecComp b ss as) => ReifyCodecComp b (s ': ss) (a ': as)

Defined in Sqel.ReifyCodec

Methods

reifyCodecComp :: NP Dd (s ': ss) -> NP b (a ': as)

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)

IndexName ('SelPrefix prefix) tpe iname => SetIndexPrefix prefix ('DdK sel mods a ('Comp tsel 'Sum i ('DdK ('SelIndex oldPrefix tpe) (NoMods :: [Type]) Int64 'Prim ': cons))) ('DdK sel mods a ('Comp tsel 'Sum i (IndexColumnWith ('SelPrefix prefix) tpe ': cons)))

Defined in Sqel.Sum

Methods

setIndexPrefix :: Dd ('DdK sel mods a ('Comp tsel 'Sum i ('DdK ('SelIndex oldPrefix tpe) NoMods Int64 'Prim ': cons))) -> Dd ('DdK sel mods a ('Comp tsel 'Sum i (IndexColumnWith ('SelPrefix prefix) tpe ': cons)))

PrettyNP ('[] :: [DdK])

Defined in Sqel.Data.Dd

Methods

prettyNP :: NP Dd '[] -> [Doc ann]

ReifyDdComp ('[] :: [DdK])

Defined in Sqel.ReifyDd

Methods

reifyDdComp :: NP Dd '[] -> [DdTerm]

DdCols ('[] :: [DdK]) ('[] :: [DdlColumnK]) ('[] :: [DdlTypeK])

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd '[] -> (NP DdlColumn '[], NP DdlType '[])

MkPrimNewtypes ('[] :: [k]) ('[] :: [DdK])

Defined in Sqel.Prim

Methods

mkPrimNewtypes :: NP Dd '[]

MkPrims ('[] :: [k]) ('[] :: [DdK])

Defined in Sqel.Prim

Methods

mkPrims :: NP Dd '[]

(MkPrimNewtypes as s, err ~ NewtypeError, UnwrapNewtype err a w) => MkPrimNewtypes (a ': as :: [Type]) ('DdK 'SelAuto '[Newtype a w] a 'Prim ': s)

Defined in Sqel.Prim

Methods

mkPrimNewtypes :: NP Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim ': s)

MkPrims as s => MkPrims (a ': as :: [Type]) ('DdK 'SelAuto ('[] :: [Type]) a 'Prim ': s)

Defined in Sqel.Prim

Methods

mkPrims :: NP Dd ('DdK 'SelAuto '[] a 'Prim ': s)

(Pretty (Dd s), PrettyNP ss) => PrettyNP (s ': ss)

Defined in Sqel.Data.Dd

Methods

prettyNP :: NP Dd (s ': ss) -> [Doc ann]

(ReifyDd s, ReifyDdComp ss) => ReifyDdComp (s ': ss)

Defined in Sqel.ReifyDd

Methods

reifyDdComp :: NP Dd (s ': ss) -> [DdTerm]

(DdCols sub mergeCols subTypes, DdCols ss cols types, allCols ~ (mergeCols ++ cols), allTypes ~ (subTypes ++ types)) => DdCols ('DdK sel mods a ('Comp ('TSel tprefix tname) c 'Merge sub) ': ss) allCols allTypes

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd ('DdK sel mods a ('Comp ('TSel tprefix tname) c 'Merge sub) ': ss) -> (NP DdlColumn allCols, NP DdlType allTypes)

(ColumnConstraints mods, DdlTypes 'False ('DdK ('SelSymbol name) mods a ('Comp ('TSel tprefix tname) c 'Nest sub)) hTypes, DdCols ss cols types, allTypes ~ (hTypes ++ types), rename ~ MigrationRenameK mods, renameType ~ MigrationRenameTypeK mods, delete ~ MigrationDeleteK mods, TypeName tprefix tname pgName) => DdCols ('DdK ('SelSymbol name) mods a ('Comp ('TSel tprefix tname) c 'Nest sub) ': ss) ('DdlColumnK name ('Just pgName) mods rename renameType delete a ': cols) allTypes

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd ('DdK ('SelSymbol name) mods a ('Comp ('TSel tprefix tname) c 'Nest sub) ': ss) -> (NP DdlColumn ('DdlColumnK name ('Just pgName) mods rename renameType delete a ': cols), NP DdlType allTypes)

(ReifySel sel name, ReifyPrimName a mods, ColumnConstraints mods, DdCols ss cols types, rename ~ MigrationRenameK mods, renameType ~ MigrationRenameTypeK mods, delete ~ MigrationDeleteK mods) => DdCols ('DdK sel mods a 'Prim ': ss) ('DdlColumnK name ('Nothing :: Maybe Symbol) mods rename renameType delete a ': cols) types

Defined in Sqel.Migration.Ddl

Methods

ddCols :: NP Dd ('DdK sel mods a 'Prim ': ss) -> (NP DdlColumn ('DdlColumnK name 'Nothing mods rename renameType delete a ': cols), NP DdlType types)

(All ToSelectExpr sub, QFragmentPrefix sel) => ToSelectExpr ('DdK sel p q ('Comp tsel 'Sum 'Nest (IndexColumn name ': sub)))

Defined in Sqel.Query.SelectExpr

Methods

toSelectExpr :: ColumnPrefix -> Dd ('DdK sel p q ('Comp tsel 'Sum 'Nest (IndexColumn name ': sub))) -> SelectExpr

type a > (b :: DdK)

Defined in Sqel.Type

type a > (b :: DdK) = '[a, b]

type ('DdK sel mods a ('Comp tsel c i ('[] :: [DdK]))) *> (sub :: DdK)

Defined in Sqel.Type

type ('DdK sel mods a ('Comp tsel c i ('[] :: [DdK]))) *> (sub :: DdK) = 'DdK sel mods a ('Comp tsel c i '[sub])

type a > (b :: [DdK])

Defined in Sqel.Type

type a > (b :: [DdK]) = a ': b

type ('DdK sel mods a ('Comp tsel c i ('[] :: [DdK]))) *> (sub :: [DdK])

Defined in Sqel.Type

type ('DdK sel mods a ('Comp tsel c i ('[] :: [DdK]))) *> (sub :: [DdK]) = 'DdK sel mods a ('Comp tsel c i sub)

data DdSort c where

Constructors

DdProd :: DdSort ('Prod 'Reg)

DdCon :: DdSort ('Prod ('Con as))

DdSum :: DdSort 'Sum

class MkDdSort c where

Methods

ddSort :: DdSort c

Instances

MkDdSort 'Sum

Defined in Sqel.Data.Dd

Methods

ddSort :: DdSort 'Sum

MkDdSort ('Prod ('Con as))

Defined in Sqel.Data.Dd

Methods

ddSort :: DdSort ('Prod ('Con as))

MkDdSort ('Prod 'Reg)

Defined in Sqel.Data.Dd

Methods

ddSort :: DdSort ('Prod 'Reg)

data DdInc c where

Constructors

DdMerge :: DdInc 'Merge

DdNest :: DdInc 'Nest

class MkDdInc c where

Methods

ddInc :: DdInc c

Instances

MkDdInc 'Merge

Defined in Sqel.Data.Dd

Methods

ddInc :: DdInc 'Merge

MkDdInc 'Nest

Defined in Sqel.Data.Dd

Methods

ddInc :: DdInc 'Nest

data DdStruct s where

Constructors

DdPrim :: DdStruct 'Prim

DdComp :: TSelW sel -> DdSort c -> DdInc i -> NP Dd sub -> DdStruct ('Comp sel c i sub)

Instances

Pretty (DdStruct 'Prim)

Defined in Sqel.Data.Dd

Methods

pretty :: DdStruct 'Prim -> Doc ann

prettyList :: [DdStruct 'Prim] -> Doc ann

data Dd s where

Constructors

Dd :: SelW sel -> Mods mods -> DdStruct s -> Dd ('DdK sel mods a 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

PrettyNP sub => Pretty (Dd ('DdK sel p a ('Comp tsel c i sub)))

Defined in Sqel.Data.Dd

Methods

pretty :: Dd ('DdK sel p a ('Comp tsel c i sub)) -> Doc ann

prettyList :: [Dd ('DdK sel p a ('Comp tsel c i sub))] -> Doc ann

Pretty (Mods p) => Pretty (Dd ('DdK sel p a 'Prim))

Defined in Sqel.Data.Dd

Methods

pretty :: Dd ('DdK sel p a 'Prim) -> Doc ann

prettyList :: [Dd ('DdK sel p a 'Prim)] -> Doc ann

data QOp

Constructors

QAnd

QOr

Instances

Generic QOp

Defined in Sqel.Data.Dd

Associated Types

type Rep QOp :: Type -> Type

Methods

from :: QOp -> Rep QOp x

to :: Rep QOp x -> QOp

Show QOp

Defined in Sqel.Data.Dd

Methods

showsPrec :: Int -> QOp -> ShowS

show :: QOp -> String

showList :: [QOp] -> ShowS

Eq QOp

Defined in Sqel.Data.Dd

Methods

(==) :: QOp -> QOp -> Bool

(/=) :: QOp -> QOp -> Bool

type Rep QOp

Defined in Sqel.Data.Dd

type Rep QOp = D1 ('MetaData "QOp" "Sqel.Data.Dd" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "QAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QOr" 'PrefixI 'False) (U1 :: Type -> Type))

type family DdType s where ...

Equations

DdType ('DdK _ _ a _) = a

type family DdTypes s where ...

Equations

DdTypes '[] = '[]

DdTypes (s ': ss) = DdType s ': DdTypes ss

type family DdSel s where ...

Equations

DdSel ('DdK sel _ _ _) = sel

type family DdName (s :: DdK) :: Symbol where ...

Equations

DdName ('DdK ('SelSymbol name) _ _ _) = name

DdName ('DdK _ _ a _) = TypeError (("This Dd for type " <> a) <> " has no name")

type family DdTypeSel s where ...

Equations

DdTypeSel ('DdK _ _ _ ('Comp sel _ _ _)) = sel

sel :: Dd s -> SelW (DdSel s)

typeSel :: Dd ('DdK sel p a ('Comp tsel c i sub)) -> TSelW tsel

showSel :: Dd s -> Text

showTypeSel :: Dd ('DdK sel p a ('Comp tsel c i sub)) -> Text

data a :> b infixr 3

Constructors

a :> b infixr 3

Instances

(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)

SymNP p1 ps => SymNP (p0 :> p1) (p0 ': ps)

Defined in Sqel.Class.Mods

Methods

symNP :: (p0 :> p1) -> NP I (p0 ': ps)

MkMigrations old (mig1 ': migs) => MkMigrations (Migration ('Mig from to m ext) :> old) ('Mig from to m ext ': (mig1 ': migs))

Defined in Sqel.Data.Migration

Methods

mkMigrations :: (Migration ('Mig from to m ext) :> old) -> NP Migration ('Mig from to m ext ': (mig1 ': migs))

class PrettyNP s where

Methods

prettyNP :: NP Dd s -> [Doc ann]

Instances

PrettyNP ('[] :: [DdK])

Defined in Sqel.Data.Dd

Methods

prettyNP :: NP Dd '[] -> [Doc ann]

(Pretty (Dd s), PrettyNP ss) => PrettyNP (s ': ss)

Defined in Sqel.Data.Dd

Methods

prettyNP :: NP Dd (s ': ss) -> [Doc ann]

type family Sqel' sel mods a s = r | r -> sel mods a s where ...

Equations

Sqel' sel mods a s = Dd ('DdK sel mods a s)

type family Sqel a p = r | r -> p a where ...

Equations

Sqel a '(sel, mods, s) = Dd ('DdK sel mods a s)