Safe Haskell	None
Language	Haskell2010

Opaleye.Adaptors

Contents

Binaryspec
Distinctspec
EqPP
IfPP
FromFields
Nullspec
ToFields
Unpackspec
Updater
Valuesspec
WithNulls

Synopsis

data Binaryspec columns columns'
binaryspecField :: Binaryspec (Column a) (Column a)
binaryspecMaybeFields :: WithNulls Binaryspec a b -> Binaryspec (MaybeFields a) (MaybeFields b)
data Distinctspec a b
distinctspecField :: Distinctspec (Column a) (Column a)
distinctspecMaybeFields :: WithNulls Distinctspec a b -> Distinctspec (MaybeFields a) (MaybeFields b)
data EqPP a b
eqPPField :: EqPP (Column a) ignored
eqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b)
data IfPP a b
ifPPField :: IfPP (Column a) (Column a)
ifPPMaybeFields :: IfPP a b -> IfPP (MaybeFields a) (MaybeFields b)
data FromFields columns haskells
fromFieldsMaybeFields :: FromFields fields haskells -> FromFields (MaybeFields fields) (Maybe haskells)
data Nullspec fields fields'
nullspecField :: IsSqlType b => Nullspec a (Column 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 columns columns'
unpackspecField :: Unpackspec (Column a) (Column a)
unpackspecMaybeFields :: Unpackspec a b -> Unpackspec (MaybeFields a) (MaybeFields b)
data Updater a b
data Valuesspec columns columns'
type ValuesspecSafe = Valuesspec
valuesspecField :: IsSqlType a => Valuesspec (Column a) (Column a)
valuesspecMaybeFields :: Valuesspec a b -> Valuesspec (MaybeFields a) (MaybeFields b)
data WithNulls p a b

Binaryspec

data Binaryspec columns columns' Source #

Instances

Instances details

Profunctor Binaryspec Source #
Instance details Defined in Opaleye.Internal.Binary Methods dimap :: (a -> b) -> (c -> d) -> Binaryspec b c -> Binaryspec a d # lmap :: (a -> b) -> Binaryspec b c -> Binaryspec a c # rmap :: (b -> c) -> Binaryspec a b -> Binaryspec a c # (#.) :: forall a b c q. Coercible c b => q b c -> Binaryspec a b -> Binaryspec a c # (.#) :: forall a b c q. Coercible b a => Binaryspec b c -> q a b -> Binaryspec a c #
ProductProfunctor Binaryspec Source #
Instance details Defined in Opaleye.Internal.Binary Methods purePP :: b -> Binaryspec a b # (**) :: Binaryspec a (b -> c) -> Binaryspec a b -> Binaryspec a c # empty :: Binaryspec () () # (*!) :: Binaryspec a b -> Binaryspec a' b' -> Binaryspec (a, a') (b, b') #
Default Binaryspec (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Binary Methods def :: Binaryspec (Column a) (Column a) #
Default (WithNulls Binaryspec) a b => Default Binaryspec (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Binaryspec (MaybeFields a) (MaybeFields b) #
Functor (Binaryspec a) Source #
Instance details Defined in Opaleye.Internal.Binary Methods fmap :: (a0 -> b) -> Binaryspec a a0 -> Binaryspec a b # (<$) :: a0 -> Binaryspec a b -> Binaryspec a a0 #
Applicative (Binaryspec a) Source #
Instance details Defined in Opaleye.Internal.Binary Methods pure :: a0 -> Binaryspec a a0 # (<>) :: Binaryspec a (a0 -> b) -> Binaryspec a a0 -> Binaryspec a b # liftA2 :: (a0 -> b -> c) -> Binaryspec a a0 -> Binaryspec a b -> Binaryspec a c # (>) :: Binaryspec a a0 -> Binaryspec a b -> Binaryspec a b # (<*) :: Binaryspec a a0 -> Binaryspec a b -> Binaryspec a a0 #

binaryspecField :: Binaryspec (Column a) (Column a) Source #

binaryspecMaybeFields :: WithNulls Binaryspec a b -> Binaryspec (MaybeFields a) (MaybeFields b) Source #

Distinctspec

data Distinctspec a b Source #

Instances

Instances details

Profunctor Distinctspec Source #
Instance details Defined in Opaleye.Internal.Distinct Methods dimap :: (a -> b) -> (c -> d) -> Distinctspec b c -> Distinctspec a d # lmap :: (a -> b) -> Distinctspec b c -> Distinctspec a c # rmap :: (b -> c) -> Distinctspec a b -> Distinctspec a c # (#.) :: forall a b c q. Coercible c b => q b c -> Distinctspec a b -> Distinctspec a c # (.#) :: forall a b c q. Coercible b a => Distinctspec b c -> q a b -> Distinctspec a c #
ProductProfunctor Distinctspec Source #
Instance details Defined in Opaleye.Internal.Distinct Methods purePP :: b -> Distinctspec a b # (**) :: Distinctspec a (b -> c) -> Distinctspec a b -> Distinctspec a c # empty :: Distinctspec () () # (*!) :: Distinctspec a b -> Distinctspec a' b' -> Distinctspec (a, a') (b, b') #
SumProfunctor Distinctspec Source #
Instance details Defined in Opaleye.Internal.Distinct Methods (+++!) :: Distinctspec a b -> Distinctspec a' b' -> Distinctspec (Either a a') (Either b b') #
Default Distinctspec (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Distinct Methods def :: Distinctspec (Column a) (Column a) #
Default (WithNulls Distinctspec) a b => Default Distinctspec (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.Distinct Methods def :: Distinctspec (MaybeFields a) (MaybeFields b) #
Functor (Distinctspec a) Source #
Instance details Defined in Opaleye.Internal.Distinct Methods fmap :: (a0 -> b) -> Distinctspec a a0 -> Distinctspec a b # (<$) :: a0 -> Distinctspec a b -> Distinctspec a a0 #
Applicative (Distinctspec a) Source #
Instance details Defined in Opaleye.Internal.Distinct Methods pure :: a0 -> Distinctspec a a0 # (<>) :: Distinctspec a (a0 -> b) -> Distinctspec a a0 -> Distinctspec a b # liftA2 :: (a0 -> b -> c) -> Distinctspec a a0 -> Distinctspec a b -> Distinctspec a c # (>) :: Distinctspec a a0 -> Distinctspec a b -> Distinctspec a b # (<*) :: Distinctspec a a0 -> Distinctspec a b -> Distinctspec a a0 #

distinctspecField :: Distinctspec (Column a) (Column a) Source #

distinctspecMaybeFields :: WithNulls Distinctspec a b -> Distinctspec (MaybeFields a) (MaybeFields b) Source #

EqPP

data EqPP a b Source #

Instances

Instances details

Profunctor EqPP Source #
Instance details Defined in Opaleye.Internal.Operators Methods dimap :: (a -> b) -> (c -> d) -> EqPP b c -> EqPP a d # lmap :: (a -> b) -> EqPP b c -> EqPP a c # rmap :: (b -> c) -> EqPP a b -> EqPP a c # (#.) :: forall a b c q. Coercible c b => q b c -> EqPP a b -> EqPP a c # (.#) :: forall a b c q. Coercible b a => EqPP b c -> q a b -> EqPP a c #
ProductProfunctor EqPP Source #
Instance details Defined in Opaleye.Internal.Operators Methods purePP :: b -> EqPP a b # (**) :: EqPP a (b -> c) -> EqPP a b -> EqPP a c # empty :: EqPP () () # (*!) :: EqPP a b -> EqPP a' b' -> EqPP (a, a') (b, b') #
Default EqPP (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Operators Methods def :: EqPP (Column a) (Column a) #
Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: EqPP (MaybeFields a) (MaybeFields b) #

eqPPField :: EqPP (Column a) ignored Source #

eqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b) Source #

IfPP

data IfPP a b Source #

Instances

Instances details

Profunctor IfPP Source #
Instance details Defined in Opaleye.Internal.Operators Methods dimap :: (a -> b) -> (c -> d) -> IfPP b c -> IfPP a d # lmap :: (a -> b) -> IfPP b c -> IfPP a c # rmap :: (b -> c) -> IfPP a b -> IfPP a c # (#.) :: forall a b c q. Coercible c b => q b c -> IfPP a b -> IfPP a c # (.#) :: forall a b c q. Coercible b a => IfPP b c -> q a b -> IfPP a c #
ProductProfunctor IfPP Source #
Instance details Defined in Opaleye.Internal.Operators Methods purePP :: b -> IfPP a b # (**) :: IfPP a (b -> c) -> IfPP a b -> IfPP a c # empty :: IfPP () () # (*!) :: IfPP a b -> IfPP a' b' -> IfPP (a, a') (b, b') #
Default IfPP (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Operators Methods def :: IfPP (Column a) (Column a) #
Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: IfPP (MaybeFields a) (MaybeFields b) #

ifPPField :: IfPP (Column a) (Column a) Source #

ifPPMaybeFields :: IfPP a b -> IfPP (MaybeFields a) (MaybeFields b) Source #

FromFields

data FromFields columns 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 columns haskells" corresponds to postgresql-simple's "FromRow haskells".

Instances

Instances details

Profunctor FromFields Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods dimap :: (a -> b) -> (c -> d) -> FromFields b c -> FromFields a d # lmap :: (a -> b) -> FromFields b c -> FromFields a c # rmap :: (b -> c) -> FromFields a b -> FromFields a c # (#.) :: forall a b c q. Coercible c b => q b c -> FromFields a b -> FromFields a c # (.#) :: forall a b c q. Coercible b a => FromFields b c -> q a b -> FromFields a c #
ProductProfunctor FromFields Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods purePP :: b -> FromFields a b # (**) :: FromFields a (b -> c) -> FromFields a b -> FromFields a c # empty :: FromFields () () # (*!) :: FromFields a b -> FromFields a' b' -> FromFields (a, a') (b, b') #
SumProfunctor FromFields Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods (+++!) :: FromFields a b -> FromFields a' b' -> FromFields (Either a a') (Either b b') #
DefaultFromField a b => Default FromFields (Column a) b Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods def :: FromFields (Column a) b #
Default FromFields fields haskells => Default FromFields (MaybeFields fields) (Maybe haskells) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: FromFields (MaybeFields fields) (Maybe haskells) #
Functor (FromFields c) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods fmap :: (a -> b) -> FromFields c a -> FromFields c b # (<$) :: a -> FromFields c b -> FromFields c a #
Applicative (FromFields c) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods pure :: a -> FromFields c a # (<>) :: FromFields c (a -> b) -> FromFields c a -> FromFields c b # liftA2 :: (a -> b -> c0) -> FromFields c a -> FromFields c b -> FromFields c c0 # (>) :: FromFields c a -> FromFields c b -> FromFields c b # (<*) :: FromFields c a -> FromFields c b -> FromFields c a #
Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Column a) b Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromFields (Column a) b #
(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (Column (Nullable a)) maybe_b Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromFields (Column (Nullable a)) maybe_b #
(Default (Inferrable FromFields) fields haskells, Maybe haskells ~ maybe_haskells) => Default (Inferrable FromFields) (MaybeFields fields) maybe_haskells Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Inferrable FromFields (MaybeFields fields) maybe_haskells #

fromFieldsMaybeFields :: FromFields fields haskells -> FromFields (MaybeFields fields) (Maybe haskells) Source #

Nullspec

data Nullspec fields fields' Source #

Instances

Instances details

Profunctor Nullspec Source #
Instance details 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 #
Instance details Defined in Opaleye.Internal.Values Methods purePP :: b -> Nullspec a b # (**) :: Nullspec a (b -> c) -> Nullspec a b -> Nullspec a c # empty :: Nullspec () () # (*!) :: Nullspec a b -> Nullspec a' b' -> Nullspec (a, a') (b, b') #
IsSqlType b => Default Nullspec a (Column b) Source #
Instance details Defined in Opaleye.Internal.Values Methods def :: Nullspec a (Column b) #
Functor (Nullspec a) Source #
Instance details Defined in Opaleye.Internal.Values Methods fmap :: (a0 -> b) -> Nullspec a a0 -> Nullspec a b # (<$) :: a0 -> Nullspec a b -> Nullspec a a0 #
Applicative (Nullspec a) Source #
Instance details Defined in Opaleye.Internal.Values Methods pure :: a0 -> Nullspec a a0 # (<>) :: Nullspec a (a0 -> b) -> Nullspec a a0 -> Nullspec a b # liftA2 :: (a0 -> b -> c) -> Nullspec a a0 -> Nullspec a b -> Nullspec a c # (>) :: Nullspec a a0 -> Nullspec a b -> Nullspec a b # (<*) :: Nullspec a a0 -> Nullspec a b -> Nullspec a a0 #

nullspecField :: IsSqlType b => Nullspec a (Column b) Source #

nullspecMaybeFields :: Nullspec a b -> Nullspec (MaybeFields a) (MaybeFields b) Source #

nullspecList :: Nullspec a [b] Source #

nullspecEitherLeft :: Nullspec a b -> Nullspec a (Either b b') Source #

nullspecEitherRight :: Nullspec a b' -> Nullspec a (Either b b') Source #

ToFields

data ToFields haskells fields Source #

Instances

Instances details

Profunctor ToFields Source #
Instance details Defined in Opaleye.Internal.Constant Methods dimap :: (a -> b) -> (c -> d) -> ToFields b c -> ToFields a d # lmap :: (a -> b) -> ToFields b c -> ToFields a c # rmap :: (b -> c) -> ToFields a b -> ToFields a c # (#.) :: forall a b c q. Coercible c b => q b c -> ToFields a b -> ToFields a c # (.#) :: forall a b c q. Coercible b a => ToFields b c -> q a b -> ToFields a c #
ProductProfunctor ToFields Source #
Instance details Defined in Opaleye.Internal.Constant Methods purePP :: b -> ToFields a b # (**) :: ToFields a (b -> c) -> ToFields a b -> ToFields a c # empty :: ToFields () () # (*!) :: ToFields a b -> ToFields a' b' -> ToFields (a, a') (b, b') #
SumProfunctor ToFields Source #
Instance details Defined in Opaleye.Internal.Constant Methods (+++!) :: ToFields a b -> ToFields a' b' -> ToFields (Either a a') (Either b b') #
Default ToFields Bool (Column SqlBool) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Bool (Column SqlBool) #
Default ToFields Double (Column SqlFloat8) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Double (Column SqlFloat8) #
Default ToFields Int (Column SqlInt4) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int (Column SqlInt4) #
Default ToFields Int32 (Column SqlInt4) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int32 (Column SqlInt4) #
Default ToFields Int64 (Column SqlInt8) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int64 (Column SqlInt8) #
Default ToFields ByteString (Column SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Column SqlJsonb) #
Default ToFields ByteString (Column SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Column SqlJson) #
Default ToFields ByteString (Column SqlBytea) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Column SqlBytea) #
Default ToFields ByteString (Column SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Column SqlJsonb) #
Default ToFields ByteString (Column SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Column SqlJson) #
Default ToFields ByteString (Column SqlBytea) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Column SqlBytea) #
Default ToFields Scientific (Column SqlNumeric) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Scientific (Column SqlNumeric) #
Default ToFields String (Column SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields String (Column SqlText) #
Default ToFields Text (Column SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Column SqlText) #
Default ToFields UTCTime (Column SqlTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields UTCTime (Column SqlTimestamptz) #
Default ToFields Value (Column SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Value (Column SqlJsonb) #
Default ToFields Value (Column SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Value (Column SqlJson) #
Default ToFields Text (Column SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Column SqlText) #
Default ToFields ZonedTime (Column SqlTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ZonedTime (Column SqlTimestamptz) #
Default ToFields LocalTime (Column SqlTimestamp) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields LocalTime (Column SqlTimestamp) #
Default ToFields TimeOfDay (Column SqlTime) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields TimeOfDay (Column SqlTime) #
Default ToFields Day (Column SqlDate) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Day (Column SqlDate) #
Default ToFields UUID (Column SqlUuid) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields UUID (Column SqlUuid) #
(Default ToFields a (Column b), IsSqlType b) => Default ToFields [a] (Column (SqlArray b)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields [a] (Column (SqlArray b)) #
Default ToFields haskell (Column sql) => Default ToFields (Maybe haskell) (Maybe (Column sql)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Maybe haskell) (Maybe (Column sql)) #
Default ToFields haskell (Column sql) => Default ToFields (Maybe haskell) (Column (Nullable sql)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Maybe haskell) (Column (Nullable sql)) #
(Default ToFields a b, Default Nullspec a b) => Default ToFields (Maybe a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: ToFields (Maybe a) (MaybeFields b) #
Default ToFields (CI Text) (Column SqlCitext) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (CI Text) (Column SqlCitext) #
Default ToFields (CI Text) (Column SqlCitext) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (CI Text) (Column SqlCitext) #
Default ToFields (PGRange Int) (Column (SqlRange SqlInt4)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int) (Column (SqlRange SqlInt4)) #
Default ToFields (PGRange Int64) (Column (SqlRange SqlInt8)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int64) (Column (SqlRange SqlInt8)) #
Default ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric)) #
Default ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) #
Default ToFields (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) #
Default ToFields (PGRange Day) (Column (SqlRange SqlDate)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Day) (Column (SqlRange SqlDate)) #
Default ToFields (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Column a) (Column a) #
Functor (ToFields a) Source #
Instance details Defined in Opaleye.Internal.Constant Methods fmap :: (a0 -> b) -> ToFields a a0 -> ToFields a b # (<$) :: a0 -> ToFields a b -> ToFields a a0 #
Applicative (ToFields a) Source #
Instance details Defined in Opaleye.Internal.Constant Methods pure :: a0 -> ToFields a a0 # (<>) :: ToFields a (a0 -> b) -> ToFields a a0 -> ToFields a b # liftA2 :: (a0 -> b -> c) -> ToFields a a0 -> ToFields a b -> ToFields a c # (>) :: ToFields a a0 -> ToFields a b -> ToFields a b # (<*) :: ToFields a a0 -> ToFields a b -> ToFields a a0 #
Column SqlBool ~ cSqlBool => Default (Inferrable ToFields) Bool cSqlBool Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Bool cSqlBool #
Column SqlFloat8 ~ cSqlFloat8 => Default (Inferrable ToFields) Double cSqlFloat8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Double cSqlFloat8 #
Column SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int cSqlInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int cSqlInt4 #
Column SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int32 cSqlInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int32 cSqlInt4 #
Column SqlInt8 ~ cSqlInt8 => Default (Inferrable ToFields) Int64 cSqlInt8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int64 cSqlInt8 #
Column SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ByteString cSqlBytea #
Column SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ByteString cSqlBytea #
Column SqlNumeric ~ cSqlNumeric => Default (Inferrable ToFields) Scientific cSqlNumeric Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Scientific cSqlNumeric #
Column SqlText ~ cSqlText => Default (Inferrable ToFields) String cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields String cSqlText #
Column SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Text cSqlText #
Column SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) UTCTime cSqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields UTCTime cSqlTimestamptz #
Column SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Text cSqlText #
Column SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) ZonedTime cSqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ZonedTime cSqlTimestamptz #
Column SqlTime ~ cSqlTime => Default (Inferrable ToFields) TimeOfDay cSqlTime Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields TimeOfDay cSqlTime #
Column SqlDate ~ cSqlDate => Default (Inferrable ToFields) Day cSqlDate Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Day cSqlDate #
Column SqlUuid ~ cSqlUuid => Default (Inferrable ToFields) UUID cSqlUuid Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields UUID cSqlUuid #
(Default (Inferrable ToFields) a b, Default Nullspec a b, MaybeFields b ~ maybeFields_b) => Default (Inferrable ToFields) (Maybe a) maybeFields_b Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Inferrable ToFields (Maybe a) maybeFields_b #
Column SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (CI Text) cSqlCitext #
Column SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (CI Text) cSqlCitext #
Column (SqlRange SqlInt4) ~ cRangeInt4 => Default (Inferrable ToFields) (PGRange Int) cRangeInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Int) cRangeInt4 #
Column (SqlRange SqlInt8) ~ cRangeInt8 => Default (Inferrable ToFields) (PGRange Int64) cRangeInt8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Int64) cRangeInt8 #
Column (SqlRange SqlNumeric) ~ cRangeScientific => Default (Inferrable ToFields) (PGRange Scientific) cRangeScientific Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Scientific) cRangeScientific #
Column (SqlRange SqlTimestamptz) ~ cRangeTimestamptz => Default (Inferrable ToFields) (PGRange UTCTime) cRangeTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange UTCTime) cRangeTimestamptz #
Column (SqlRange SqlTimestamp) ~ cRangeTimestamp => Default (Inferrable ToFields) (PGRange LocalTime) cRangeTimestamp Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange LocalTime) cRangeTimestamp #
Column (SqlRange SqlDate) ~ cRangeDate => Default (Inferrable ToFields) (PGRange Day) cRangeDate Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Day) cRangeDate #
Column a ~ columnA => Default (Inferrable ToFields) (Column a) columnA Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (Column a) columnA #

