Sqel.Ext

Documentation

module Sqel.Data.Dd

module Sqel.Names

module Sqel.Product

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

Methods

setIndexPrefix :: Dd s0 -> Dd s1

Instances

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

class DdType s ~ a => Con1AsColumn name a arg s | name a arg -> s where

Methods

con1As :: arg -> Dd s

Instances

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

Defined in Sqel.Sum

Methods

con1As :: arg -> Dd ('DdK 'SelAuto NoMods a ('Comp ('TSel 'DefaultPrefix name) ('Prod ('Con as)) 'Merge s))

class DdType s ~ a => Con1Column a arg s | a arg -> s where

Methods

con1 :: arg -> Dd s

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

class DdType s ~ a => ConColumn a arg s | a arg -> s where

Methods

con :: arg -> Dd s

Instances

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

class DdType s ~ a => Sum a arg s | a arg -> s where

Methods

sum :: arg -> Dd s

Instances

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

class DdType s ~ a => SumWith a isel imods arg s | a isel imods arg -> s where

Methods

sumWith :: Dd ('DdK isel imods Int64 'Prim) -> arg -> Dd s

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

class (DdType si ~ i, DdType sa ~ a) => UidColumn i a si sa s | i a si sa -> s where

Methods

uidColumn :: Dd si -> Dd sa -> Dd s

Instances

(DdType si ~ i, DdType sa ~ a, DdTypeSel sa ~ sel, ProductSel sel (Uid i a) (Dd si :> Dd (Merge sa)) s) => UidColumn i a si sa s

Defined in Sqel.Uid

Methods

uidColumn :: Dd si -> Dd sa -> Dd s

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

Minimal complete definition

compItem

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)

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

class MkTSel sel where

Methods

mkTSel :: TSelW sel

Instances

