opaleye-0.6.7006.1: An SQL-generating DSL targeting PostgreSQL
Opaleye.Internal.Inferrable
newtype Inferrable p a b Source #
Constructors
Fields
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 #
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') #
def :: Inferrable FromField SqlBytea bytestring #
def :: Inferrable FromField SqlCitext cttext #
def :: Inferrable FromField SqlUuid uuid #
def :: Inferrable FromField SqlTimestamp localtime #
def :: Inferrable FromField SqlTime timeofday #
def :: Inferrable FromField SqlText text #
def :: Inferrable FromField SqlNumeric scientific #
def :: Inferrable FromField SqlInt4 int #
def :: Inferrable FromField SqlInt8 int64 #
def :: Inferrable FromField SqlFloat8 double #
def :: Inferrable FromField SqlDate day #
def :: Inferrable FromField SqlBool bool #
def :: Inferrable ToFields Bool cSqlBool #
def :: Inferrable ToFields Double cSqlFloat8 #
def :: Inferrable ToFields Int cSqlInt4 #
def :: Inferrable ToFields Int32 cSqlInt4 #
def :: Inferrable ToFields Int64 cSqlInt8 #
def :: Inferrable ToFields ByteString cSqlBytea #
def :: Inferrable ToFields Scientific cSqlNumeric #
def :: Inferrable ToFields Text cSqlText #
def :: Inferrable ToFields UTCTime cSqlTimestamptz #
def :: Inferrable ToFields String cSqlText #
def :: Inferrable ToFields ZonedTime cSqlTimestamptz #
def :: Inferrable ToFields TimeOfDay cSqlTime #
def :: Inferrable ToFields Day cSqlDate #
def :: Inferrable ToFields UUID cSqlUuid #
def :: Inferrable FromFields (Column a) b #
def :: Inferrable FromFields (Column (Nullable a)) maybe_b #
Defined in Opaleye.Internal.MaybeFields
def :: Inferrable FromFields (MaybeFields fields) maybe_haskells #
def :: Inferrable FromField (SqlArray f) hs #
def :: Inferrable ToFields (Maybe a) maybeFields_b #
def :: Inferrable ToFields (CI Text) cSqlCitext #
def :: Inferrable ToFields (PGRange Int) cRangeInt4 #
def :: Inferrable ToFields (PGRange Int64) cRangeInt8 #
def :: Inferrable ToFields (PGRange Scientific) cRangeScientific #
def :: Inferrable ToFields (PGRange UTCTime) cRangeTimestamptz #
def :: Inferrable ToFields (PGRange LocalTime) cRangeTimestamp #
def :: Inferrable ToFields (PGRange Day) cRangeDate #
def :: Inferrable ToFields (Column a) columnA #
fmap :: (a0 -> b) -> Inferrable p a a0 -> Inferrable p a b #
(<$) :: a0 -> Inferrable p a b -> Inferrable p a a0 #
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 #