Opaleye.Constant

Documentation

toFields :: Default Constant haskells fields => haskells -> fields

toFields provides a convenient typeclass wrapper around the Column 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 Constant 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 Constant for your custom types.

constant :: Default Constant haskells fields => haskells -> fields

newtype Constant haskells fields

Constructors

Constant

Fields

• constantExplicit :: haskells -> fields

Instances

Profunctor 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 => (b -> c) -> Constant a b -> Constant a c

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

ProductProfunctor 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

Methods

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

Default Constant Bool (Column SqlBool)

Methods

def :: Constant Bool (Column SqlBool)

Default Constant Double (Column SqlFloat8)

Methods

def :: Constant Double (Column SqlFloat8)

Default Constant Int (Column SqlInt4)

Methods

def :: Constant Int (Column SqlInt4)

Default Constant Int32 (Column SqlInt4)

Methods

def :: Constant Int32 (Column SqlInt4)

Default Constant Int64 (Column SqlInt8)

Methods

def :: Constant Int64 (Column SqlInt8)

Default Constant ByteString (Column SqlJsonb)

Methods

def :: Constant ByteString (Column SqlJsonb)

Default Constant ByteString (Column SqlJson)

Methods

def :: Constant ByteString (Column SqlJson)

Default Constant ByteString (Column SqlBytea)

Methods

def :: Constant ByteString (Column SqlBytea)

Default Constant ByteString (Column SqlJsonb)

Methods

def :: Constant ByteString (Column SqlJsonb)

Default Constant ByteString (Column SqlJson)

Methods

def :: Constant ByteString (Column SqlJson)

Default Constant ByteString (Column SqlBytea)

Methods

def :: Constant ByteString (Column SqlBytea)

Default Constant Scientific (Column SqlNumeric)

Methods

def :: Constant Scientific (Column SqlNumeric)

Default Constant String (Column SqlText)

Methods

def :: Constant String (Column SqlText)

Default Constant Text (Column SqlText)

Methods

def :: Constant Text (Column SqlText)

Default Constant UTCTime (Column SqlTimestamptz)

Methods

def :: Constant UTCTime (Column SqlTimestamptz)

Default Constant Value (Column SqlJsonb)

Methods

def :: Constant Value (Column SqlJsonb)

Default Constant Value (Column SqlJson)

Methods

def :: Constant Value (Column SqlJson)

Default Constant Text (Column SqlText)

Methods

def :: Constant Text (Column SqlText)

Default Constant ZonedTime (Column SqlTimestamptz)

Methods

def :: Constant ZonedTime (Column SqlTimestamptz)

Default Constant LocalTime (Column SqlTimestamp)

Methods

def :: Constant LocalTime (Column SqlTimestamp)

Default Constant TimeOfDay (Column SqlTime)

Methods

def :: Constant TimeOfDay (Column SqlTime)

Default Constant Day (Column SqlDate)

Methods

def :: Constant Day (Column SqlDate)

Default Constant UUID (Column SqlUuid)

Methods

def :: Constant UUID (Column SqlUuid)

(Default Constant a (Column b), IsSqlType b) => Default Constant [a] (Column (SqlArray b))

Methods

def :: Constant [a] (Column (SqlArray b))

Default Constant haskell (Column sql) => Default Constant (Maybe haskell) (Maybe (Column sql))

Methods

def :: Constant (Maybe haskell) (Maybe (Column sql))

Default Constant haskell (Column sql) => Default Constant (Maybe haskell) (Column (Nullable sql))

Methods

def :: Constant (Maybe haskell) (Column (Nullable sql))

Default Constant (CI Text) (Column SqlCitext)

Methods

def :: Constant (CI Text) (Column SqlCitext)

Default Constant (CI Text) (Column SqlCitext)

Methods

def :: Constant (CI Text) (Column SqlCitext)

Default Constant (PGRange Int) (Column (SqlRange SqlInt4))

Methods

def :: Constant (PGRange Int) (Column (SqlRange SqlInt4))

Default Constant (PGRange Int64) (Column (SqlRange SqlInt8))

Methods

def :: Constant (PGRange Int64) (Column (SqlRange SqlInt8))

Default Constant (PGRange Scientific) (Column (SqlRange SqlNumeric))

Methods

def :: Constant (PGRange Scientific) (Column (SqlRange SqlNumeric))

Default Constant (PGRange UTCTime) (Column (SqlRange SqlTimestamptz))

Methods

def :: Constant (PGRange UTCTime) (Column (SqlRange SqlTimestamptz))

Default Constant (PGRange LocalTime) (Column (SqlRange SqlTimestamp))

Methods

def :: Constant (PGRange LocalTime) (Column (SqlRange SqlTimestamp))

Default Constant (PGRange Day) (Column (SqlRange SqlDate))

Methods

def :: Constant (PGRange Day) (Column (SqlRange SqlDate))

Functor (Constant a)

Methods

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

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

Applicative (Constant a)

Methods

pure :: a -> Constant a a

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

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

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

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

type ToFields = Constant