Opaleye.Internal.Column

Documentation

newtype Column pgType

A column of a Query, of type pgType. For example Column SqlInt4 is an int4 column and a Column SqlText is a text column.

The name Column will be replaced by Field in version 0.8. There already exists a Field type family to help smooth the transition. We recommend that you use Field_, Field or FieldNullable instead of Column everywhere that it is sufficient.

Constructors

Column PrimExpr

Instances

Default ViewColumnMaker String (Column a)

Defined in Opaleye.Internal.TableMaker

Methods

def :: ViewColumnMaker String (Column a)

Default RelExprMaker String (Column a)

Defined in Opaleye.Internal.Operators

Methods

def :: RelExprMaker String (Column a)

IsSqlType b => Default Nullspec a (Column b)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Column b)

Default ToFields Bool (Column SqlBool)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Bool (Column SqlBool)

Default ToFields Double (Column SqlFloat8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Double (Column SqlFloat8)

Default ToFields Int (Column SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int (Column SqlInt4)

Default ToFields Int32 (Column SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int32 (Column SqlInt4)

Default ToFields Int64 (Column SqlInt8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int64 (Column SqlInt8)

Default ToFields ByteString (Column SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJsonb)

Default ToFields ByteString (Column SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJson)

Default ToFields ByteString (Column SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlBytea)

Default ToFields ByteString (Column SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJsonb)

Default ToFields ByteString (Column SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJson)

Default ToFields ByteString (Column SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlBytea)

Default ToFields Scientific (Column SqlNumeric)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Scientific (Column SqlNumeric)

Default ToFields String (Column SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Column SqlText)

Default ToFields Text (Column SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Column SqlText)

Default ToFields UTCTime (Column SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UTCTime (Column SqlTimestamptz)

Default ToFields Value (Column SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Column SqlJsonb)

Default ToFields Value (Column SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Column SqlJson)

Default ToFields Text (Column SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Column SqlText)

Default ToFields ZonedTime (Column SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ZonedTime (Column SqlTimestamptz)

Default ToFields LocalTime (Column SqlTimestamp)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields LocalTime (Column SqlTimestamp)

Default ToFields TimeOfDay (Column SqlTime)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields TimeOfDay (Column SqlTime)

Default ToFields Day (Column SqlDate)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Day (Column SqlDate)

Default ToFields UUID (Column SqlUuid)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UUID (Column SqlUuid)

DefaultFromField a b => Default FromFields (Column a) b

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (Column a) b

Default Unpackspec (Column a) (Column a)

Defined in Opaleye.Internal.Unpackspec

Methods

def :: Unpackspec (Column a) (Column a)

Default Binaryspec (Column a) (Column a)

Defined in Opaleye.Internal.Binary

Methods

def :: Binaryspec (Column a) (Column a)

Default IfPP (Column a) (Column a)

Defined in Opaleye.Internal.Operators

Methods

def :: IfPP (Column a) (Column a)

Default EqPP (Column a) (Column a)

Defined in Opaleye.Internal.Operators

Methods

def :: EqPP (Column a) (Column a)

IsSqlType a => Default Valuesspec (Column a) (Column a)

Defined in Opaleye.Internal.Values

Methods

def :: Valuesspec (Column a) (Column a)

Default ValuesspecUnsafe (Column a) (Column a)

Defined in Opaleye.Internal.Values

Methods

def :: ValuesspecUnsafe (Column a) (Column a)

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (CI Text) (Column SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (CI Text) (Column SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (Column a) (Column a)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Column a) (Column a)

Default NullMaker (Column a) (Column (Nullable a))

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Column a) (Column (Nullable a))

Default NullMaker (Column (Nullable a)) (Column (Nullable a))

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Column (Nullable a)) (Column (Nullable a))

Default Distinctspec (Column a) (Column a)

Defined in Opaleye.Internal.Distinct

Methods

def :: Distinctspec (Column a) (Column a)

Default Updater (Column a) (Maybe (Column a))

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Column a) (Maybe (Column a))

Default Updater (Column a) (Column a)

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Column a) (Column a)

(SqlNum a, SqlFractional a) => Fractional (Column a)

Defined in Opaleye.Internal.Column

Methods

(/) :: Column a -> Column a -> Column a

recip :: Column a -> Column a

fromRational :: Rational -> Column a

SqlNum a => Num (Column a)

Defined in Opaleye.Internal.Column

Methods

(+) :: Column a -> Column a -> Column a

(-) :: Column a -> Column a -> Column a

(*) :: Column a -> Column a -> Column a

negate :: Column a -> Column a

abs :: Column a -> Column a

signum :: Column a -> Column a

fromInteger :: Integer -> Column a

SqlString a => IsString (Column a)

Defined in Opaleye.Internal.Column

Methods

fromString :: String -> Column a

TableColumn (Maybe (Column a)) a

Defined in Opaleye.Internal.Table

Methods

tableColumn :: String -> TableFields (Maybe (Column a)) (Column a)

tableField :: String -> TableFields (Maybe (Column a)) (Column a)

TableColumn (Column a) a

Defined in Opaleye.Internal.Table

Methods

tableColumn :: String -> TableFields (Column a) (Column a)

tableField :: String -> TableFields (Column a) (Column a)

Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Column a) b

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (Column (Nullable a)) maybe_b

Column a ~ columnA => Default (Inferrable ToFields) (Column a) columnA

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (Column a) columnA

(Profunctor p, IsSqlType a, Default p (Column a) (Column a)) => Default (WithNulls p) (Column a) (Column a)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: WithNulls p (Column a) (Column a)

type Map Nulled (Column (Nullable a))

Defined in Opaleye.Internal.Join

type Map Nulled (Column (Nullable a)) = Column (Nullable a)

type Map Nulled (Column PGJsonb)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJsonb) = Column (Nullable PGJsonb)

type Map Nulled (Column PGJson)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJson) = Column (Nullable PGJson)

