Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.Inferrable

Synopsis

newtype Inferrable p a b = Inferrable {
- runInferrable :: p a b
}

Documentation

newtype Inferrable p a b Source #

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) Source #
Instance details 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 # (#.) :: Coercible c b => q b c -> Inferrable p a b -> Inferrable p a c # (.#) :: Coercible b a => Inferrable p b c -> q a b -> Inferrable p a c #
ProductProfunctor p => ProductProfunctor (Inferrable p) Source #
Instance details 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 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlBytea bytestring #
cttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlCitext cttext #
uuid ~ UUID => Default (Inferrable FromField) SqlUuid uuid Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlUuid uuid #
localtime ~ LocalTime => Default (Inferrable FromField) SqlTimestamp localtime Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlTimestamp localtime #
timeofday ~ TimeOfDay => Default (Inferrable FromField) SqlTime timeofday Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlTime timeofday #
text ~ Text => Default (Inferrable FromField) SqlText text Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlText text #
scientific ~ Scientific => Default (Inferrable FromField) SqlNumeric scientific Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlNumeric scientific #
int ~ Int => Default (Inferrable FromField) SqlInt4 int Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlInt4 int #
int64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlInt8 int64 #
double ~ Double => Default (Inferrable FromField) SqlFloat8 double Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlFloat8 double #
day ~ Day => Default (Inferrable FromField) SqlDate day Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlDate day #
bool ~ Bool => Default (Inferrable FromField) SqlBool bool Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlBool bool #
Column SqlBool ~ cSqlBool => Default (Inferrable ToFields) Bool cSqlBool Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Bool cSqlBool #
Column SqlFloat8 ~ cSqlFloat8 => Default (Inferrable ToFields) Double cSqlFloat8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Double cSqlFloat8 #
Column SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int cSqlInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int cSqlInt4 #
Column SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int32 cSqlInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int32 cSqlInt4 #
Column SqlInt8 ~ cSqlInt8 => Default (Inferrable ToFields) Int64 cSqlInt8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int64 cSqlInt8 #
Column SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ByteString cSqlBytea #
Column SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ByteString cSqlBytea #
Column SqlNumeric ~ cSqlNumeric => Default (Inferrable ToFields) Scientific cSqlNumeric Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Scientific cSqlNumeric #
Column SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Text cSqlText #
Column SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) UTCTime cSqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields UTCTime cSqlTimestamptz #
Column SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Text cSqlText #
Column SqlText ~ cSqlText => Default (Inferrable ToFields) String cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields String cSqlText #
Column SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) ZonedTime cSqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ZonedTime cSqlTimestamptz #
Column SqlTime ~ cSqlTime => Default (Inferrable ToFields) TimeOfDay cSqlTime Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields TimeOfDay cSqlTime #
Column SqlDate ~ cSqlDate => Default (Inferrable ToFields) Day cSqlDate Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Day cSqlDate #
Column SqlUuid ~ cSqlUuid => Default (Inferrable ToFields) UUID cSqlUuid Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields UUID cSqlUuid #
Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Column a) b Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Inferrable ToFields (Maybe a) maybeFields_b #
Column SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (CI Text) cSqlCitext #
Column SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (CI Text) cSqlCitext #
Column (SqlRange SqlInt4) ~ cRangeInt4 => Default (Inferrable ToFields) (PGRange Int) cRangeInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Int) cRangeInt4 #
Column (SqlRange SqlInt8) ~ cRangeInt8 => Default (Inferrable ToFields) (PGRange Int64) cRangeInt8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Int64) cRangeInt8 #
Column (SqlRange SqlNumeric) ~ cRangeScientific => Default (Inferrable ToFields) (PGRange Scientific) cRangeScientific Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Scientific) cRangeScientific #
Column (SqlRange SqlTimestamptz) ~ cRangeTimestamptz => Default (Inferrable ToFields) (PGRange UTCTime) cRangeTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange UTCTime) cRangeTimestamptz #
Column (SqlRange SqlTimestamp) ~ cRangeTimestamp => Default (Inferrable ToFields) (PGRange LocalTime) cRangeTimestamp Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange LocalTime) cRangeTimestamp #
Column (SqlRange SqlDate) ~ cRangeDate => Default (Inferrable ToFields) (PGRange Day) cRangeDate Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Day) cRangeDate #
Column a ~ columnA => Default (Inferrable ToFields) (Column a) columnA Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (Column a) columnA #
Functor (p a) => Functor (Inferrable p a) Source #
Instance details 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) Source #
Instance details 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 #