Opaleye.Adaptors

Binaryspec

data Binaryspec columns columns'

Instances

Profunctor Binaryspec

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

(#.) :: Coercible c b => q b c -> Binaryspec a b -> Binaryspec a c

(.#) :: Coercible b a => Binaryspec b c -> q a b -> Binaryspec a c

ProductProfunctor Binaryspec

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)

Defined in Opaleye.Internal.Binary

Methods

def :: Binaryspec (Column a) (Column a)

Default (WithNulls Binaryspec) a b => Default Binaryspec (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Binaryspec (MaybeFields a) (MaybeFields b)

Functor (Binaryspec a)

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)

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)

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

Distinctspec

data Distinctspec a b

Instances

Profunctor Distinctspec

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

(#.) :: Coercible c b => q b c -> Distinctspec a b -> Distinctspec a c

(.#) :: Coercible b a => Distinctspec b c -> q a b -> Distinctspec a c

ProductProfunctor Distinctspec

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

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)

Defined in Opaleye.Internal.Distinct

Methods

def :: Distinctspec (Column a) (Column a)

Default (WithNulls Distinctspec) a b => Default Distinctspec (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.Distinct

Methods

def :: Distinctspec (MaybeFields a) (MaybeFields b)

Functor (Distinctspec a)

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)

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)

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

EqPP

data EqPP a b

Instances

Profunctor EqPP

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

(#.) :: Coercible c b => q b c -> EqPP a b -> EqPP a c

(.#) :: Coercible b a => EqPP b c -> q a b -> EqPP a c

ProductProfunctor EqPP

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)

Defined in Opaleye.Internal.Operators

Methods

def :: EqPP (Column a) (Column a)

Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: EqPP (MaybeFields a) (MaybeFields b)

eqPPField :: EqPP (Column a) ignored

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

IfPP

data IfPP a b

Instances

Profunctor IfPP

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

(#.) :: Coercible c b => q b c -> IfPP a b -> IfPP a c

(.#) :: Coercible b a => IfPP b c -> q a b -> IfPP a c

ProductProfunctor IfPP

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)

Defined in Opaleye.Internal.Operators

Methods

def :: IfPP (Column a) (Column a)

Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: IfPP (MaybeFields a) (MaybeFields b)

ifPPField :: IfPP (Column a) (Column a)

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

FromFields

data FromFields columns haskells

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

Profunctor FromFields

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

(#.) :: Coercible c b => q b c -> FromFields a b -> FromFields a c

(.#) :: Coercible b a => FromFields b c -> q a b -> FromFields a c

ProductProfunctor FromFields

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

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

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (Column a) b

Default FromFields fields haskells => Default FromFields (MaybeFields fields) (Maybe haskells)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: FromFields (MaybeFields fields) (Maybe haskells)

Functor (FromFields c)

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)

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

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

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

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Inferrable FromFields (MaybeFields fields) maybe_haskells

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

Nullspec

data Nullspec fields fields'

Instances

Profunctor Nullspec

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

(#.) :: Coercible c b => q b c -> Nullspec a b -> Nullspec a c

(.#) :: Coercible b a => Nullspec b c -> q a b -> Nullspec a c

ProductProfunctor Nullspec

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)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Column b)

Functor (Nullspec a)

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)

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)

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

ToFields

data ToFields haskells fields

Instances

Profunctor ToFields

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

(#.) :: Coercible c b => q b c -> ToFields a b -> ToFields a c

(.#) :: Coercible b a => ToFields b c -> q a b -> ToFields a c

ProductProfunctor ToFields

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

Defined in Opaleye.Internal.Constant

Methods

(+++!) :: ToFields a b -> ToFields a' b' -> ToFields (Either a a') (Either b b')

Default ToFields Bool (Column SqlBool)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Bool (Column SqlBool)

Default ToFields Double (Column SqlFloat8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Double (Column SqlFloat8)

Default ToFields Int (Column SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int (Column SqlInt4)

Default ToFields Int32 (Column SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int32 (Column SqlInt4)

Default ToFields Int64 (Column SqlInt8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int64 (Column SqlInt8)

Default ToFields ByteString (Column SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJsonb)

Default ToFields ByteString (Column SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJson)

Default ToFields ByteString (Column SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlBytea)

Default ToFields ByteString (Column SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJsonb)

Default ToFields ByteString (Column SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJson)

Default ToFields ByteString (Column SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlBytea)

Default ToFields Scientific (Column SqlNumeric)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Scientific (Column SqlNumeric)

Default ToFields Text (Column SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Column SqlText)

Default ToFields UTCTime (Column SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UTCTime (Column SqlTimestamptz)

Default ToFields Value (Column SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Column SqlJsonb)

Default ToFields Value (Column SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Column SqlJson)

Default ToFields Text (Column SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Column SqlText)

Default ToFields String (Column SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Column SqlText)

Default ToFields ZonedTime (Column SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ZonedTime (Column SqlTimestamptz)

Default ToFields LocalTime (Column SqlTimestamp)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields LocalTime (Column SqlTimestamp)

Default ToFields TimeOfDay (Column SqlTime)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields TimeOfDay (Column SqlTime)

Default ToFields Day (Column SqlDate)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Day (Column SqlDate)

Default ToFields UUID (Column SqlUuid)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UUID (Column SqlUuid)

(Default ToFields a (Column b), IsSqlType b) => Default ToFields [a] (Column (SqlArray b))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields [a] (Column (SqlArray b))

Default ToFields haskell (Column sql) => Default ToFields (Maybe haskell) (Maybe (Column sql))

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

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)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: ToFields (Maybe a) (MaybeFields b)

Default ToFields (CI Text) (Column SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (CI Text) (Column SqlCitext)

Default ToFields (CI Text) (Column SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (CI Text) (Column SqlCitext)

Default ToFields (PGRange Int) (Column (SqlRange SqlInt4))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Int) (Column (SqlRange SqlInt4))

Default ToFields (PGRange Int64) (Column (SqlRange SqlInt8))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Int64) (Column (SqlRange SqlInt8))

Default ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric))

Default ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz))

Default ToFields (PGRange LocalTime) (Column (SqlRange SqlTimestamp))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange LocalTime) (Column (SqlRange SqlTimestamp))

Default ToFields (PGRange Day) (Column (SqlRange SqlDate))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Day) (Column (SqlRange SqlDate))

Default ToFields (Column a) (Column a)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Column a) (Column a)

Functor (ToFields a)

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)

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Bool cSqlBool