type Map Nulled (Column PGBytea)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBytea) = Column (Nullable PGBytea)

type Map Nulled (Column PGCitext)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGCitext) = Column (Nullable PGCitext)

type Map Nulled (Column PGUuid)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGUuid) = Column (Nullable PGUuid)

type Map Nulled (Column PGTimestamptz)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamptz) = Column (Nullable PGTimestamptz)

type Map Nulled (Column PGTimestamp)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamp) = Column (Nullable PGTimestamp)

type Map Nulled (Column PGTime)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTime) = Column (Nullable PGTime)

type Map Nulled (Column PGText)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) = Column (Nullable PGText)

type Map Nulled (Column PGText)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) = Column (Nullable PGText)

type Map Nulled (Column PGInt4)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt4) = Column (Nullable PGInt4)

type Map Nulled (Column PGInt8)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt8) = Column (Nullable PGInt8)

type Map Nulled (Column PGFloat8)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGFloat8) = Column (Nullable PGFloat8)

type Map Nulled (Column PGDate)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGDate) = Column (Nullable PGDate)

type Map Nulled (Column PGBool)

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBool) = Column (Nullable PGBool)

data Nullable a

Only used within a Column, to indicate that it can be NULL. For example, a Column (Nullable SqlText) can be NULL but a Column SqlText cannot.

Constructors

Nullable

Instances

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

Defined in Opaleye.Internal.Constant

Methods

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

Default NullMaker (Column a) (Column (Nullable a))

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Column a) (Column (Nullable a))

Default NullMaker (Column (Nullable a)) (Column (Nullable a))

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Column (Nullable a)) (Column (Nullable a))

IsSqlType a => IsSqlType (Nullable a)

Defined in Opaleye.Internal.PGTypes

Methods

showSqlType :: proxy (Nullable a) -> String

SqlOrd a => SqlOrd (Nullable a)

Defined in Opaleye.Order

DefaultFromField a b => DefaultFromField (Nullable a) (Maybe b)

Defined in Opaleye.Internal.RunQuery

Methods

queryRunnerColumnDefault :: FromField (Nullable a) (Maybe b)

defaultFromField :: FromField (Nullable a) (Maybe b)

(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (Column (Nullable a)) maybe_b

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (Column (Nullable a)) maybe_b

type Map Nulled (Column (Nullable a))

Defined in Opaleye.Internal.Join

type Map Nulled (Column (Nullable a)) = Column (Nullable a)

unColumn :: Column a -> PrimExpr

unsafeCoerceColumn :: Column a -> Column b

Treat a Column as though it were of a different type. If such a treatment is not valid then Postgres may fail with an error at SQL run time.

unsafeCast :: String -> Column a -> Column b

Cast a column to any other type. Implements Postgres's :: or CAST( ... AS ... ) operations. This is safe for some conversions, such as uuid to text.

unsafeCompositeField :: Column a -> String -> Column b

binOp :: BinOp -> Column a -> Column b -> Column c

unOp :: UnOp -> Column a -> Column b

unsafeCase_ :: [(Column pgBool, Column a)] -> Column a -> Column a

unsafeIfThenElse :: Column pgBool -> Column a -> Column a -> Column a

unsafeGt :: Column a -> Column a -> Column pgBool

unsafeEq :: Column a -> Column a -> Column pgBool

class SqlNum a where

Minimal complete definition

sqlFromInteger

Methods

pgFromInteger :: Integer -> Column a

sqlFromInteger :: Integer -> Column a

Instances

SqlNum SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlNumeric

sqlFromInteger :: Integer -> Column SqlNumeric

SqlNum SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlInt4

sqlFromInteger :: Integer -> Column SqlInt4

SqlNum SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlInt8

sqlFromInteger :: Integer -> Column SqlInt8

SqlNum SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlFloat8

sqlFromInteger :: Integer -> Column SqlFloat8

type PGNum = SqlNum

class SqlFractional a where

Minimal complete definition

sqlFromRational

Methods

pgFromRational :: Rational -> Column a

sqlFromRational :: Rational -> Column a

Instances

SqlFractional SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromRational :: Rational -> Column SqlFloat8

sqlFromRational :: Rational -> Column SqlFloat8

type PGFractional = SqlFractional

class SqlIntegral a

A dummy typeclass whose instances support integral operations.

Instances

SqlIntegral SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt2

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

type PGIntegral = SqlIntegral

class SqlString a where

Minimal complete definition

sqlFromString

Methods

pgFromString :: String -> Column a

sqlFromString :: String -> Column a

Instances

SqlString SqlCitext

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Column SqlCitext

sqlFromString :: String -> Column SqlCitext

SqlString SqlText

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Column SqlText

sqlFromString :: String -> Column SqlText

type PGString = SqlString