TypeName prefix tpe name => MkTSel ('TSel prefix tpe)

Defined in Sqel.Data.Sel

Methods

mkTSel :: TSelW ('TSel prefix tpe)

class KnownSymbol name => ReifyTSel sel name | sel -> name where

Methods

reifyTSel :: TSelW sel -> Text

Instances

TypeName prefixSpec sel name => ReifyTSel ('TSel prefixSpec sel) name

Defined in Sqel.Data.Sel

Methods

reifyTSel :: TSelW ('TSel prefixSpec sel) -> Text

class KnownSymbol name => ReifySel sel name | sel -> name where

Methods

reifySel :: SelW sel -> Text

Instances

KnownSymbol name => ReifySel ('SelSymbol name) name

Defined in Sqel.Data.Sel

Methods

reifySel :: SelW ('SelSymbol name) -> Text

IndexName prefixSpec sel name => ReifySel ('SelIndex prefixSpec sel) name

Defined in Sqel.Data.Sel

Methods

reifySel :: SelW ('SelIndex prefixSpec sel) -> Text

class MkSel sel where

Methods

mkSel :: SelW sel

Instances

MkSel 'SelAuto

Defined in Sqel.Data.Sel

Methods

mkSel :: SelW 'SelAuto

MkSel 'SelUnused

Defined in Sqel.Data.Sel

Methods

mkSel :: SelW 'SelUnused

MkSel ('SelPath p)

Defined in Sqel.Data.Sel

Methods

mkSel :: SelW ('SelPath p)

KnownSymbol sel => MkSel ('SelSymbol sel)

Defined in Sqel.Data.Sel

Methods

mkSel :: SelW ('SelSymbol sel)

class (KnownSymbol name, KnownSymbol tpe) => TypeName prefix tpe name | prefix tpe -> name

Instances

(name ~ TypePrefixed prefixSpec tpe, KnownSymbol name, KnownSymbol tpe) => TypeName prefixSpec tpe name

Defined in Sqel.Data.Sel

class KnownSymbol name => IndexName prefix tpe name | prefix tpe -> name

Instances

(name ~ IndexPrefixed prefixSpec tpe, KnownSymbol name) => IndexName prefixSpec tpe name

Defined in Sqel.Data.Sel

data SelPrefix

Constructors

DefaultPrefix

NoPrefix

SelPrefix Symbol

data Ignore

Constructors

Ignore

Instances

Generic Ignore

Defined in Sqel.Data.Mods

Associated Types

type Rep Ignore :: Type -> Type

Methods

from :: Ignore -> Rep Ignore x

to :: Rep Ignore x -> Ignore

Show Ignore

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> Ignore -> ShowS

show :: Ignore -> String

showList :: [Ignore] -> ShowS

Eq Ignore

Defined in Sqel.Data.Mods

Methods

(==) :: Ignore -> Ignore -> Bool

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

ReifyPrimCodec Encoder (Ignore ': ps) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Ignore ': ps) -> Encoder a

ReifyPrimCodec FullCodec (Ignore ': ps) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Ignore ': ps) -> FullCodec a

type Rep Ignore

Defined in Sqel.Data.Mods

type Rep Ignore = D1 ('MetaData "Ignore" "Sqel.Data.Mods" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Ignore" 'PrefixI 'False) (U1 :: Type -> Type))

data Newtype a w

Constructors

Newtype (a -> w) (w -> a)

Instances

ReifyPrimName w mods => ReifyPrimName (a :: Type) (Newtype a w ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (Newtype a w ': mods) -> PgPrimName

ReifyPrimCodec Value mods w => ReifyPrimCodec Value (Newtype a w ': mods) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Newtype a w ': mods) -> Value a

(ReifyPrimCodec c mods w, Invariant c) => ReifyPrimCodec (c :: Type -> Type) (Newtype a w ': mods) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Newtype a w ': mods) -> c a

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

Generic (Newtype a w)

Defined in Sqel.Data.Mods

Associated Types

type Rep (Newtype a w) :: Type -> Type

Methods

from :: Newtype a w -> Rep (Newtype a w) x

to :: Rep (Newtype a w) x -> Newtype a w

Show (Newtype a w)

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> Newtype a w -> ShowS

show :: Newtype a w -> String

showList :: [Newtype a w] -> ShowS

type Rep (Newtype a w)

Defined in Sqel.Data.Mods

type Rep (Newtype a w) = D1 ('MetaData "Newtype" "Sqel.Data.Mods" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Newtype" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> w)) :*: S1 ('MetaSel ('Just "wrap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (w -> a))))

newtype SetTableName

Constructors

SetTableName

Fields

• unSetTableName :: PgTableName

Instances

IsString SetTableName

Defined in Sqel.Data.Mods

Methods

fromString :: String -> SetTableName

Generic SetTableName

Defined in Sqel.Data.Mods

Associated Types

type Rep SetTableName :: Type -> Type

Methods

from :: SetTableName -> Rep SetTableName x

to :: Rep SetTableName x -> SetTableName

Show SetTableName

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> SetTableName -> ShowS

show :: SetTableName -> String

showList :: [SetTableName] -> ShowS

Eq SetTableName

Defined in Sqel.Data.Mods

Methods

(==) :: SetTableName -> SetTableName -> Bool

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

Ord SetTableName

Defined in Sqel.Data.Mods

Methods

compare :: SetTableName -> SetTableName -> Ordering

(<) :: SetTableName -> SetTableName -> Bool

(<=) :: SetTableName -> SetTableName -> Bool

(>) :: SetTableName -> SetTableName -> Bool

(>=) :: SetTableName -> SetTableName -> Bool

max :: SetTableName -> SetTableName -> SetTableName

min :: SetTableName -> SetTableName -> SetTableName

type Rep SetTableName

Defined in Sqel.Data.Mods

type Rep SetTableName = D1 ('MetaData "SetTableName" "Sqel.Data.Mods" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'True) (C1 ('MetaCons "SetTableName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSetTableName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgTableName)))

data ArrayColumn f

Constructors

ArrayColumn

Instances

(ReifyPrimCodec ValueCodec ps a, Foldable f, ArrayDecoder f a) => ReifyPrimCodec FullCodec (ArrayColumn f ': ps) (f a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (ArrayColumn f ': ps) -> FullCodec (f a)

(ReifyPrimCodec ValueCodec ps a, Foldable f, ArrayDecoder f a) => ReifyPrimCodec ValueCodec (ArrayColumn f ': ps) (f a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (ArrayColumn f ': ps) -> ValueCodec (f a)

ReifyPrimName a mods => ReifyPrimName (f a :: Type) (ArrayColumn f ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (ArrayColumn f ': mods) -> PgPrimName

Generic (ArrayColumn f)

Defined in Sqel.Data.Mods

Associated Types

type Rep (ArrayColumn f) :: Type -> Type

Methods

from :: ArrayColumn f -> Rep (ArrayColumn f) x

to :: Rep (ArrayColumn f) x -> ArrayColumn f

Show (ArrayColumn f)

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> ArrayColumn f -> ShowS

show :: ArrayColumn f -> String

showList :: [ArrayColumn f] -> ShowS

Eq (ArrayColumn f)

Defined in Sqel.Data.Mods

Methods

(==) :: ArrayColumn f -> ArrayColumn f -> Bool

(/=) :: ArrayColumn f -> ArrayColumn f -> Bool

type Rep (ArrayColumn f)

Defined in Sqel.Data.Mods

type Rep (ArrayColumn f) = D1 ('MetaData "ArrayColumn" "Sqel.Data.Mods" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "ArrayColumn" 'PrefixI 'False) (U1 :: Type -> Type))

data ReadShowColumn

Constructors

ReadShowColumn

Instances

Generic ReadShowColumn

Defined in Sqel.Data.Mods

Associated Types

type Rep ReadShowColumn :: Type -> Type

Methods

from :: ReadShowColumn -> Rep ReadShowColumn x

to :: Rep ReadShowColumn x -> ReadShowColumn

Show ReadShowColumn

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> ReadShowColumn -> ShowS

show :: ReadShowColumn -> String

showList :: [ReadShowColumn] -> ShowS

Eq ReadShowColumn

Defined in Sqel.Data.Mods

Methods

(==) :: ReadShowColumn -> ReadShowColumn -> Bool

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

(Show a, Read a) => ReifyPrimCodec FullCodec (ReadShowColumn ': ps) (a :: TYPE LiftedRep)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (ReadShowColumn ': ps) -> FullCodec a

(Show a, Read a) => ReifyPrimCodec ValueCodec (ReadShowColumn ': ps) (a :: TYPE LiftedRep)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (ReadShowColumn ': ps) -> ValueCodec a

type Rep ReadShowColumn

Defined in Sqel.Data.Mods

type Rep ReadShowColumn = D1 ('MetaData "ReadShowColumn" "Sqel.Data.Mods" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "ReadShowColumn" 'PrefixI 'False) (U1 :: Type -> Type))

data EnumColumn

Constructors

EnumColumn

Instances

Generic EnumColumn

Defined in Sqel.Data.Mods

Associated Types

type Rep EnumColumn :: Type -> Type

Methods

from :: EnumColumn -> Rep EnumColumn x

to :: Rep EnumColumn x -> EnumColumn

Show EnumColumn

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> EnumColumn -> ShowS

show :: EnumColumn -> String

showList :: [EnumColumn] -> ShowS

Eq EnumColumn

Defined in Sqel.Data.Mods

Methods

(==) :: EnumColumn -> EnumColumn -> Bool

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

(Show a, EnumTable a) => ReifyPrimCodec FullCodec (EnumColumn ': ps) (a :: TYPE LiftedRep)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (EnumColumn ': ps) -> FullCodec a

(Show a, EnumTable a) => ReifyPrimCodec ValueCodec (EnumColumn ': ps) (a :: TYPE LiftedRep)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (EnumColumn ': ps) -> ValueCodec a

type Rep EnumColumn

Defined in Sqel.Data.Mods

type Rep EnumColumn = D1 ('MetaData "EnumColumn" "Sqel.Data.Mods" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "EnumColumn" 'PrefixI 'False) (U1 :: Type -> Type))

data PgDefault

Constructors

PgDefault Sql

Instances

Show PgDefault

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> PgDefault -> ShowS

show :: PgDefault -> String

showList :: [PgDefault] -> ShowS

ColumnConstraint PgDefault

Defined in Sqel.ColumnConstraints

Methods

columnConstraint :: PgDefault -> Constraints -> Constraints

data PrimaryKey

Constructors

PrimaryKey

Instances

Show PrimaryKey

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> PrimaryKey -> ShowS

show :: PrimaryKey -> String

showList :: [PrimaryKey] -> ShowS

ColumnConstraint PrimaryKey

Defined in Sqel.ColumnConstraints

Methods

columnConstraint :: PrimaryKey -> Constraints -> Constraints

data Unique

Constructors

Unique

Instances

Show Unique

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> Unique -> ShowS

show :: Unique -> String

showList :: [Unique] -> ShowS

ColumnConstraint Unique

Defined in Sqel.ColumnConstraints

Methods

columnConstraint :: Unique -> Constraints -> Constraints

data Nullable

Constructors

Nullable

Instances

Show Nullable

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> Nullable -> ShowS

show :: Nullable -> String

showList :: [Nullable] -> ShowS

ColumnConstraint Nullable

Defined in Sqel.ColumnConstraints

Methods

columnConstraint :: Nullable -> Constraints -> Constraints

ReifyPrimCodec Value ps a => ReifyPrimCodec Encoder (Nullable ': ps) (Maybe a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Nullable ': ps) -> Encoder (Maybe a)

ReifyPrimCodec ValueCodec ps a => ReifyPrimCodec FullCodec (Nullable ': ps) (Maybe a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Nullable ': ps) -> FullCodec (Maybe a)

ReifyPrimName a mods => ReifyPrimName (Maybe a :: Type) (Nullable ': mods)

Defined in Sqel.ReifyDd

Methods

reifyPrimName :: NP I (Nullable ': mods) -> PgPrimName

type NoMods = '[]

data Mods ps

Instances

All (Compose Show I) ps => Show (Mods ps)

Defined in Sqel.Data.Mods

Methods

showsPrec :: Int -> Mods ps -> ShowS

show :: Mods ps -> String

showList :: [Mods ps] -> ShowS

All Show ps => Pretty (Mods ps)

Defined in Sqel.Data.Mods

Methods

pretty :: Mods ps -> Doc ann

prettyList :: [Mods ps] -> Doc ann

pattern NoMods :: () => ps ~ '[] => Mods ps

class MaybeMod p ps where

Methods

maybeMod :: Mods ps -> Maybe p

Instances

MaybeMod p ('[] :: [Type])

Defined in Sqel.Class.Mods

Methods

maybeMod :: Mods '[] -> Maybe p

MaybeMod p (p ': ps)

Defined in Sqel.Class.Mods

Methods

maybeMod :: Mods (p ': ps) -> Maybe p

MaybeMod p ps => MaybeMod p (p0 ': ps)

Defined in Sqel.Class.Mods

Methods

maybeMod :: Mods (p0 ': ps) -> Maybe p

class OptMod p ps res | ps p -> res where

Methods

optMod :: Mods ps -> res

Instances

OptMod p ('[] :: [Type]) ()

Defined in Sqel.Class.Mods

Methods

optMod :: Mods '[] -> ()

OptMod p (p ': ps) p

Defined in Sqel.Class.Mods

Methods

optMod :: Mods (p ': ps) -> p

OptMod p ps p1 => OptMod p (p0 ': ps) p1

Defined in Sqel.Class.Mods

Methods

optMod :: Mods (p0 ': ps) -> p1

class CMapMod c p0 p p1 s0 s1 | s0 p0 p1 -> p s1 where

Methods

cmapMod :: p0 -> (c p p1 => p -> p1) -> Dd s0 -> Dd s1

Instances

CMapMod' c p0 p p1 ps0 ps1 => CMapMod c p0 p p1 ('DdK sel ps0 a s0) ('DdK sel ps1 a s0)

Defined in Sqel.Class.Mods

Methods

cmapMod :: p0 -> (c p p1 => p -> p1) -> Dd ('DdK sel ps0 a s0) -> Dd ('DdK sel ps1 a s0)

class OverMod p s where

Methods

overMod :: (p -> p) -> Dd s -> Dd s

Instances

OverMod' p ps => OverMod p ('DdK sel ps a s0)

Defined in Sqel.Class.Mods

Methods

overMod :: (p -> p) -> Dd ('DdK sel ps a s0) -> Dd ('DdK sel ps a s0)

class MapMod p s0 s1 | p s0 -> s1 where

Methods

mapMod :: p -> (p -> p) -> Dd s0 -> Dd s1

Instances

MapMod' p ps0 ps1 => MapMod p ('DdK sel ps0 a s0) ('DdK sel ps1 a s0)

Defined in Sqel.Class.Mods

Methods

mapMod :: p -> (p -> p) -> Dd ('DdK sel ps0 a s0) -> Dd ('DdK sel ps1 a s0)

class AddMod p s0 s1 | p s0 -> s1 where

Methods

addMod :: p -> Dd s0 -> Dd s1

Instances

AddMod p ('DdK sel ps a s) ('DdK sel (p ': ps) a s)

Defined in Sqel.Class.Mods

Methods

addMod :: p -> Dd ('DdK sel ps a s) -> Dd ('DdK sel (p ': ps) a s)

amendMod :: MapMod p s0 s1 => p -> Dd s0 -> Dd s1

setMod :: MapMod p s0 s1 => p -> Dd s0 -> Dd s1

data SelectAtom

Constructors

SelectAtom FragType (Selector -> Int -> Sql)

Instances

Generic SelectAtom

Defined in Sqel.Data.SelectExpr

Associated Types

type Rep SelectAtom :: Type -> Type

Methods

from :: SelectAtom -> Rep SelectAtom x

to :: Rep SelectAtom x -> SelectAtom

type Rep SelectAtom

Defined in Sqel.Data.SelectExpr

type Rep SelectAtom = D1 ('MetaData "SelectAtom" "Sqel.Data.SelectExpr" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "SelectAtom" 'PrefixI 'True) (S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FragType) :*: S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Selector -> Int -> Sql))))

data FragType

Constructors

Where

Offset

Limit

Order Order

Custom Int Text

Instances

Generic FragType

Defined in Sqel.Data.FragType

Associated Types

type Rep FragType :: Type -> Type

Methods

from :: FragType -> Rep FragType x

to :: Rep FragType x -> FragType

Show FragType

Defined in Sqel.Data.FragType

Methods

showsPrec :: Int -> FragType -> ShowS

show :: FragType -> String

showList :: [FragType] -> ShowS

Eq FragType

Defined in Sqel.Data.FragType

Methods

(==) :: FragType -> FragType -> Bool

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

Ord FragType

Defined in Sqel.Data.FragType

Methods

compare :: FragType -> FragType -> Ordering

(<) :: FragType -> FragType -> Bool

(<=) :: FragType -> FragType -> Bool

(>) :: FragType -> FragType -> Bool

(>=) :: FragType -> FragType -> Bool

max :: FragType -> FragType -> FragType

min :: FragType -> FragType -> FragType

type Rep FragType

Defined in Sqel.Data.FragType

type Rep FragType = D1 ('MetaData "FragType" "Sqel.Data.FragType" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) ((C1 ('MetaCons "Where" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Offset" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Limit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Order" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Order)) :+: C1 ('MetaCons "Custom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

module Sqel.Data.Migration

class PrimColumn a where

Minimal complete definition

pgType

Methods

primDecoder :: Value a

default primDecoder :: PrimDecoder a => Value a

primEncoder :: Value a

default primEncoder :: PrimEncoder a => Value a

pgType :: PgPrimName

Instances

PrimColumn Int64

Defined in Sqel.Codec

Methods

primDecoder :: Value Int64

primEncoder :: Value Int64

pgType :: PgPrimName

PrimColumn ByteString

Defined in Sqel.Codec

Methods

primDecoder :: Value ByteString

primEncoder :: Value ByteString

pgType :: PgPrimName

PrimColumn Date

Defined in Sqel.Codec

Methods

primDecoder :: Value Date

primEncoder :: Value Date

pgType :: PgPrimName

PrimColumn Datetime

Defined in Sqel.Codec

Methods

primDecoder :: Value Datetime

primEncoder :: Value Datetime

pgType :: PgPrimName

PrimColumn Time

Defined in Sqel.Codec

Methods

primDecoder :: Value Time

primEncoder :: Value Time

pgType :: PgPrimName

PrimColumn Text

Defined in Sqel.Codec

Methods

primDecoder :: Value Text

primEncoder :: Value Text

pgType :: PgPrimName

PrimColumn Day

Defined in Sqel.Codec

Methods

primDecoder :: Value Day

primEncoder :: Value Day

pgType :: PgPrimName

PrimColumn DiffTime

Defined in Sqel.Codec

Methods

primDecoder :: Value DiffTime

primEncoder :: Value DiffTime

pgType :: PgPrimName

PrimColumn UTCTime

Defined in Sqel.Codec

Methods

primDecoder :: Value UTCTime

primEncoder :: Value UTCTime

pgType :: PgPrimName

PrimColumn LocalTime

Defined in Sqel.Codec

Methods

primDecoder :: Value LocalTime

primEncoder :: Value LocalTime

pgType :: PgPrimName

PrimColumn TimeOfDay

Defined in Sqel.Codec

Methods

primDecoder :: Value TimeOfDay

primEncoder :: Value TimeOfDay

pgType :: PgPrimName

PrimColumn UUID

Defined in Sqel.Codec

Methods

primDecoder :: Value UUID

primEncoder :: Value UUID

pgType :: PgPrimName

PrimColumn ()

Defined in Sqel.Codec

Methods

primDecoder :: Value ()

primEncoder :: Value ()

pgType :: PgPrimName

PrimColumn Bool

Defined in Sqel.Codec

Methods

primDecoder :: Value Bool

primEncoder :: Value Bool

pgType :: PgPrimName

PrimColumn Double

Defined in Sqel.Codec

Methods

primDecoder :: Value Double

primEncoder :: Value Double

pgType :: PgPrimName

PrimColumn Int

Defined in Sqel.Codec

Methods

primDecoder :: Value Int

primEncoder :: Value Int

pgType :: PgPrimName

(TypeError ((("A column of type " <> QuotedType a) <> " was declared as primitive,") % ((("but there is no instance of " <> Quoted "PrimColumn") <> " for that type.") % (((("If it is a newtype, ensure that it has " <> Quoted "Generic") <> " and use ") <> Quoted "primNewtype") <> "."))) :: Constraint) => PrimColumn a

Defined in Sqel.Codec

Methods

primDecoder :: Value a

primEncoder :: Value a

pgType :: PgPrimName

PrimDecoder (Path b t) => PrimColumn (Path b t)

Defined in Sqel.Codec

Methods

primDecoder :: Value (Path b t)

primEncoder :: Value (Path b t)

pgType :: PgPrimName

PrimColumn (TimeOfDay, TimeZone)

Defined in Sqel.Codec

Methods

primDecoder :: Value (TimeOfDay, TimeZone)

primEncoder :: Value (TimeOfDay, TimeZone)

pgType :: PgPrimName

class ReifyCodec b s a | s -> a

Minimal complete definition

reifyCodec

Instances

(ReifyCodecComp b sub as, ReifyCompCodec b c i ps as a) => ReifyCodec b ('DdK sel ps a ('Comp tsel c i sub)) a

Defined in Sqel.ReifyCodec

Methods

reifyCodec :: Dd ('DdK sel ps a ('Comp tsel c i sub)) -> b a

ReifyPrimCodec b ps a => ReifyCodec b ('DdK sel ps a 'Prim) a

Defined in Sqel.ReifyCodec

Methods

reifyCodec :: Dd ('DdK sel ps a 'Prim) -> b a

class ReifyDd s

Minimal complete definition

reifyDd

Instances

(ColumnConstraints mods, MaybeMod SetTableName mods, ReifyDdComp sub) => ReifyDd ('DdK sel mods a ('Comp tsel c i sub))

Defined in Sqel.ReifyDd

Methods

reifyDd :: Dd ('DdK sel mods a ('Comp tsel c i sub)) -> DdTerm

(ColumnConstraints mods, MaybeMod SetTableName mods, ReifyPrimName a mods, ReifySel sel name) => ReifyDd ('DdK sel mods a 'Prim)

Defined in Sqel.ReifyDd

Methods

reifyDd :: Dd ('DdK sel mods a 'Prim) -> DdTerm