opaleye-0.7.3.0: An SQL-generating DSL targeting PostgreSQL
Safe HaskellSafe-Inferred
LanguageHaskell2010

Opaleye.Internal.Column

Synopsis

Documentation

newtype Column pgType Source #

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

Instances details
Default ViewColumnMaker String (Column a) Source # 
Instance details

Defined in Opaleye.Internal.TableMaker

Methods

def :: ViewColumnMaker String (Column a) #

Default RelExprMaker String (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

def :: RelExprMaker String (Column a) #

IsSqlType b => Default Nullspec a (Column b) Source # 
Instance details

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Column b) #

Default ToFields Bool (Column SqlBool) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Bool (Column SqlBool) #

Default ToFields Double (Column SqlFloat8) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Double (Column SqlFloat8) #

Default ToFields Int (Column SqlInt4) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int (Column SqlInt4) #

Default ToFields Int32 (Column SqlInt4) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int32 (Column SqlInt4) #

Default ToFields Int64 (Column SqlInt8) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int64 (Column SqlInt8) #

Default ToFields ByteString (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJsonb) #

Default ToFields ByteString (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJson) #

Default ToFields ByteString (Column SqlBytea) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlBytea) #

Default ToFields ByteString (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJsonb) #

Default ToFields ByteString (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlJson) #

Default ToFields ByteString (Column SqlBytea) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Column SqlBytea) #

Default ToFields Scientific (Column SqlNumeric) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Scientific (Column SqlNumeric) #

Default ToFields String (Column SqlText) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Column SqlText) #

Default ToFields Text (Column SqlText) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Column SqlText) #

Default ToFields UTCTime (Column SqlTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UTCTime (Column SqlTimestamptz) #

Default ToFields Value (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Column SqlJsonb) #

Default ToFields Value (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Column SqlJson) #

Default ToFields Text (Column SqlText) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Column SqlText) #

Default ToFields ZonedTime (Column SqlTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ZonedTime (Column SqlTimestamptz) #

Default ToFields LocalTime (Column SqlTimestamp) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields LocalTime (Column SqlTimestamp) #

Default ToFields TimeOfDay (Column SqlTime) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields TimeOfDay (Column SqlTime) #

Default ToFields Day (Column SqlDate) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Day (Column SqlDate) #

Default ToFields UUID (Column SqlUuid) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UUID (Column SqlUuid) #

DefaultFromField a b => Default FromFields (Column a) b Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (Column a) b #

Default Unpackspec (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Unpackspec

Methods

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

Default Binaryspec (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Binary

Methods

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

Default IfPP (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

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

Default EqPP (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

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

IsSqlType a => Default Valuesspec (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Values

Methods

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

Default ValuesspecUnsafe (Column a) (Column a) Source # 
Instance details

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)) Source # 
Instance details

Defined in Opaleye.Internal.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.Internal.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.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Methods

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

Default NullMaker (Column a) (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

Methods

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

Default NullMaker (Column (Nullable a)) (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

Methods

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

Default Distinctspec (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Distinct

Methods

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

Default Updater (Column a) (Maybe (Column a)) Source # 
Instance details

Defined in Opaleye.Internal.Manipulation

Methods

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

Default Updater (Column a) (Column a) Source # 
Instance details

Defined in Opaleye.Internal.Manipulation

Methods

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

(SqlNum a, SqlFractional a) => Fractional (Column a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Opaleye.Internal.Column

Methods

fromString :: String -> Column a #

TableColumn (Maybe (Column a)) a Source # 
Instance details

Defined in Opaleye.Internal.Table

Methods

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

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

TableColumn (Column a) a Source # 
Instance details

Defined in Opaleye.Internal.Table

Methods

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

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

Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Column a) b Source # 
Instance details

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 Source # 
Instance details

Defined in Opaleye.Internal.Inferrable

Methods

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

Column a ~ columnA => Default (Inferrable ToFields) (Column a) columnA Source # 
Instance details

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) Source # 
Instance details

Defined in Opaleye.Internal.MaybeFields

Methods

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

type Map Nulled (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column (Nullable a)) = Column (Nullable a)
type Map Nulled (Column PGJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJsonb) = Column (Nullable PGJsonb)
type Map Nulled (Column PGJson) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGJson) = Column (Nullable PGJson)
type Map Nulled (Column PGBytea) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGBytea) = Column (Nullable PGBytea)
type Map Nulled (Column PGCitext) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGCitext) = Column (Nullable PGCitext)
type Map Nulled (Column PGUuid) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGUuid) = Column (Nullable PGUuid)
type Map Nulled (Column PGTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamptz) = Column (Nullable PGTimestamptz)
type Map Nulled (Column PGTimestamp) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTimestamp) = Column (Nullable PGTimestamp)
type Map Nulled (Column PGTime) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGTime) = Column (Nullable PGTime)
type Map Nulled (Column PGText) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) = Column (Nullable PGText)
type Map Nulled (Column PGText) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) = Column (Nullable PGText)
type Map Nulled (Column PGInt4) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt4) = Column (Nullable PGInt4)
type Map Nulled (Column PGInt8) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGInt8) = Column (Nullable PGInt8)
type Map Nulled (Column PGFloat8) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGFloat8) = Column (Nullable PGFloat8)
type Map Nulled (Column PGDate) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGDate) = Column (Nullable PGDate)
type Map Nulled (Column PGBool) Source # 
Instance details