toFieldsMaybeFields :: Nullspec a b -> ToFields a b -> ToFields (Maybe a) (MaybeFields b) Source #

Unpackspec

data Unpackspec columns columns' Source #

Instances

Instances details

Profunctor Unpackspec Source #
Instance details Defined in Opaleye.Internal.Unpackspec Methods dimap :: (a -> b) -> (c -> d) -> Unpackspec b c -> Unpackspec a d # lmap :: (a -> b) -> Unpackspec b c -> Unpackspec a c # rmap :: (b -> c) -> Unpackspec a b -> Unpackspec a c # (#.) :: forall a b c q. Coercible c b => q b c -> Unpackspec a b -> Unpackspec a c # (.#) :: forall a b c q. Coercible b a => Unpackspec b c -> q a b -> Unpackspec a c #
ProductProfunctor Unpackspec Source #
Instance details Defined in Opaleye.Internal.Unpackspec Methods purePP :: b -> Unpackspec a b # (**) :: Unpackspec a (b -> c) -> Unpackspec a b -> Unpackspec a c # empty :: Unpackspec () () # (*!) :: Unpackspec a b -> Unpackspec a' b' -> Unpackspec (a, a') (b, b') #
SumProfunctor Unpackspec Source #
Instance details Defined in Opaleye.Internal.Unpackspec Methods (+++!) :: Unpackspec a b -> Unpackspec a' b' -> Unpackspec (Either a a') (Either b b') #
Default Unpackspec (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Unpackspec Methods def :: Unpackspec (Column a) (Column a) #
Default Unpackspec a b => Default Unpackspec (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Unpackspec (MaybeFields a) (MaybeFields b) #
Functor (Unpackspec a) Source #
Instance details Defined in Opaleye.Internal.Unpackspec Methods fmap :: (a0 -> b) -> Unpackspec a a0 -> Unpackspec a b # (<$) :: a0 -> Unpackspec a b -> Unpackspec a a0 #
Applicative (Unpackspec a) Source #
Instance details Defined in Opaleye.Internal.Unpackspec Methods pure :: a0 -> Unpackspec a a0 # (<>) :: Unpackspec a (a0 -> b) -> Unpackspec a a0 -> Unpackspec a b # liftA2 :: (a0 -> b -> c) -> Unpackspec a a0 -> Unpackspec a b -> Unpackspec a c # (>) :: Unpackspec a a0 -> Unpackspec a b -> Unpackspec a b # (<*) :: Unpackspec a a0 -> Unpackspec a b -> Unpackspec a a0 #

unpackspecField :: Unpackspec (Column a) (Column a) Source #

Target the single PrimExpr inside a Column

unpackspecMaybeFields :: Unpackspec a b -> Unpackspec (MaybeFields a) (MaybeFields b) Source #

Updater

data Updater a b Source #

Instances

Instances details

Profunctor Updater Source #
Instance details 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 #
Instance details Defined in Opaleye.Internal.Manipulation Methods purePP :: b -> Updater a b # (**) :: Updater a (b -> c) -> Updater a b -> Updater a c # empty :: Updater () () # (*!) :: Updater a b -> Updater a' b' -> Updater (a, a') (b, b') #
Default Updater (Column a) (Maybe (Column a)) Source #
Instance details Defined in Opaleye.Internal.Manipulation Methods def :: Updater (Column a) (Maybe (Column a)) #
Default Updater (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Manipulation Methods def :: Updater (Column a) (Column a) #
Functor (Updater a) Source #
Instance details Defined in Opaleye.Internal.Manipulation Methods fmap :: (a0 -> b) -> Updater a a0 -> Updater a b # (<$) :: a0 -> Updater a b -> Updater a a0 #
Applicative (Updater a) Source #
Instance details Defined in Opaleye.Internal.Manipulation Methods pure :: a0 -> Updater a a0 # (<>) :: Updater a (a0 -> b) -> Updater a a0 -> Updater a b # liftA2 :: (a0 -> b -> c) -> Updater a a0 -> Updater a b -> Updater a c # (>) :: Updater a a0 -> Updater a b -> Updater a b # (<*) :: Updater a a0 -> Updater a b -> Updater a a0 #

Valuesspec

data Valuesspec columns columns' Source #

Instances

Instances details

Profunctor Valuesspec Source #
Instance details Defined in Opaleye.Internal.Values Methods dimap :: (a -> b) -> (c -> d) -> Valuesspec b c -> Valuesspec a d # lmap :: (a -> b) -> Valuesspec b c -> Valuesspec a c # rmap :: (b -> c) -> Valuesspec a b -> Valuesspec a c # (#.) :: forall a b c q. Coercible c b => q b c -> Valuesspec a b -> Valuesspec a c # (.#) :: forall a b c q. Coercible b a => Valuesspec b c -> q a b -> Valuesspec a c #
ProductProfunctor Valuesspec Source #
Instance details Defined in Opaleye.Internal.Values Methods purePP :: b -> Valuesspec a b # (**) :: Valuesspec a (b -> c) -> Valuesspec a b -> Valuesspec a c # empty :: Valuesspec () () # (*!) :: Valuesspec a b -> Valuesspec a' b' -> Valuesspec (a, a') (b, b') #
IsSqlType a => Default Valuesspec (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Values Methods def :: Valuesspec (Column a) (Column a) #
Default Valuesspec a b => Default Valuesspec (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Valuesspec (MaybeFields a) (MaybeFields b) #
Functor (Valuesspec a) Source #
Instance details Defined in Opaleye.Internal.Values Methods fmap :: (a0 -> b) -> Valuesspec a a0 -> Valuesspec a b # (<$) :: a0 -> Valuesspec a b -> Valuesspec a a0 #
Applicative (Valuesspec a) Source #
Instance details Defined in Opaleye.Internal.Values Methods pure :: a0 -> Valuesspec a a0 # (<>) :: Valuesspec a (a0 -> b) -> Valuesspec a a0 -> Valuesspec a b # liftA2 :: (a0 -> b -> c) -> Valuesspec a a0 -> Valuesspec a b -> Valuesspec a c # (>) :: Valuesspec a a0 -> Valuesspec a b -> Valuesspec a b # (<*) :: Valuesspec a a0 -> Valuesspec a b -> Valuesspec a a0 #

type ValuesspecSafe = Valuesspec Source #

valuesspecField :: IsSqlType a => Valuesspec (Column a) (Column a) Source #

valuesspecMaybeFields :: Valuesspec a b -> Valuesspec (MaybeFields a) (MaybeFields b) Source #

WithNulls

data WithNulls p a b Source #

Instances

Instances details

Profunctor p => Profunctor (WithNulls p) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods dimap :: (a -> b) -> (c -> d) -> WithNulls p b c -> WithNulls p a d # lmap :: (a -> b) -> WithNulls p b c -> WithNulls p a c # rmap :: (b -> c) -> WithNulls p a b -> WithNulls p a c # (#.) :: forall a b c q. Coercible c b => q b c -> WithNulls p a b -> WithNulls p a c # (.#) :: forall a b c q. Coercible b a => WithNulls p b c -> q a b -> WithNulls p a c #
ProductProfunctor p => ProductProfunctor (WithNulls p) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods purePP :: b -> WithNulls p a b # (**) :: WithNulls p a (b -> c) -> WithNulls p a b -> WithNulls p a c # empty :: WithNulls p () () # (*!) :: WithNulls p a b -> WithNulls p a' b' -> WithNulls p (a, a') (b, b') #
SumProfunctor p => SumProfunctor (WithNulls p) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods (+++!) :: WithNulls p a b -> WithNulls p a' b' -> WithNulls p (Either a a') (Either b b') #
(Profunctor p, IsSqlType a, Default p (Column a) (Column a)) => Default (WithNulls p) (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: WithNulls p (Column a) (Column a) #
Profunctor p => Functor (WithNulls p a) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods fmap :: (a0 -> b) -> WithNulls p a a0 -> WithNulls p a b # (<$) :: a0 -> WithNulls p a b -> WithNulls p a a0 #
ProductProfunctor p => Applicative (WithNulls p a) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods pure :: a0 -> WithNulls p a a0 # (<>) :: WithNulls p a (a0 -> b) -> WithNulls p a a0 -> WithNulls p a b # liftA2 :: (a0 -> b -> c) -> WithNulls p a a0 -> WithNulls p a b -> WithNulls p a c # (>) :: WithNulls p a a0 -> WithNulls p a b -> WithNulls p a b # (<*) :: WithNulls p a a0 -> WithNulls p a b -> WithNulls p a a0 #