Opaleye.Adaptors

Binaryspec

data Binaryspec fields fields'

Instances

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

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

(#.) :: 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

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

Defined in Opaleye.Internal.MaybeFields

Methods

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

Default Binaryspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Binary

Methods

def :: Binaryspec (Field_ n a) (Field_ n a)

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

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

binaryspecField :: Binaryspec (Field_ n a) (Field_ n a)

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

Distinctspec

data Distinctspec a b

Instances

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

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

(#.) :: 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

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

Defined in Opaleye.Internal.Distinct

Methods

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

Default Distinctspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Distinct

Methods

def :: Distinctspec (Field_ n a) (Field_ n a)

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

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

distinctspecField :: Distinctspec (Field_ n a) (Field_ n a)

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

EqPP

data EqPP a b

Instances

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

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

(#.) :: 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

Default EqPP (Field a) (Field a)

Defined in Opaleye.Internal.Operators

Methods

def :: EqPP (Field a) (Field 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 (Field a) ignored

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

IfPP

data IfPP a b

Instances

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

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

(#.) :: 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

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

Defined in Opaleye.Internal.MaybeFields

Methods

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

Default IfPP (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Operators

Methods

def :: IfPP (Field_ n a) (Field_ n a)

ifPPField :: IfPP (Field_ n a) (Field_ n a)

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

FromFields

data FromFields fields haskells

A FromFields specifies how to convert Postgres values (fields) into Haskell values (haskells). Most likely you will never need to create one 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

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

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

(#.) :: 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

DefaultFromField a b => Default FromFields (Field a) b

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (Field a) b

DefaultFromField a b => Default FromFields (FieldNullable a) (Maybe b)

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (FieldNullable a) (Maybe b)

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

Defined in Opaleye.Internal.MaybeFields

Methods

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

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

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

Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Field a) b

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (Field a) b

(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (FieldNullable a) maybe_b

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (FieldNullable 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

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

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

(#.) :: 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

IsSqlType b => Default Nullspec a (Field_ n b)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Field_ n b)

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

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

nullspecField :: forall a n sqlType. IsSqlType sqlType => Nullspec a (Field_ n sqlType)

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

A way of turning Haskell values of type haskells into SQL fields. Use it with toFields.

Instances

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

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

(#.) :: 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

Default ToFields Value (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Field SqlJson)

Default ToFields Value (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Field SqlJsonb)

Default ToFields Int32 (Field SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int32 (Field SqlInt4)

Default ToFields Int64 (Field SqlInt8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int64 (Field SqlInt8)

Default ToFields ByteString (Field SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlBytea)

Default ToFields ByteString (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJson)

Default ToFields ByteString (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJsonb)

Default ToFields ByteString (Field SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlBytea)

Default ToFields ByteString (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJson)

Default ToFields ByteString (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJsonb)

Default ToFields Scientific (Field SqlNumeric)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Scientific (Field SqlNumeric)

Default ToFields Text (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlText)

Default ToFields Text (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlVarcharN)

Default ToFields Text (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlText)

Default ToFields Text (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlVarcharN)

Default ToFields Day (Field SqlDate)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Day (Field SqlDate)

Default ToFields UTCTime (Field SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UTCTime (Field SqlTimestamptz)

Default ToFields CalendarDiffTime (Field SqlInterval)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields CalendarDiffTime (Field SqlInterval)

Default ToFields LocalTime (Field SqlTimestamp)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields LocalTime (Field SqlTimestamp)

Default ToFields TimeOfDay (Field SqlTime)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields TimeOfDay (Field SqlTime)

Default ToFields ZonedTime (Field SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ZonedTime (Field SqlTimestamptz)

Default ToFields UUID (Field SqlUuid)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UUID (Field SqlUuid)

Default ToFields String (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Field SqlText)

Default ToFields String (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Field SqlVarcharN)

Default ToFields Bool (Field SqlBool)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Bool (Field SqlBool)

Default ToFields Double (Field SqlFloat8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Double (Field SqlFloat8)

Default ToFields Int (Field SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int (Field SqlInt4)

Default ToFields (CI Text) (Field SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (CI Text) (Field SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (Field a) (Field a)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Field a) (Field a)

ToJSON a => Default ToFields (Aeson a) (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Aeson a) (Field SqlJson)

ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Aeson a) (Field SqlJsonb)

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

(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 haskell (Field sql) => Default ToFields (Maybe haskell) (FieldNullable sql)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Maybe haskell) (FieldNullable sql)

Default ToFields haskell (Field_ n sql) => Default ToFields (Maybe haskell) (Maybe (Field_ n sql))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Maybe haskell) (Maybe (Field_ n sql))

(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields [a] (Field (SqlArray_ n b))

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

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

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Int32 cSqlInt4

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Int64 cSqlInt8

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields ByteString cSqlBytea

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields ByteString cSqlBytea

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Scientific cSqlNumeric

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Text cSqlText

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Text cSqlText

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Day cSqlDate

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields UTCTime cSqlTimestamptz

Field SqlInterval ~ cSqlInterval => Default (Inferrable ToFields) CalendarDiffTime cSqlInterval

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields CalendarDiffTime cSqlInterval

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields TimeOfDay cSqlTime

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields ZonedTime cSqlTimestamptz

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields UUID cSqlUuid

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields String cSqlText

Field SqlBool ~ cSqlBool => Default (Inferrable ToFields) Bool cSqlBool

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Bool cSqlBool

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Double cSqlFloat8

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields Int cSqlInt4

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (CI Text) cSqlCitext

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (CI Text) cSqlCitext

Field a ~ fieldA => Default (Inferrable ToFields) (Field a) fieldA

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (Field a) fieldA

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Int64) cRangeInt8

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Scientific) cRangeScientific

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Day) cRangeDate

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange UTCTime) cRangeTimestamptz

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange LocalTime) cRangeTimestamp

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (PGRange Int) cRangeInt4

(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

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

Unpackspec

data Unpackspec fields fields'

Instances

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

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

(#.) :: 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

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

Defined in Opaleye.Internal.MaybeFields

Methods

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

Default Unpackspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Unpackspec

Methods

def :: Unpackspec (Field_ n a) (Field_ n a)

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

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

unpackspecField :: Unpackspec (Field_ n a) (Field_ n a)

Target the single PrimExpr inside a 'F.Field n'

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

Updater

data Updater a b

Instances

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

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

(#.) :: 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

Default Updater (Field_ n a) (Maybe (Field_ n a))

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Field_ n a) (Maybe (Field_ n a))

Default Updater (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Field_ n a) (Field_ n a)

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

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

Valuesspec

data Valuesspec fields fields'

Instances

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

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

(#.) :: 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

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

Defined in Opaleye.Internal.MaybeFields

Methods

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

IsSqlType a => Default Valuesspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Values

Methods

def :: Valuesspec (Field_ n a) (Field_ n a)

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

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

valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a)

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

WithNulls

data WithNulls p a b

Instances

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

(#.) :: 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

(Profunctor p, IsSqlType a, Default p (Field_ n a) (Field_ n a)) => Default (WithNulls p) (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: WithNulls p (Field_ n a) (Field_ n a)

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

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