Column SqlFloat8 ~ cSqlFloat8 => Default (Inferrable ToFields) Double cSqlFloat8

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Double cSqlFloat8

Column SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int cSqlInt4

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Int cSqlInt4

Column SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int32 cSqlInt4

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Int32 cSqlInt4

Column SqlInt8 ~ cSqlInt8 => Default (Inferrable ToFields) Int64 cSqlInt8

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Int64 cSqlInt8

Column SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields ByteString cSqlBytea

Column SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields ByteString cSqlBytea

Column SqlNumeric ~ cSqlNumeric => Default (Inferrable ToFields) Scientific cSqlNumeric

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Scientific cSqlNumeric

Column SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Text cSqlText

Column SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) UTCTime cSqlTimestamptz

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields UTCTime cSqlTimestamptz

Column SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Text cSqlText

Column SqlText ~ cSqlText => Default (Inferrable ToFields) String cSqlText

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields String cSqlText

Column SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) ZonedTime cSqlTimestamptz

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields ZonedTime cSqlTimestamptz

Column SqlTime ~ cSqlTime => Default (Inferrable ToFields) TimeOfDay cSqlTime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields TimeOfDay cSqlTime

Column SqlDate ~ cSqlDate => Default (Inferrable ToFields) Day cSqlDate

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Day cSqlDate

Column SqlUuid ~ cSqlUuid => Default (Inferrable ToFields) UUID cSqlUuid

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

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Inferrable ToFields (Maybe a) maybeFields_b

Column SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (CI Text) cSqlCitext

Column SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (CI Text) cSqlCitext

Column (SqlRange SqlInt4) ~ cRangeInt4 => Default (Inferrable ToFields) (PGRange Int) cRangeInt4

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Int) cRangeInt4

Column (SqlRange SqlInt8) ~ cRangeInt8 => Default (Inferrable ToFields) (PGRange Int64) cRangeInt8

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Int64) cRangeInt8

Column (SqlRange SqlNumeric) ~ cRangeScientific => Default (Inferrable ToFields) (PGRange Scientific) cRangeScientific

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Scientific) cRangeScientific

Column (SqlRange SqlTimestamptz) ~ cRangeTimestamptz => Default (Inferrable ToFields) (PGRange UTCTime) cRangeTimestamptz

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange UTCTime) cRangeTimestamptz

Column (SqlRange SqlTimestamp) ~ cRangeTimestamp => Default (Inferrable ToFields) (PGRange LocalTime) cRangeTimestamp

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange LocalTime) cRangeTimestamp

Column (SqlRange SqlDate) ~ cRangeDate => Default (Inferrable ToFields) (PGRange Day) cRangeDate

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Day) cRangeDate

Column a ~ columnA => Default (Inferrable ToFields) (Column a) columnA

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (Column a) columnA

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

Unpackspec

data Unpackspec columns columns'

Instances

Profunctor Unpackspec

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

(#.) :: Coercible c b => q b c -> Unpackspec a b -> Unpackspec a c

(.#) :: Coercible b a => Unpackspec b c -> q a b -> Unpackspec a c

ProductProfunctor Unpackspec

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

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)

Defined in Opaleye.Internal.Unpackspec

Methods

def :: Unpackspec (Column a) (Column a)

Default Unpackspec a b => Default Unpackspec (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Unpackspec (MaybeFields a) (MaybeFields b)

Functor (Unpackspec a)

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)

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)

Target the single PrimExpr inside a Column

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

Updater

data Updater a b

Instances

Profunctor Updater

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

(#.) :: Coercible c b => q b c -> Updater a b -> Updater a c

(.#) :: Coercible b a => Updater b c -> q a b -> Updater a c

ProductProfunctor Updater

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

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Column a) (Maybe (Column a))

Default Updater (Column a) (Column a)

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Column a) (Column a)

Functor (Updater a)

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)

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'

Instances

Profunctor Valuesspec

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

(#.) :: Coercible c b => q b c -> Valuesspec a b -> Valuesspec a c

(.#) :: Coercible b a => Valuesspec b c -> q a b -> Valuesspec a c

ProductProfunctor Valuesspec

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)

Defined in Opaleye.Internal.Values

Methods

def :: Valuesspec (Column a) (Column a)

Default Valuesspec a b => Default Valuesspec (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Valuesspec (MaybeFields a) (MaybeFields b)

Functor (Valuesspec a)

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)

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

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

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

WithNulls

data WithNulls p a b

Instances

Profunctor p => Profunctor (WithNulls p)

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

(#.) :: Coercible c b => q b c -> WithNulls p a b -> WithNulls p a c

(.#) :: Coercible b a => WithNulls p b c -> q a b -> WithNulls p a c

ProductProfunctor p => ProductProfunctor (WithNulls p)

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)

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)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: WithNulls p (Column a) (Column a)

Profunctor p => Functor (WithNulls p a)

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)

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