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
InferrablerunInferrable :: p a b
Instances51Profunctor, ProductProfunctor, Default, Functor, Applicative, …
Profunctor p => Profunctor (Inferrable p)Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableProductProfunctor p => ProductProfunctor (Inferrable p)Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlBool ~ cSqlBool => Default (Inferrable ToFields) Bool cSqlBoolDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlByteaDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlByteaDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlDate ~ cSqlDate => Default (Inferrable ToFields) Day cSqlDateDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlFloat8 ~ cSqlFloat8 => Default (Inferrable ToFields) Double cSqlFloat8Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int32 cSqlInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int cSqlInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlInt8 ~ cSqlInt8 => Default (Inferrable ToFields) Int64 cSqlInt8Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlInterval ~ cSqlInterval => Default (Inferrable ToFields) CalendarDiffTime cSqlIntervalDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlNumeric ~ cSqlNumeric => Default (Inferrable ToFields) Scientific cSqlNumericDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlText ~ cSqlText => Default (Inferrable ToFields) String cSqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlTime ~ cSqlTime => Default (Inferrable ToFields) TimeOfDay cSqlTimeDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) UTCTime cSqlTimestamptzDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) ZonedTime cSqlTimestamptzDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlUuid ~ cSqlUuid => Default (Inferrable ToFields) UUID cSqlUuidDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablebool ~ Bool => Default (Inferrable FromField) SqlBool boolDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablebytestring ~ ByteString => Default (Inferrable FromField) SqlBytea bytestringDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablecalendardifftime ~ CalendarDiffTime => Default (Inferrable FromField) SqlInterval calendardifftimeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablecttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttextDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrableday ~ Day => Default (Inferrable FromField) SqlDate dayDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrabledouble ~ Double => Default (Inferrable FromField) SqlFloat8 doubleDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrableint ~ Int => Default (Inferrable FromField) SqlInt4 intDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrableint16 ~ Int16 => Default (Inferrable FromField) SqlInt2 int16Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrableint64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablelocaltime ~ LocalTime => Default (Inferrable FromField) SqlTimestamp localtimeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablescientific ~ Scientific => Default (Inferrable FromField) SqlNumeric scientificDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrabletext ~ Text => Default (Inferrable FromField) SqlText textDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrabletimeofday ~ TimeOfDay => Default (Inferrable FromField) SqlTime timeofdayDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrableuuid ~ UUID => Default (Inferrable FromField) SqlUuid uuidDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrablevarchar ~ Text => Default (Inferrable FromField) SqlVarcharN varcharDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitextDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitextDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField (SqlRange SqlDate) ~ cRangeDate => Default (Inferrable ToFields) (PGRange Day) cRangeDateDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField (SqlRange SqlInt4) ~ cRangeInt4 => Default (Inferrable ToFields) (PGRange Int) cRangeInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField (SqlRange SqlInt8) ~ cRangeInt8 => Default (Inferrable ToFields) (PGRange Int64) cRangeInt8Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField (SqlRange SqlNumeric) ~ cRangeScientific => Default (Inferrable ToFields) (PGRange Scientific) cRangeScientificDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField (SqlRange SqlTimestamp) ~ cRangeTimestamp => Default (Inferrable ToFields) (PGRange LocalTime) cRangeTimestampDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField (SqlRange SqlTimestamptz) ~ cRangeTimestamptz => Default (Inferrable ToFields) (PGRange UTCTime) cRangeTimestamptzDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableField a ~ fieldA => Default (Inferrable ToFields) (Field a) fieldADefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableDefault (Inferrable FromField) a b => Default (Inferrable FromFields) (Field a) bDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable(Typeable h, Default (Inferrable FromField) f h, hs ~ [h]) => Default (Inferrable FromField) (SqlArray f) hsDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable(Default (Inferrable ToFields) a b, Default Nullspec a b, MaybeFields b ~ maybeFields_b) => Default (Inferrable ToFields) (Maybe a) maybeFields_bDefined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields · orphan(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (FieldNullable a) maybe_bDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable(Default (Inferrable FromFields) fields haskells, Maybe haskells ~ maybe_haskells) => Default (Inferrable FromFields) (MaybeFields fields) maybe_haskellsDefined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields(Typeable h, Default (Inferrable FromField) f h, hs ~ [Maybe h]) => Default (Inferrable FromField) (SqlArray_ 'Nullable f) hsDefined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableFunctor (p a) => Functor (Inferrable p a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.InferrableApplicative (p a) => Applicative (Inferrable p a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable