Opaleye.Internal.Inferrable

Documentation

newtype Inferrable p a b

Despite its name, Inferrable doesn't provide any inferability improvements itself, it's just a conveniently-named newtype wrapper to hang instances with better inferrability off of.

Constructors

Inferrable

Fields

• runInferrable :: p a b

Instances

ProductProfunctor p => ProductProfunctor (Inferrable p)

Defined in Opaleye.Internal.Inferrable

Methods

purePP :: b -> Inferrable p a b

(****) :: Inferrable p a (b -> c) -> Inferrable p a b -> Inferrable p a c

empty :: Inferrable p () ()

(***!) :: Inferrable p a b -> Inferrable p a' b' -> Inferrable p (a, a') (b, b')

Profunctor p => Profunctor (Inferrable p)

Defined in Opaleye.Internal.Inferrable

Methods

dimap :: (a -> b) -> (c -> d) -> Inferrable p b c -> Inferrable p a d

lmap :: (a -> b) -> Inferrable p b c -> Inferrable p a c

rmap :: (b -> c) -> Inferrable p a b -> Inferrable p a c

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

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

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

bool ~ Bool => Default (Inferrable FromField) SqlBool bool

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBool bool

bytestring ~ ByteString => Default (Inferrable FromField) SqlBytea bytestring

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBytea bytestring

cttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttext

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlCitext cttext

day ~ Day => Default (Inferrable FromField) SqlDate day

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlDate day

double ~ Double => Default (Inferrable FromField) SqlFloat8 double

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlFloat8 double

int ~ Int => Default (Inferrable FromField) SqlInt4 int

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt4 int

int64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt8 int64

calendardifftime ~ CalendarDiffTime => Default (Inferrable FromField) SqlInterval calendardifftime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInterval calendardifftime

scientific ~ Scientific => Default (Inferrable FromField) SqlNumeric scientific

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlNumeric scientific

text ~ Text => Default (Inferrable FromField) SqlText text

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlText text

timeofday ~ TimeOfDay => Default (Inferrable FromField) SqlTime timeofday

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTime timeofday

localtime ~ LocalTime => Default (Inferrable FromField) SqlTimestamp localtime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTimestamp localtime

uuid ~ UUID => Default (Inferrable FromField) SqlUuid uuid

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlUuid uuid

varchar ~ Text => Default (Inferrable FromField) SqlVarcharN varchar

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlVarcharN varchar

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

(Typeable h, Default (Inferrable FromField) f h, hs ~ [h]) => Default (Inferrable FromField) (SqlArray f) hs

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField (SqlArray f) hs

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

(Typeable h, Default (Inferrable FromField) f h, hs ~ [Maybe h]) => Default (Inferrable FromField) (SqlArray_ 'Nullable f) hs

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField (SqlArray_ 'Nullable f) hs

Applicative (p a) => Applicative (Inferrable p a)

Defined in Opaleye.Internal.Inferrable

Methods

pure :: a0 -> Inferrable p a a0

(<*>) :: Inferrable p a (a0 -> b) -> Inferrable p a a0 -> Inferrable p a b

liftA2 :: (a0 -> b -> c) -> Inferrable p a a0 -> Inferrable p a b -> Inferrable p a c

(*>) :: Inferrable p a a0 -> Inferrable p a b -> Inferrable p a b

(<*) :: Inferrable p a a0 -> Inferrable p a b -> Inferrable p a a0

Functor (p a) => Functor (Inferrable p a)

Defined in Opaleye.Internal.Inferrable

Methods

fmap :: (a0 -> b) -> Inferrable p a a0 -> Inferrable p a b

(<$) :: a0 -> Inferrable p a b -> Inferrable p a a0