Defined in Opaleye.Internal.Join

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

data Nullable a Source #

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

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

Defined in Opaleye.Internal.Constant

Methods

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

Default NullMaker (Column a) (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

Methods

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

Default NullMaker (Column (Nullable a)) (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

Methods

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

IsSqlType a => IsSqlType (Nullable a) Source # 
Instance details

Defined in Opaleye.Internal.PGTypes

Methods

showSqlType :: proxy (Nullable a) -> String Source #

SqlOrd a => SqlOrd (Nullable a) Source # 
Instance details

Defined in Opaleye.Order

DefaultFromField a b => DefaultFromField (Nullable a) (Maybe b) Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Methods

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

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

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

Defined in Opaleye.Internal.Inferrable

Methods

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

type Map Nulled (Column (Nullable a)) Source # 
Instance details

Defined in Opaleye.Internal.Join

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

unColumn :: Column a -> PrimExpr Source #

unsafeCoerceColumn :: Column a -> Column b Source #

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 Source #

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 Source #

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

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

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

unsafeIfThenElse :: Column pgBool -> Column a -> Column a -> Column a Source #

unsafeGt :: Column a -> Column a -> Column pgBool Source #

unsafeEq :: Column a -> Column a -> Column pgBool Source #

class SqlNum a where Source #

Minimal complete definition

sqlFromInteger

Methods

pgFromInteger :: Integer -> Column a Source #

sqlFromInteger :: Integer -> Column a Source #

Instances

Instances details
SqlNum SqlNumeric Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlNumeric Source #

sqlFromInteger :: Integer -> Column SqlNumeric Source #

SqlNum SqlInt4 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlInt4 Source #

sqlFromInteger :: Integer -> Column SqlInt4 Source #

SqlNum SqlInt8 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlInt8 Source #

sqlFromInteger :: Integer -> Column SqlInt8 Source #

SqlNum SqlFloat8 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Column SqlFloat8 Source #

sqlFromInteger :: Integer -> Column SqlFloat8 Source #

type PGNum = SqlNum Source #

class SqlFractional a where Source #

Minimal complete definition

sqlFromRational

Methods

pgFromRational :: Rational -> Column a Source #

sqlFromRational :: Rational -> Column a Source #

Instances

Instances details
SqlFractional SqlFloat8 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromRational :: Rational -> Column SqlFloat8 Source #

sqlFromRational :: Rational -> Column SqlFloat8 Source #

type PGFractional = SqlFractional Source #

class SqlIntegral a Source #

A dummy typeclass whose instances support integral operations.

Instances

Instances details
SqlIntegral SqlNumeric Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt2 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt4 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt8 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

type PGIntegral = SqlIntegral Source #

class SqlString a where Source #

Minimal complete definition

sqlFromString

Methods

pgFromString :: String -> Column a Source #

sqlFromString :: String -> Column a Source #

Instances

Instances details
SqlString SqlCitext Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Column SqlCitext Source #

sqlFromString :: String -> Column SqlCitext Source #

SqlString SqlText Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Column SqlText Source #

sqlFromString :: String -> Column SqlText Source #

type PGString = SqlString Source #