Sqel

Documentation

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

Equations

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

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)

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

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 TSel

Constructors

TSel SelPrefix Symbol

Instances

(MkTSel sel, fields ~ ProductFields (GDatatypeInfoOf a) (GCode a), meta ~ MetaFor "product type" ('ShowType a) "prod", CompColumn meta fields a arg s) => ProductSel (sel :: TSel) a arg ('DdK 'SelAuto (NoMods :: [Type]) a ('Comp sel ('Prod 'Reg) 'Nest s))

Defined in Sqel.Product

Methods

prodSel :: arg -> Dd ('DdK 'SelAuto NoMods a ('Comp sel ('Prod 'Reg) 'Nest s))

data Sel

Constructors

SelSymbol Symbol

SelPath [Symbol]

SelAuto

SelUnused

SelIndex SelPrefix Symbol

type family MSelect (dd :: DdK) :: DdK where ...

Equations

MSelect dd = Mod SelectAtom dd

type family Mod (mod :: Type) (dd :: DdK) :: DdK where ...

Equations

Mod mod dd = Mods '[mod] dd

type family ModsR (mods :: [Type]) (dd :: DdK) :: DdK where ...

Equations

ModsR new ('DdK sel old a s) = 'DdK sel (old ++ new) a s

type family Mods (mods :: [Type]) (dd :: DdK) :: DdK where ...

Equations

Mods new ('DdK sel old a s) = 'DdK sel (new ++ old) a s

type family ProdPrimsNewtype (a :: Type) :: DdK where ...

Equations

ProdPrimsNewtype a = ProdPrimsNewtype' a (GCode a) (GDatatypeInfoOf a)

type family ProdPrims (a :: Type) :: DdK where ...

Equations

ProdPrims a = ProdPrims' a (GCode a) (GDatatypeInfoOf a)

type family TypeSel (tsel :: TSel) (dd :: DdK) :: DdK where ...

Equations

TypeSel tsel ('DdK sel mods a ('Comp _ c i sub)) = 'DdK sel mods a ('Comp tsel c i sub)

type family Name (name :: Symbol) (dd :: DdK) :: DdK where ...

Equations

Name name ('DdK _ mods a s) = 'DdK ('SelSymbol name) mods a s

type family PrimNewtype (name :: Symbol) (a :: Type) :: DdK where ...

Equations

PrimNewtype name a = Mod (Newtype a (NewtypeWrapped a)) (Prim name a)

type family Prim (name :: Symbol) (a :: Type) :: DdK where ...

Equations

Prim name a = PrimSel ('SelSymbol name) a

type family PrimUnused (a :: Type) :: DdK where ...

Equations

PrimUnused a = PrimSel 'SelUnused a

type family PrimSel (sel :: Sel) (a :: Type) :: DdK where ...

Equations

PrimSel sel a = 'DdK sel NoMods a 'Prim

type family a > b infixr 5

Instances

type a > (b :: DdK)

Defined in Sqel.Type

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

type a > (b :: [DdK])

Defined in Sqel.Type

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

type family base *> sub infix 4

Instances

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 ('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 family Merge (dd :: DdK) :: DdK where ...

Equations

Merge ('DdK sel mods a ('Comp tsel c _ sub)) = 'DdK sel mods a ('Comp tsel c 'Merge sub)

Merge s = s

type family Prod (a :: Type) :: DdK where ...

Equations

Prod a = 'DdK 'SelAuto NoMods a ('Comp ('TSel 'DefaultPrefix (DataName a)) ('Prod 'Reg) 'Nest '[])

merge :: Dd s -> Dd (Merge s)

type IndexColumn name = IndexColumnWith 'DefaultPrefix name

type IndexColumnWith prefix name = 'DdK ('SelIndex prefix name) NoMods Int64 'Prim

column :: Mods p -> Dd ('DdK 'SelAuto p a 'Prim)

mods :: SymNP p ps => p -> Mods ps

primMod :: p -> Dd ('DdK 'SelAuto '[p] a 'Prim)

primMods :: SymNP p ps => p -> Dd ('DdK 'SelAuto ps a 'Prim)

prim :: forall a. Dd ('DdK 'SelAuto NoMods a 'Prim)

ignore :: forall a. Dd ('DdK 'SelUnused '[Ignore] a 'Prim)

primNewtype :: forall a w err. err ~ NewtypeError => UnwrapNewtype err a w => Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim)

primCoerce :: forall a w. Coercible a w => Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim)

primIndex :: forall tpe name. IndexName 'DefaultPrefix tpe name => Dd (IndexColumn tpe)

json :: forall a. ToJSON a => FromJSON a => Dd ('DdK 'SelAuto [PgPrimName, PrimValueCodec a] a 'Prim)

enum :: forall a. Dd ('DdK 'SelAuto [PgPrimName, EnumColumn] a 'Prim)

readShow :: forall a. Dd ('DdK 'SelAuto [PgPrimName, ReadShowColumn] a 'Prim)

primNullable :: forall a. Dd ('DdK 'SelAuto '[Nullable] (Maybe a) 'Prim)

primAs :: forall name a. KnownSymbol name => Dd ('DdK ('SelSymbol name) '[] a 'Prim)

array :: forall f a p sel. Dd ('DdK sel p a 'Prim) -> Dd ('DdK sel (ArrayColumn f ': p) (f a) 'Prim)

migrateDef :: forall s0 s1. MapMod (MigrationDefault (DdType s0)) s0 s1 => DdType s0 -> Dd s0 -> Dd s1

migrateRename :: forall name s0 s1. MapMod (MigrationRename name) s0 s1 => Dd s0 -> Dd s1

migrateRenameType :: forall name s0 s1. MapMod (MigrationRenameType name) s0 s1 => Dd s0 -> Dd s1

migrateDelete :: forall s0 s1. MapMod MigrationDelete s0 s1 => Dd s0 -> Dd s1

prims :: forall (a :: Type) (s :: [DdK]). MkPrims (PrimProd a) s => Prims a s

primNewtypes :: forall (a :: Type) (s :: [DdK]). MkPrimNewtypes (PrimProd a) s => Prims a s

prod :: Product a arg s => arg -> Dd s

prodSel :: ProductSel sel a arg s => arg -> Dd s

prodAs :: forall (name :: Symbol) (a :: Type) (s :: DdK) (arg :: Type). Product a arg s => Rename s (SetName s name) => arg -> Dd (SetName s name)

con1As :: Con1AsColumn name a arg s => arg -> Dd s

con1 :: Con1Column a arg s => arg -> Dd s

con :: ConColumn a arg s => arg -> Dd s

sum :: Sum a arg s => arg -> Dd s

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

sumAs :: forall (name :: Symbol) (a :: Type) (s :: DdK) (arg :: Type). Sum a arg s => Rename s (SetName s name) => arg -> Dd (SetName s name)

mergeSum :: forall (a :: Type) (s :: DdK) (arg :: Type). Sum a arg s => arg -> Dd (Merge s)

conAs :: forall (name :: Symbol) (a :: Type) (s :: DdK) (arg :: Type). ConColumn a arg s => Rename s (SetName s name) => arg -> Dd (SetName s name)

indexPrefix :: forall prefix s0 s1. SetIndexPrefix prefix s0 s1 => Dd s0 -> Dd s1

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

type Uuid = Uid UUID

data Uid i a

Constructors

Uid i a

Instances

Functor (Uid i)

Defined in Sqel.Data.Uid

Methods

fmap :: (a -> b) -> Uid i a -> Uid i b

(<$) :: a -> Uid i b -> Uid i a

(FromJSON a, FromJSON i) => FromJSON (Uid i a)

Defined in Sqel.Data.Uid

Methods

parseJSON :: Value -> Parser (Uid i a)

parseJSONList :: Value -> Parser [Uid i a]

(ToJSON a, ToJSON i) => ToJSON (Uid i a)

Defined in Sqel.Data.Uid

Methods

toJSON :: Uid i a -> Value

toEncoding :: Uid i a -> Encoding

toJSONList :: [Uid i a] -> Value

toEncodingList :: [Uid i a] -> Encoding

Generic (Uid i a)

Defined in Sqel.Data.Uid

Associated Types

type Rep (Uid i a) :: Type -> Type

Methods

from :: Uid i a -> Rep (Uid i a) x

to :: Rep (Uid i a) x -> Uid i a

(Show i, Show a) => Show (Uid i a)

Defined in Sqel.Data.Uid

Methods

showsPrec :: Int -> Uid i a -> ShowS

show :: Uid i a -> String

showList :: [Uid i a] -> ShowS

(Eq i, Eq a) => Eq (Uid i a)

Defined in Sqel.Data.Uid

Methods

(==) :: Uid i a -> Uid i a -> Bool

(/=) :: Uid i a -> Uid i a -> Bool

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

Defined in Sqel.Comp

Methods

compName :: TSelW sel

type Rep (Uid i a)

Defined in Sqel.Data.Uid

type Rep (Uid i a) = D1 ('MetaData "Uid" "Sqel.Data.Uid" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Uid" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 i) :*: S1 ('MetaSel ('Just "payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type UidDd si sa = TypeSel (DdTypeSel sa) (Prod (Uid (DdType si) (DdType sa))) *> (Name "id" si > Merge sa)

uid :: forall (i :: Type) (a :: Type) (si :: DdK) (sa :: DdK) (s :: DdK). UidColumn i a si sa s => Dd si -> Dd sa -> Dd s

uidAs :: forall (name :: Symbol) (i :: Type) (a :: Type) (si :: DdK) (sa :: DdK) (s :: DdK). UidColumn i a si sa s => Rename s (SetTypeName s name) => Dd si -> Dd sa -> Dd (SetTypeName s name)

named :: forall (name :: Symbol) (s0 :: DdK). Rename s0 (SetName s0 name) => Dd s0 -> Dd (SetName s0 name)

typeAs :: forall (name :: Symbol) (s0 :: DdK). Rename2 s0 (SetTypeName s0 name) => Dd s0 -> Dd (SetTypeName s0 name)

pk :: AddMod PrimaryKey s0 s1 => Dd s0 -> Dd s1

nullable :: forall s0 s1 s2. AddMod Nullable s0 s1 => MkNullable s1 s2 => Dd s0 -> Dd s2

nullableAs :: forall name s0 s1 s2. AddMod Nullable s0 s1 => MkNullable s1 s2 => Rename s2 (SetName s2 name) => Dd s0 -> Dd (SetName s2 name)

tableName :: forall s0 s1. MapMod SetTableName s0 s1 => PgTableName -> Dd s0 -> Dd s1

pgDefault :: AddMod PgDefault s0 s1 => Sql -> Dd s0 -> Dd s1

data 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

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

data SetTableName

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

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

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

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

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

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

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

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 = '[]

module Sqel.Query.Combinators

data Order

Constructors

Asc

Desc

Using Text

Instances

Generic Order

Defined in Sqel.Data.Order

Associated Types

type Rep Order :: Type -> Type

Methods

from :: Order -> Rep Order x

to :: Rep Order x -> Order

Show Order

Defined in Sqel.Data.Order

Methods

showsPrec :: Int -> Order -> ShowS

show :: Order -> String

showList :: [Order] -> ShowS

Eq Order

Defined in Sqel.Data.Order

Methods

(==) :: Order -> Order -> Bool

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

ToSql Order

Defined in Sqel.Data.Order

Methods

toSql :: Order -> Sql

type Rep Order

Defined in Sqel.Data.Order

type Rep Order = D1 ('MetaData "Order" "Sqel.Data.Order" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Asc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Desc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Using" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data Migrations m migs

migrate :: MkMigrations arg migs => arg -> Migrations m migs

noMigrations :: Migrations m '[]

migrateAuto :: AutoMigration old new => Dd old -> Dd new -> Migration ('Mig (DdType old) (DdType new) m Void)

module Sqel.Sql

type FullCodec = Codec Encoder Decoder

class CheckedProjection (proj :: DdK) (table :: DdK)

Minimal complete definition

checkedProjection

Instances

(MatchProjection proj table match, CheckedProjection' match proj) => CheckedProjection proj table

Defined in Sqel.PgType

Methods

checkedProjection :: Dd proj -> ProjectionWitness (DdType proj) (DdType table)

class MkTableSchema table where

Methods

tableSchema :: Dd table -> TableSchema (DdType table)

Instances

(ReifyDd table, ReifyCodec FullCodec table (DdType table)) => MkTableSchema table

Defined in Sqel.PgType

Methods

tableSchema :: Dd table -> TableSchema (DdType table)

projection :: MkTableSchema proj => MkTableSchema table => CheckedProjection proj table => Dd proj -> Dd table -> Projection (DdType proj) (DdType table)

fullProjection :: MkTableSchema table => CheckedProjection table table => Dd table -> Projection (DdType table) (DdType table)

toFullProjection :: TableSchema table -> Projection table table

type EmptyQuery = 'DdK ('SelSymbol "") NoMods () ('Comp ('TSel 'DefaultPrefix "") ('Prod 'Reg) 'Nest '[])

class CheckQuery query table where

Methods

checkQuery :: Dd query -> Dd table -> QuerySchema (DdType query) (DdType table)

Instances

(CheckedQuery query table, ReifyCodec Encoder query (DdType query)) => CheckQuery query table

Defined in Sqel.Query

Methods

checkQuery :: Dd query -> Dd table -> QuerySchema (DdType query) (DdType table)

emptyQuery :: Dd EmptyQuery

primIdQuery :: Dd ('DdK ('SelSymbol "id") NoMods a 'Prim)

class MatchViewPath ('FieldPath '[path] t) (FieldPaths table) 'True => HasField path t table

Instances

MatchViewPath ('FieldPath '[path] t) (FieldPaths table) 'True => HasField path t table

Defined in Sqel.Class.MatchView

class MatchViewPath ('FieldPath path t) (FieldPaths table) 'True => HasPath path t table

Instances

MatchViewPath ('FieldPath path t) (FieldPaths table) 'True => HasPath path t table

Defined in Sqel.Class.MatchView

data TableSchema a

Instances

Generic (TableSchema a)

Defined in Sqel.Data.TableSchema

Associated Types

type Rep (TableSchema a) :: Type -> Type

Methods

from :: TableSchema a -> Rep (TableSchema a) x

to :: Rep (TableSchema a) x -> TableSchema a

Show (TableSchema a)

Defined in Sqel.Data.TableSchema

Methods

showsPrec :: Int -> TableSchema a -> ShowS

show :: TableSchema a -> String

showList :: [TableSchema a] -> ShowS

ToSql (Create (TableSchema a))

Defined in Sqel.Data.TableSchema

Methods

toSql :: Create (TableSchema a) -> Sql

ToSql (Select (TableSchema a))

Defined in Sqel.Data.TableSchema

Methods

toSql :: Select (TableSchema a) -> Sql

type Rep (TableSchema a)

Defined in Sqel.Data.TableSchema

type Rep (TableSchema a) = D1 ('MetaData "TableSchema" "Sqel.Data.TableSchema" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "TableSchema" 'PrefixI 'True) (S1 ('MetaSel ('Just "pg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgTable a)) :*: (S1 ('MetaSel ('Just "decoder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Row a)) :*: S1 ('MetaSel ('Just "encoder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Params a)))))

data Projection proj table

Instances

ToSql (Select (Projection proj table))

Defined in Sqel.Data.Projection

Methods

toSql :: Select (Projection proj table) -> Sql

Generic (Projection proj table)

Defined in Sqel.Data.Projection

Associated Types

type Rep (Projection proj table) :: Type -> Type

Methods

from :: Projection proj table -> Rep (Projection proj table) x

to :: Rep (Projection proj table) x -> Projection proj table

Show (Projection proj table)

Defined in Sqel.Data.Projection

Methods

showsPrec :: Int -> Projection proj table -> ShowS

show :: Projection proj table -> String

showList :: [Projection proj table] -> ShowS

type Rep (Projection proj table)

Defined in Sqel.Data.Projection

type Rep (Projection proj table) = D1 ('MetaData "Projection" "Sqel.Data.Projection" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Projection" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgTable proj)) :*: S1 ('MetaSel ('Just "decoder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Row proj))) :*: (S1 ('MetaSel ('Just "encoder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Params proj)) :*: (S1 ('MetaSel ('Just "table") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TableSchema table)) :*: S1 ('MetaSel ('Just "witness") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProjectionWitness proj table))))))

data QuerySchema q a

Instances

ToSql (SelectQuery (QuerySchema q a))

Defined in Sqel.Data.QuerySchema

Methods

toSql :: SelectQuery (QuerySchema q a) -> Sql

Generic (QuerySchema q a)

Defined in Sqel.Data.QuerySchema

Associated Types

type Rep (QuerySchema q a) :: Type -> Type

Methods

from :: QuerySchema q a -> Rep (QuerySchema q a) x

to :: Rep (QuerySchema q a) x -> QuerySchema q a

type Rep (QuerySchema q a)

Defined in Sqel.Data.QuerySchema

type Rep (QuerySchema q a) = D1 ('MetaData "QuerySchema" "Sqel.Data.QuerySchema" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "QuerySchema" 'PrefixI 'True) (S1 ('MetaSel ('Just "frags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SelectFragment]) :*: S1 ('MetaSel ('Just "encoder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Encoder q))))

emptyQuerySchema :: QuerySchema () a