Safe Haskell | None |
---|---|
Language | Haskell2010 |
Opaleye.Adaptors
Synopsis
- data Binaryspec fields fields'
- binaryspecField :: Binaryspec (Field_ n a) (Field_ n a)
- binaryspecMaybeFields :: WithNulls Binaryspec a b -> Binaryspec (MaybeFields a) (MaybeFields b)
- data Distinctspec a b
- distinctspecField :: Distinctspec (Field_ n a) (Field_ n a)
- distinctspecMaybeFields :: WithNulls Distinctspec a b -> Distinctspec (MaybeFields a) (MaybeFields b)
- data EqPP a b
- eqPPField :: EqPP (Field a) ignored
- eqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b)
- data IfPP a b
- ifPPField :: IfPP (Field_ n a) (Field_ n a)
- ifPPMaybeFields :: IfPP a b -> IfPP (MaybeFields a) (MaybeFields b)
- data FromFields fields haskells
- fromFieldsMaybeFields :: FromFields fields haskells -> FromFields (MaybeFields fields) (Maybe haskells)
- data Nullspec fields fields'
- nullspecField :: IsSqlType b => Nullspec a (Field_ n b)
- nullspecMaybeFields :: Nullspec a b -> Nullspec (MaybeFields a) (MaybeFields b)
- nullspecList :: Nullspec a [b]
- nullspecEitherLeft :: Nullspec a b -> Nullspec a (Either b b')
- nullspecEitherRight :: Nullspec a b' -> Nullspec a (Either b b')
- data ToFields haskells fields
- toFieldsMaybeFields :: Nullspec a b -> ToFields a b -> ToFields (Maybe a) (MaybeFields b)
- data Unpackspec fields fields'
- unpackspecField :: Unpackspec (Field_ n a) (Field_ n a)
- unpackspecMaybeFields :: Unpackspec a b -> Unpackspec (MaybeFields a) (MaybeFields b)
- data Updater a b
- data Valuesspec fields fields'
- type ValuesspecSafe = Valuesspec
- valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a)
- valuesspecMaybeFields :: Valuesspec a b -> Valuesspec (MaybeFields a) (MaybeFields b)
- data WithNulls p a b
Binaryspec
data Binaryspec fields fields' Source #
Instances
binaryspecField :: Binaryspec (Field_ n a) (Field_ n a) Source #
binaryspecMaybeFields :: WithNulls Binaryspec a b -> Binaryspec (MaybeFields a) (MaybeFields b) Source #
Distinctspec
data Distinctspec a b Source #
Instances
distinctspecField :: Distinctspec (Field_ n a) (Field_ n a) Source #
distinctspecMaybeFields :: WithNulls Distinctspec a b -> Distinctspec (MaybeFields a) (MaybeFields b) Source #
EqPP
Instances
Profunctor EqPP Source # | |
Defined in Opaleye.Internal.Operators | |
ProductProfunctor EqPP Source # | |
Default EqPP (Field a) (Field a) Source # | |
Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b) Source # | |
Defined in Opaleye.Internal.MaybeFields Methods def :: EqPP (MaybeFields a) (MaybeFields b) # |
eqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b) Source #
IfPP
Instances
Profunctor IfPP Source # | |
Defined in Opaleye.Internal.Operators | |
ProductProfunctor IfPP Source # | |
Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b) Source # | |
Defined in Opaleye.Internal.MaybeFields Methods def :: IfPP (MaybeFields a) (MaybeFields b) # | |
Default IfPP (Field_ n a) (Field_ n a) Source # | |
ifPPMaybeFields :: IfPP a b -> IfPP (MaybeFields a) (MaybeFields b) Source #
FromFields
data FromFields fields haskells Source #
A FromFields
specifies how to convert Postgres values (fields
)
into Haskell values (haskells
). Most likely you will never need
to create on of these or handle one directly. It will be provided
for you by the Default
FromFields
instance.
"FromFields
fields
haskells
" corresponds to
postgresql-simple's "RowParser
haskells
". "Default
FromFields
fields
haskells
" corresponds to
postgresql-simple's "FromRow
haskells
".
Instances
fromFieldsMaybeFields :: FromFields fields haskells -> FromFields (MaybeFields fields) (Maybe haskells) Source #
Nullspec
data Nullspec fields fields' Source #
Instances
Profunctor Nullspec Source # | |
Defined in Opaleye.Internal.Values Methods dimap :: (a -> b) -> (c -> d) -> Nullspec b c -> Nullspec a d # lmap :: (a -> b) -> Nullspec b c -> Nullspec a c # rmap :: (b -> c) -> Nullspec a b -> Nullspec a c # (#.) :: forall a b c q. Coercible c b => q b c -> Nullspec a b -> Nullspec a c # (.#) :: forall a b c q. Coercible b a => Nullspec b c -> q a b -> Nullspec a c # | |
ProductProfunctor Nullspec Source # | |
IsSqlType b => Default Nullspec a (Field_ n b) Source # | |
Defined in Opaleye.Internal.Values | |
Functor (Nullspec a) Source # | |
Applicative (Nullspec a) Source # | |
Defined in Opaleye.Internal.Values |
nullspecMaybeFields :: Nullspec a b -> Nullspec (MaybeFields a) (MaybeFields b) Source #
nullspecList :: Nullspec a [b] Source #
ToFields
data ToFields haskells fields Source #
A way of turning Haskell values of type haskells
into SQL
fields. Use it with toFields
.
Instances
toFieldsMaybeFields :: Nullspec a b -> ToFields a b -> ToFields (Maybe a) (MaybeFields b) Source #
Unpackspec
data Unpackspec fields fields' Source #
Instances
unpackspecField :: Unpackspec (Field_ n a) (Field_ n a) Source #
Target the single PrimExpr
inside a 'F.Field n'
unpackspecMaybeFields :: Unpackspec a b -> Unpackspec (MaybeFields a) (MaybeFields b) Source #
Updater
Instances
Profunctor Updater Source # | |
Defined in Opaleye.Internal.Manipulation Methods dimap :: (a -> b) -> (c -> d) -> Updater b c -> Updater a d # lmap :: (a -> b) -> Updater b c -> Updater a c # rmap :: (b -> c) -> Updater a b -> Updater a c # (#.) :: forall a b c q. Coercible c b => q b c -> Updater a b -> Updater a c # (.#) :: forall a b c q. Coercible b a => Updater b c -> q a b -> Updater a c # | |
ProductProfunctor Updater Source # | |
Default Updater (Field_ n a) (Maybe (Field_ n a)) Source # | |
Default Updater (Field_ n a) (Field_ n a) Source # | |
Functor (Updater a) Source # | |
Applicative (Updater a) Source # | |
Defined in Opaleye.Internal.Manipulation |
Valuesspec
data Valuesspec fields fields' Source #
Instances
type ValuesspecSafe = Valuesspec Source #
Deprecated: Use Valuesspec instead. Will be removed in version 0.10.
valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a) Source #
valuesspecMaybeFields :: Valuesspec a b -> Valuesspec (MaybeFields a) (MaybeFields b) Source #