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

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

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

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

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlUuid uuid

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTimestamp localtime

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTime timeofday

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlText text

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlNumeric scientific

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

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlFloat8 double

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlDate day

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBool bool

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields String cSqlText

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

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

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

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