Sqel.Data.Codec

Documentation

data Encoder a

Constructors

Encoder

Fields

• encodeValue :: Params a
• encodeNulls :: Params ()

Instances

Contravariant Encoder

Defined in Sqel.Data.Codec

Methods

contramap :: (a' -> a) -> Encoder a -> Encoder a'

(>$) :: b -> Encoder b -> Encoder a

Invariant Encoder

Defined in Sqel.Data.Codec

Methods

invmap :: (a -> b) -> (b -> a) -> Encoder a -> Encoder b

GetDecoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getDecoder :: FullCodec a -> Decoder a

GetEncoder Encoder a

Defined in Sqel.Codec.Product

Methods

getEncoder :: Encoder a -> Encoder a

GetEncoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getEncoder :: FullCodec a -> Encoder a

SListI as => ConCodec Encoder as

Defined in Sqel.Codec.Sum

Methods

conCodec :: forall (name :: Symbol) (record :: Bool) (fields :: [ProductField]). NP Encoder as -> Encoder (ConCol name record fields as)

SListI as => ConCodec FullCodec as

Defined in Sqel.Codec.Sum

Methods

conCodec :: forall (name :: Symbol) (record :: Bool) (fields :: [ProductField]). NP FullCodec as -> FullCodec (ConCol name record fields as)

ProdEncoder Encoder a as => ProdCodec Encoder a as

Defined in Sqel.Codec.Product

Methods

prodCodec :: NP Encoder as -> Encoder a

(ProdDecoder FullCodec a as, ProdEncoder FullCodec a as) => ProdCodec FullCodec a as

Defined in Sqel.Codec.Product

Methods

prodCodec :: NP FullCodec as -> FullCodec a

PrimColumn a => DefaultPrimCodec Encoder (a :: Type)

Defined in Sqel.ReifyCodec

Methods

defaultPrimCodec :: Encoder a

PrimColumn a => DefaultPrimCodec FullCodec (a :: Type)

Defined in Sqel.ReifyCodec

Methods

defaultPrimCodec :: FullCodec a

CompCodec c i a Encoder as => DefaultCompCodec c i Encoder a as

Defined in Sqel.ReifyCodec

Methods

defaultCompCodec :: NP Encoder as -> Encoder a

CompCodec c i a FullCodec as => DefaultCompCodec c i FullCodec a as

Defined in Sqel.ReifyCodec

Methods

defaultCompCodec :: NP FullCodec as -> FullCodec a

(ConstructSOP a ass, WrapConB Encoder ass as) => SumCodec Encoder a (Int64 ': as)

Defined in Sqel.Codec.Sum

Methods

sumCodec :: NP Encoder (Int64 ': as) -> Encoder a

(ReifySOP a ass, ConstructSOP a ass, WrapConB FullCodec ass as) => SumCodec FullCodec a (Int64 ': as)

Defined in Sqel.Codec.Sum

Methods

sumCodec :: NP FullCodec (Int64 ': as) -> FullCodec a

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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, 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 => ReifyPrimCodec FullCodec (Nullable ': ps) (Maybe a :: Type)

Defined in Sqel.ReifyCodec

Methods

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

Monoid (Encoder a)

Defined in Sqel.Data.Codec

Methods

mempty :: Encoder a

mappend :: Encoder a -> Encoder a -> Encoder a

mconcat :: [Encoder a] -> Encoder a

Semigroup (Encoder a)

Defined in Sqel.Data.Codec

Methods

(<>) :: Encoder a -> Encoder a -> Encoder a

sconcat :: NonEmpty (Encoder a) -> Encoder a

stimes :: Integral b => b -> Encoder a -> Encoder a

Generic (Encoder a)

Defined in Sqel.Data.Codec

Associated Types

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

Methods

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

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

type Rep (Encoder a)

Defined in Sqel.Data.Codec

type Rep (Encoder a) = D1 ('MetaData "Encoder" "Sqel.Data.Codec" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Encoder" 'PrefixI 'True) (S1 ('MetaSel ('Just "encodeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Params a)) :*: S1 ('MetaSel ('Just "encodeNulls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Params ()))))

data Decoder a

Constructors

Decoder

Fields

• decodeValue :: Row a
• decodeNulls :: Row ()

Instances

Applicative Decoder

Defined in Sqel.Data.Codec

Methods

pure :: a -> Decoder a

(<*>) :: Decoder (a -> b) -> Decoder a -> Decoder b

liftA2 :: (a -> b -> c) -> Decoder a -> Decoder b -> Decoder c

(*>) :: Decoder a -> Decoder b -> Decoder b

(<*) :: Decoder a -> Decoder b -> Decoder a

Functor Decoder

Defined in Sqel.Data.Codec

Methods

fmap :: (a -> b) -> Decoder a -> Decoder b

(<$) :: a -> Decoder b -> Decoder a

GetDecoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getDecoder :: FullCodec a -> Decoder a

GetEncoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getEncoder :: FullCodec a -> Encoder a

SListI as => ConCodec FullCodec as

Defined in Sqel.Codec.Sum

Methods

conCodec :: forall (name :: Symbol) (record :: Bool) (fields :: [ProductField]). NP FullCodec as -> FullCodec (ConCol name record fields as)

(ProdDecoder FullCodec a as, ProdEncoder FullCodec a as) => ProdCodec FullCodec a as

Defined in Sqel.Codec.Product

Methods

prodCodec :: NP FullCodec as -> FullCodec a

PrimColumn a => DefaultPrimCodec FullCodec (a :: Type)

Defined in Sqel.ReifyCodec

Methods

defaultPrimCodec :: FullCodec a

CompCodec c i a FullCodec as => DefaultCompCodec c i FullCodec a as

Defined in Sqel.ReifyCodec

Methods

defaultCompCodec :: NP FullCodec as -> FullCodec a

(ReifySOP a ass, ConstructSOP a ass, WrapConB FullCodec ass as) => SumCodec FullCodec a (Int64 ': as)

Defined in Sqel.Codec.Sum

Methods

sumCodec :: NP FullCodec (Int64 ': as) -> FullCodec a

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

(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 => ReifyPrimCodec FullCodec (Nullable ': ps) (Maybe a :: Type)

Defined in Sqel.ReifyCodec

Methods

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

Generic (Decoder a)

Defined in Sqel.Data.Codec

Associated Types

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

Methods

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

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

type Rep (Decoder a)

Defined in Sqel.Data.Codec

type Rep (Decoder a) = D1 ('MetaData "Decoder" "Sqel.Data.Codec" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Decoder" 'PrefixI 'True) (S1 ('MetaSel ('Just "decodeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Row a)) :*: S1 ('MetaSel ('Just "decodeNulls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Row ()))))

data Codec e d a

Constructors

Codec

Fields

• encoder :: e a
• decoder :: d a

Instances

GetDecoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getDecoder :: FullCodec a -> Decoder a

GetEncoder FullCodec a

Defined in Sqel.Codec.Product

Methods

getEncoder :: FullCodec a -> Encoder a

SListI as => ConCodec FullCodec as

Defined in Sqel.Codec.Sum

Methods

conCodec :: forall (name :: Symbol) (record :: Bool) (fields :: [ProductField]). NP FullCodec as -> FullCodec (ConCol name record fields as)

(ProdDecoder FullCodec a as, ProdEncoder FullCodec a as) => ProdCodec FullCodec a as

Defined in Sqel.Codec.Product

Methods

prodCodec :: NP FullCodec as -> FullCodec a

PrimColumn a => DefaultPrimCodec FullCodec (a :: Type)

Defined in Sqel.ReifyCodec

Methods

defaultPrimCodec :: FullCodec a

PrimColumn a => DefaultPrimCodec ValueCodec (a :: Type)

Defined in Sqel.ReifyCodec

Methods

defaultPrimCodec :: ValueCodec a

CompCodec c i a FullCodec as => DefaultCompCodec c i FullCodec a as

Defined in Sqel.ReifyCodec

Methods

defaultCompCodec :: NP FullCodec as -> FullCodec a

(ReifySOP a ass, ConstructSOP a ass, WrapConB FullCodec ass as) => SumCodec FullCodec a (Int64 ': as)

Defined in Sqel.Codec.Sum

Methods

sumCodec :: NP FullCodec (Int64 ': as) -> FullCodec a

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

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

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

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (PrimValueCodec a ': 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

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

Defined in Sqel.ReifyCodec

Methods

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

ReifyPrimCodec ValueCodec (PrimValueCodec a ': ps) (a :: Type)

Defined in Sqel.ReifyCodec

Methods

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

(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 => ReifyPrimCodec FullCodec (Nullable ': ps) (Maybe a :: Type)

Defined in Sqel.ReifyCodec

Methods

reifyPrimCodec :: NP I (Nullable ': ps) -> FullCodec (Maybe 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)

(Contravariant e, Functor d) => Invariant (Codec e d)

Defined in Sqel.Data.Codec

Methods

invmap :: (a -> b) -> (b -> a) -> Codec e d a -> Codec e d b

Generic (Codec e d a)

Defined in Sqel.Data.Codec

Associated Types

type Rep (Codec e d a) :: Type -> Type

Methods

from :: Codec e d a -> Rep (Codec e d a) x

to :: Rep (Codec e d a) x -> Codec e d a

type Rep (Codec e d a)

Defined in Sqel.Data.Codec

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

type ValueCodec = Codec Value Value

type FullCodec = Codec Encoder Decoder

newtype ColumnName

Constructors

ColumnName

Fields

• unColumnName :: Text

Instances

IsString ColumnName

Defined in Sqel.Data.Codec

Methods

fromString :: String -> ColumnName

Show ColumnName

Defined in Sqel.Data.Codec

Methods

showsPrec :: Int -> ColumnName -> ShowS

show :: ColumnName -> String

showList :: [ColumnName] -> ShowS

Eq ColumnName

Defined in Sqel.Data.Codec

Methods

(==) :: ColumnName -> ColumnName -> Bool

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

Ord ColumnName

Defined in Sqel.Data.Codec

Methods

compare :: ColumnName -> ColumnName -> Ordering

(<) :: ColumnName -> ColumnName -> Bool

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

(>) :: ColumnName -> ColumnName -> Bool

(>=) :: ColumnName -> ColumnName -> Bool

max :: ColumnName -> ColumnName -> ColumnName

min :: ColumnName -> ColumnName -> ColumnName

symbolColumnName :: forall (name :: Symbol). KnownSymbol name => ColumnName