Safe Haskell	Safe-Inferred
Language	Haskell2010

Sqel.Data.Mods

Documentation

newtype Mods ps Source #

Constructors

Mods
Fields unMods :: NP I ps

Instances

Instances details

All (Compose Show I) ps => Show (Mods ps) Source #
Instance details 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) Source #
Instance details Defined in Sqel.Data.Mods Methods pretty :: Mods ps -> Doc ann # prettyList :: [Mods ps] -> Doc ann #

type NoMods = '[] Source #

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

data Nullable Source #

Constructors

Nullable

Instances

Instances details

Show Nullable Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> Nullable -> ShowS # show :: Nullable -> String # showList :: [Nullable] -> ShowS #
ColumnConstraint Nullable Source #
Instance details Defined in Sqel.ColumnConstraints Methods columnConstraint :: Nullable -> Constraints -> Constraints Source #
ReifyPrimCodec Value ps a => ReifyPrimCodec Encoder (Nullable ': ps) (Maybe a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (Nullable ': ps) -> Encoder (Maybe a) Source #
ReifyPrimCodec ValueCodec ps a => ReifyPrimCodec FullCodec (Nullable ': ps) (Maybe a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (Nullable ': ps) -> FullCodec (Maybe a) Source #
ReifyPrimName a mods => ReifyPrimName (Maybe a :: Type) (Nullable ': mods) Source #
Instance details Defined in Sqel.ReifyDd Methods reifyPrimName :: NP I (Nullable ': mods) -> PgPrimName Source #

data Unique Source #

Constructors

Unique

Instances

Instances details

Show Unique Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> Unique -> ShowS # show :: Unique -> String # showList :: [Unique] -> ShowS #
ColumnConstraint Unique Source #
Instance details Defined in Sqel.ColumnConstraints Methods columnConstraint :: Unique -> Constraints -> Constraints Source #

data PrimaryKey Source #

Constructors

PrimaryKey

Instances

Instances details

Show PrimaryKey Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> PrimaryKey -> ShowS # show :: PrimaryKey -> String # showList :: [PrimaryKey] -> ShowS #
ColumnConstraint PrimaryKey Source #
Instance details Defined in Sqel.ColumnConstraints Methods columnConstraint :: PrimaryKey -> Constraints -> Constraints Source #

data PgDefault Source #

Constructors

PgDefault Sql

Instances

Instances details

Show PgDefault Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> PgDefault -> ShowS # show :: PgDefault -> String # showList :: [PgDefault] -> ShowS #
ColumnConstraint PgDefault Source #
Instance details Defined in Sqel.ColumnConstraints Methods columnConstraint :: PgDefault -> Constraints -> Constraints Source #

data EnumColumn Source #

Constructors

EnumColumn

Instances

Instances details

Generic EnumColumn Source #
Instance details 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 Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> EnumColumn -> ShowS # show :: EnumColumn -> String # showList :: [EnumColumn] -> ShowS #
Eq EnumColumn Source #
Instance details Defined in Sqel.Data.Mods Methods (==) :: EnumColumn -> EnumColumn -> Bool # (/=) :: EnumColumn -> EnumColumn -> Bool #
(Show a, EnumTable a) => ReifyPrimCodec FullCodec (EnumColumn ': ps) (a :: TYPE LiftedRep) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (EnumColumn ': ps) -> FullCodec a Source #
(Show a, EnumTable a) => ReifyPrimCodec ValueCodec (EnumColumn ': ps) (a :: TYPE LiftedRep) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (EnumColumn ': ps) -> ValueCodec a Source #
type Rep EnumColumn Source #
Instance details 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 Source #

Constructors

ReadShowColumn

Instances

Instances details

Generic ReadShowColumn Source #
Instance details 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 Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> ReadShowColumn -> ShowS # show :: ReadShowColumn -> String # showList :: [ReadShowColumn] -> ShowS #
Eq ReadShowColumn Source #
Instance details Defined in Sqel.Data.Mods Methods (==) :: ReadShowColumn -> ReadShowColumn -> Bool # (/=) :: ReadShowColumn -> ReadShowColumn -> Bool #
(Show a, Read a) => ReifyPrimCodec FullCodec (ReadShowColumn ': ps) (a :: TYPE LiftedRep) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (ReadShowColumn ': ps) -> FullCodec a Source #
(Show a, Read a) => ReifyPrimCodec ValueCodec (ReadShowColumn ': ps) (a :: TYPE LiftedRep) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (ReadShowColumn ': ps) -> ValueCodec a Source #
type Rep ReadShowColumn Source #
Instance details 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 Source #

Constructors

ArrayColumn

Instances

Instances details

(ReifyPrimCodec ValueCodec ps a, Foldable f, ArrayDecoder f a) => ReifyPrimCodec FullCodec (ArrayColumn f ': ps) (f a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (ArrayColumn f ': ps) -> FullCodec (f a) Source #
(ReifyPrimCodec ValueCodec ps a, Foldable f, ArrayDecoder f a) => ReifyPrimCodec ValueCodec (ArrayColumn f ': ps) (f a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (ArrayColumn f ': ps) -> ValueCodec (f a) Source #
ReifyPrimName a mods => ReifyPrimName (f a :: Type) (ArrayColumn f ': mods) Source #
Instance details Defined in Sqel.ReifyDd Methods reifyPrimName :: NP I (ArrayColumn f ': mods) -> PgPrimName Source #
Generic (ArrayColumn f) Source #
Instance details 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) Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> ArrayColumn f -> ShowS # show :: ArrayColumn f -> String # showList :: [ArrayColumn f] -> ShowS #
Eq (ArrayColumn f) Source #
Instance details Defined in Sqel.Data.Mods Methods (==) :: ArrayColumn f -> ArrayColumn f -> Bool # (/=) :: ArrayColumn f -> ArrayColumn f -> Bool #
type Rep (ArrayColumn f) Source #
Instance details 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 Source #

Constructors

SetTableName
Fields unSetTableName :: PgTableName

Instances

Instances details

IsString SetTableName Source #
Instance details Defined in Sqel.Data.Mods Methods fromString :: String -> SetTableName #
Generic SetTableName Source #
Instance details 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 Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> SetTableName -> ShowS # show :: SetTableName -> String # showList :: [SetTableName] -> ShowS #
Eq SetTableName Source #
Instance details Defined in Sqel.Data.Mods Methods (==) :: SetTableName -> SetTableName -> Bool # (/=) :: SetTableName -> SetTableName -> Bool #
Ord SetTableName Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

Newtype
Fields unwrap :: a -> w wrap :: w -> a

Instances

Instances details

ReifyPrimName w mods => ReifyPrimName (a :: Type) (Newtype a w ': mods) Source #
Instance details Defined in Sqel.ReifyDd Methods reifyPrimName :: NP I (Newtype a w ': mods) -> PgPrimName Source #
ReifyPrimCodec Value mods w => ReifyPrimCodec Value (Newtype a w ': mods) (a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (Newtype a w ': mods) -> Value a Source #
(ReifyPrimCodec c mods w, Invariant c) => ReifyPrimCodec (c :: Type -> Type) (Newtype a w ': mods) (a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (Newtype a w ': mods) -> c a Source #
(MkPrimNewtypes as s, err ~ NewtypeError, UnwrapNewtype err a w) => MkPrimNewtypes (a ': as :: [Type]) ('DdK 'SelAuto '[Newtype a w] a 'Prim ': s) Source #
Instance details Defined in Sqel.Prim Methods mkPrimNewtypes :: NP Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim ': s) Source #
Generic (Newtype a w) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

Constructors

Ignore

Instances

Instances details

Generic Ignore Source #
Instance details 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 Source #
Instance details Defined in Sqel.Data.Mods Methods showsPrec :: Int -> Ignore -> ShowS # show :: Ignore -> String # showList :: [Ignore] -> ShowS #
Eq Ignore Source #
Instance details Defined in Sqel.Data.Mods Methods (==) :: Ignore -> Ignore -> Bool # (/=) :: Ignore -> Ignore -> Bool #
ReifyPrimCodec Encoder (Ignore ': ps) (a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (Ignore ': ps) -> Encoder a Source #
ReifyPrimCodec FullCodec (Ignore ': ps) (a :: Type) Source #
Instance details Defined in Sqel.ReifyCodec Methods reifyPrimCodec :: NP I (Ignore ': ps) -> FullCodec a Source #
type Rep Ignore Source #
Instance details 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))