Sqel.Data.Mods

Documentation

newtype Mods ps

Constructors

Mods

Fields

• unMods :: NP I 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

type NoMods = '[]

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

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

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

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 Newtype a w

Constructors

Newtype

Fields

• unwrap :: a -> w
• wrap :: 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))))

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