opaleye-0.6.7004.1: An SQL-generating DSL targeting PostgreSQL

Safe HaskellNone
LanguageHaskell2010

Opaleye.Constant

Description

Do not use. Use Opaleye.ToFields instead. Will be deprecated in version 0.7.

Synopsis

Documentation

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

toFields provides a convenient typeclass wrapper around the Field_ creation functions in Opaleye.SqlTypes. Besides convenience it doesn't provide any additional functionality.

It can be used with functions like runInsert to insert custom Haskell types into the database. The following is an example of a function for inserting custom types.

  customInsert
     :: ( Default ToFields haskells fields )
     => Connection
     -> Table fields fields'
     -> haskells
     -> IO Int64
  customInsert conn table haskells = runInsert conn table $ toFields haskells

In order to use this function with your custom types, you need to define an instance of Default ToFields for your custom types.

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

Do not use. Use toFields instead. Will be deprecated in version 0.7.

newtype Constant haskells fields Source #

Do not use the name Constant. Use ToFields instead. Will be deprecated in version 0.7.

Constructors

Constant 

Fields

Instances
Profunctor Constant Source # 
Instance details

Defined in Opaleye.Constant

Methods

dimap :: (a -> b) -> (c -> d) -> Constant b c -> Constant a d #

lmap :: (a -> b) -> Constant b c -> Constant a c #

rmap :: (b -> c) -> Constant a b -> Constant a c #

(#.) :: Coercible c b => q b c -> Constant a b -> Constant a c #

(.#) :: Coercible b a => Constant b c -> q a b -> Constant a c #

ProductProfunctor Constant Source # 
Instance details

Defined in Opaleye.Constant

Methods

purePP :: b -> Constant a b #

(****) :: Constant a (b -> c) -> Constant a b -> Constant a c #

empty :: Constant () () #

(***!) :: Constant a b -> Constant a' b' -> Constant (a, a') (b, b') #

SumProfunctor Constant Source # 
Instance details

Defined in Opaleye.Constant

Methods

(+++!) :: Constant a b -> Constant a' b' -> Constant (Either a a') (Either b b') #

Default ToFields Bool (Column SqlBool) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Double (Column SqlFloat8) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Int (Column SqlInt4) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Int32 (Column SqlInt4) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Int64 (Column SqlInt8) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ByteString (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ByteString (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ByteString (Column SqlBytea) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ByteString (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ByteString (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ByteString (Column SqlBytea) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Scientific (Column SqlNumeric) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Text (Column SqlText) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields UTCTime (Column SqlTimestamptz) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Value (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Value (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Text (Column SqlText) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields String (Column SqlText) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields ZonedTime (Column SqlTimestamptz) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields LocalTime (Column SqlTimestamp) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields TimeOfDay (Column SqlTime) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields Day (Column SqlDate) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields UUID (Column SqlUuid) Source # 
Instance details

Defined in Opaleye.Constant

(Default ToFields a (Column b), IsSqlType b) => Default ToFields [a] (Column (SqlArray b)) Source # 
Instance details

Defined in Opaleye.Constant

Methods

def :: ToFields [a] (Column (SqlArray b)) #

Default ToFields haskell (Column sql) => Default ToFields (Maybe haskell) (Maybe (Column sql)) Source # 
Instance details

Defined in Opaleye.Constant

Methods

def :: ToFields (Maybe haskell) (Maybe (Column sql)) #

Default ToFields haskell (Column sql) => Default ToFields (Maybe haskell) (Column (Nullable sql)) Source # 
Instance details

Defined in Opaleye.Constant

Methods

def :: ToFields (Maybe haskell) (Column (Nullable sql)) #

Default ToFields (CI Text) (Column SqlCitext) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (CI Text) (Column SqlCitext) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (PGRange Int) (Column (SqlRange SqlInt4)) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (PGRange Int64) (Column (SqlRange SqlInt8)) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric)) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) Source # 
Instance details

Defined in Opaleye.Constant

Default ToFields (PGRange Day) (Column (SqlRange SqlDate)) Source # 
Instance details

Defined in Opaleye.Constant

Functor (Constant a) Source # 
Instance details

Defined in Opaleye.Constant

Methods

fmap :: (a0 -> b) -> Constant a a0 -> Constant a b #

(<$) :: a0 -> Constant a b -> Constant a a0 #

Applicative (Constant a) Source # 
Instance details

Defined in Opaleye.Constant

Methods

pure :: a0 -> Constant a a0 #

(<*>) :: Constant a (a0 -> b) -> Constant a a0 -> Constant a b #

liftA2 :: (a0 -> b -> c) -> Constant a a0 -> Constant a b -> Constant a c #

(*>) :: Constant a a0 -> Constant a b -> Constant a b #

(<*) :: Constant a a0 -> Constant a b -> Constant a a0 #