Safe Haskell	Safe-Inferred
Language	Haskell2010

Opaleye.Internal.Constant

Synopsis

toFields :: Default ToFields haskells fields => haskells -> fields
newtype ToFields haskells fields = ToFields {
- constantExplicit :: haskells -> fields
}
toToFields :: (haskells -> fields) -> ToFields haskells fields

Documentation

toFields :: Default ToFields haskells fields => haskells -> fields Source #

newtype ToFields haskells fields Source #

A way of turning Haskell values of type haskells into SQL fields. Use it with toFields.

Constructors

ToFields
Fields constantExplicit :: haskells -> fields

Instances

Instances details

ProductProfunctor ToFields Source #
Instance details Defined in Opaleye.Internal.Constant Methods purePP :: b -> ToFields a b # (**) :: ToFields a (b -> c) -> ToFields a b -> ToFields a c # empty :: ToFields () () # (*!) :: ToFields a b -> ToFields a' b' -> ToFields (a, a') (b, b') #
SumProfunctor ToFields Source #
Instance details Defined in Opaleye.Internal.Constant Methods (+++!) :: ToFields a b -> ToFields a' b' -> ToFields (Either a a') (Either b b') #
Profunctor ToFields Source #
Instance details Defined in Opaleye.Internal.Constant Methods dimap :: (a -> b) -> (c -> d) -> ToFields b c -> ToFields a d # lmap :: (a -> b) -> ToFields b c -> ToFields a c # rmap :: (b -> c) -> ToFields a b -> ToFields a c # (#.) :: forall a b c q. Coercible c b => q b c -> ToFields a b -> ToFields a c # (.#) :: forall a b c q. Coercible b a => ToFields b c -> q a b -> ToFields a c #
Default ToFields Value (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Value (Field SqlJson) #
Default ToFields Value (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Value (Field SqlJsonb) #
Default ToFields Int32 (Field SqlInt4) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int32 (Field SqlInt4) #
Default ToFields Int64 (Field SqlInt8) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int64 (Field SqlInt8) #
Default ToFields ByteString (Field SqlBytea) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlBytea) #
Default ToFields ByteString (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJson) #
Default ToFields ByteString (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJsonb) #
Default ToFields ByteString (Field SqlBytea) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlBytea) #
Default ToFields ByteString (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJson) #
Default ToFields ByteString (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJsonb) #
Default ToFields Scientific (Field SqlNumeric) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Scientific (Field SqlNumeric) #
Default ToFields Text (Field SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlText) #
Default ToFields Text (Field SqlVarcharN) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlVarcharN) #
Default ToFields Text (Field SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlText) #
Default ToFields Text (Field SqlVarcharN) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlVarcharN) #
Default ToFields Day (Field SqlDate) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Day (Field SqlDate) #
Default ToFields UTCTime (Field SqlTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields UTCTime (Field SqlTimestamptz) #
Default ToFields CalendarDiffTime (Field SqlInterval) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields CalendarDiffTime (Field SqlInterval) #
Default ToFields LocalTime (Field SqlTimestamp) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields LocalTime (Field SqlTimestamp) #
Default ToFields TimeOfDay (Field SqlTime) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields TimeOfDay (Field SqlTime) #
Default ToFields ZonedTime (Field SqlTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ZonedTime (Field SqlTimestamptz) #
Default ToFields UUID (Field SqlUuid) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields UUID (Field SqlUuid) #
Default ToFields String (Field SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields String (Field SqlText) #
Default ToFields String (Field SqlVarcharN) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields String (Field SqlVarcharN) #
Default ToFields Bool (Field SqlBool) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Bool (Field SqlBool) #
Default ToFields Double (Field SqlFloat8) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Double (Field SqlFloat8) #
Default ToFields Int (Field SqlInt4) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int (Field SqlInt4) #
Default ToFields (CI Text) (Field SqlCitext) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (CI Text) (Field SqlCitext) #
Default ToFields (CI Text) (Field SqlCitext) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (CI Text) (Field SqlCitext) #
Default ToFields (Field a) (Field a) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Field a) (Field a) #
ToJSON a => Default ToFields (Aeson a) (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Aeson a) (Field SqlJson) #
ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Aeson a) (Field SqlJsonb) #
Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int64) (Field (SqlRange SqlInt8)) #
Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric)) #
Default ToFields (PGRange Day) (Field (SqlRange SqlDate)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Day) (Field (SqlRange SqlDate)) #
Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz)) #
Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp)) #
Default ToFields (PGRange Int) (Field (SqlRange SqlInt4)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int) (Field (SqlRange SqlInt4)) #
(Default ToFields a b, Default Nullspec a b) => Default ToFields (Maybe a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: ToFields (Maybe a) (MaybeFields b) #
Default ToFields haskell (Field sql) => Default ToFields (Maybe haskell) (FieldNullable sql) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Maybe haskell) (FieldNullable sql) #
Default ToFields haskell (Field_ n sql) => Default ToFields (Maybe haskell) (Maybe (Field_ n sql)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Maybe haskell) (Maybe (Field_ n sql)) #
(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields [a] (Field (SqlArray_ n b)) #
Applicative (ToFields a) Source #
Instance details Defined in Opaleye.Internal.Constant Methods pure :: a0 -> ToFields a a0 # (<>) :: ToFields a (a0 -> b) -> ToFields a a0 -> ToFields a b # liftA2 :: (a0 -> b -> c) -> ToFields a a0 -> ToFields a b -> ToFields a c # (>) :: ToFields a a0 -> ToFields a b -> ToFields a b # (<*) :: ToFields a a0 -> ToFields a b -> ToFields a a0 #
Functor (ToFields a) Source #
Instance details Defined in Opaleye.Internal.Constant Methods fmap :: (a0 -> b) -> ToFields a a0 -> ToFields a b # (<$) :: a0 -> ToFields a b -> ToFields a a0 #
Field SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int32 cSqlInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int32 cSqlInt4 #
Field SqlInt8 ~ cSqlInt8 => Default (Inferrable ToFields) Int64 cSqlInt8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int64 cSqlInt8 #
Field SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ByteString cSqlBytea #
Field SqlBytea ~ cSqlBytea => Default (Inferrable ToFields) ByteString cSqlBytea Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ByteString cSqlBytea #
Field SqlNumeric ~ cSqlNumeric => Default (Inferrable ToFields) Scientific cSqlNumeric Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Scientific cSqlNumeric #
Field SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Text cSqlText #
Field SqlText ~ cSqlText => Default (Inferrable ToFields) Text cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Text cSqlText #
Field SqlDate ~ cSqlDate => Default (Inferrable ToFields) Day cSqlDate Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Day cSqlDate #
Field SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) UTCTime cSqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields UTCTime cSqlTimestamptz #
Field SqlInterval ~ cSqlInterval => Default (Inferrable ToFields) CalendarDiffTime cSqlInterval Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields CalendarDiffTime cSqlInterval #
Field SqlTime ~ cSqlTime => Default (Inferrable ToFields) TimeOfDay cSqlTime Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields TimeOfDay cSqlTime #
Field SqlTimestamptz ~ cSqlTimestamptz => Default (Inferrable ToFields) ZonedTime cSqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields ZonedTime cSqlTimestamptz #
Field SqlUuid ~ cSqlUuid => Default (Inferrable ToFields) UUID cSqlUuid Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields UUID cSqlUuid #
Field SqlText ~ cSqlText => Default (Inferrable ToFields) String cSqlText Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields String cSqlText #
Field SqlBool ~ cSqlBool => Default (Inferrable ToFields) Bool cSqlBool Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Bool cSqlBool #
Field SqlFloat8 ~ cSqlFloat8 => Default (Inferrable ToFields) Double cSqlFloat8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Double cSqlFloat8 #
Field SqlInt4 ~ cSqlInt4 => Default (Inferrable ToFields) Int cSqlInt4 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields Int cSqlInt4 #
Field SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (CI Text) cSqlCitext #
Field SqlCitext ~ cSqlCitext => Default (Inferrable ToFields) (CI Text) cSqlCitext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (CI Text) cSqlCitext #
Field a ~ fieldA => Default (Inferrable ToFields) (Field a) fieldA Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (Field a) fieldA #
Field (SqlRange SqlInt8) ~ cRangeInt8 => Default (Inferrable ToFields) (PGRange Int64) cRangeInt8 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Int64) cRangeInt8 #
Field (SqlRange SqlNumeric) ~ cRangeScientific => Default (Inferrable ToFields) (PGRange Scientific) cRangeScientific Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Scientific) cRangeScientific #
Field (SqlRange SqlDate) ~ cRangeDate => Default (Inferrable ToFields) (PGRange Day) cRangeDate Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange Day) cRangeDate #
Field (SqlRange SqlTimestamptz) ~ cRangeTimestamptz => Default (Inferrable ToFields) (PGRange UTCTime) cRangeTimestamptz Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange UTCTime) cRangeTimestamptz #
Field (SqlRange SqlTimestamp) ~ cRangeTimestamp => Default (Inferrable ToFields) (PGRange LocalTime) cRangeTimestamp Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable ToFields (PGRange LocalTime) cRangeTimestamp #
Field (SqlRange SqlInt4) ~ cRangeInt4 => Default (Inferrable ToFields) (PGRange Int) cRangeInt4 Source #
Instance details 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 Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Inferrable ToFields (Maybe a) maybeFields_b #

toToFields :: (haskells -> fields) -> ToFields haskells fields Source #