Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.Column

Synopsis

newtype Column pgType = Column PrimExpr
data Nullable a = Nullable
unColumn :: Column a -> PrimExpr
unsafeCoerceColumn :: Column a -> Column b
unsafeCast :: String -> Column a -> Column b
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 PGNum a where
- pgFromInteger :: Integer -> Column a
- sqlFromInteger :: Integer -> Column a
type SqlNum = PGNum
class PGFractional a where
- pgFromRational :: Rational -> Column a
- sqlFromRational :: Rational -> Column a
type SqlFractional = PGFractional
class PGIntegral a
type SqlIntegral = PGIntegral
class PGString a where
- pgFromString :: String -> Column a
- sqlFromString :: String -> Column a
type SqlString = PGString

Documentation

newtype Column pgType #

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

Do not use the Show instance of Column. It is considered deprecated and will be removed in version 0.7.

Constructors

Column PrimExpr

Instances

Default ViewColumnMaker String (Column a) #
Instance details Defined in Opaleye.Internal.TableMaker Methods def :: ViewColumnMaker String (Column a) #
Default RelExprMaker String (Column a) #
Instance details Defined in Opaleye.Internal.Operators Methods def :: RelExprMaker String (Column a) #
Default Constant Bool (Column SqlBool) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Bool (Column SqlBool) #
Default Constant Double (Column SqlFloat8) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Double (Column SqlFloat8) #
Default Constant Int (Column SqlInt4) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Int (Column SqlInt4) #
Default Constant Int32 (Column SqlInt4) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Int32 (Column SqlInt4) #
Default Constant Int64 (Column SqlInt8) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Int64 (Column SqlInt8) #
Default Constant ByteString (Column SqlJsonb) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ByteString (Column SqlJsonb) #
Default Constant ByteString (Column SqlJson) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ByteString (Column SqlJson) #
Default Constant ByteString (Column SqlBytea) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ByteString (Column SqlBytea) #
Default Constant ByteString (Column SqlJsonb) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ByteString (Column SqlJsonb) #
Default Constant ByteString (Column SqlJson) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ByteString (Column SqlJson) #
Default Constant ByteString (Column SqlBytea) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ByteString (Column SqlBytea) #
Default Constant Scientific (Column SqlNumeric) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Scientific (Column SqlNumeric) #
Default Constant Text (Column SqlText) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Text (Column SqlText) #
Default Constant UTCTime (Column SqlTimestamptz) #
Instance details Defined in Opaleye.Constant Methods def :: Constant UTCTime (Column SqlTimestamptz) #
Default Constant Value (Column SqlJsonb) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Value (Column SqlJsonb) #
Default Constant Value (Column SqlJson) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Value (Column SqlJson) #
Default Constant Text (Column SqlText) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Text (Column SqlText) #
Default Constant String (Column SqlText) #
Instance details Defined in Opaleye.Constant Methods def :: Constant String (Column SqlText) #
Default Constant ZonedTime (Column SqlTimestamptz) #
Instance details Defined in Opaleye.Constant Methods def :: Constant ZonedTime (Column SqlTimestamptz) #
Default Constant LocalTime (Column SqlTimestamp) #
Instance details Defined in Opaleye.Constant Methods def :: Constant LocalTime (Column SqlTimestamp) #
Default Constant TimeOfDay (Column SqlTime) #
Instance details Defined in Opaleye.Constant Methods def :: Constant TimeOfDay (Column SqlTime) #
Default Constant Day (Column SqlDate) #
Instance details Defined in Opaleye.Constant Methods def :: Constant Day (Column SqlDate) #
Default Constant UUID (Column SqlUuid) #
Instance details Defined in Opaleye.Constant Methods def :: Constant UUID (Column SqlUuid) #
QueryRunnerColumnDefault a b => Default QueryRunner (Column a) b #
Instance details Defined in Opaleye.Internal.RunQuery Methods def :: QueryRunner (Column a) b #
Default Unpackspec (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Unpackspec Methods def :: Unpackspec (Column a) (Column a) #
Default Valuesspec (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Values Methods def :: Valuesspec (Column a) (Column a) #
Default Binaryspec (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Binary Methods def :: Binaryspec (Column a) (Column a) #
Default IfPP (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Operators Methods def :: IfPP (Column a) (Column a) #
Default EqPP (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Operators Methods def :: EqPP (Column a) (Column a) #
Default NullMaker (Column a) (Column (Nullable a)) #
Instance details Defined in Opaleye.Internal.Join Methods def :: NullMaker (Column a) (Column (Nullable a)) #
Default NullMaker (Column (Nullable a)) (Column (Nullable a)) #
Instance details Defined in Opaleye.Internal.Join Methods def :: NullMaker (Column (Nullable a)) (Column (Nullable a)) #
(Default Constant a (Column b), IsSqlType b) => Default Constant [a] (Column (SqlArray b)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant [a] (Column (SqlArray b)) #
Default Constant haskell (Column sql) => Default Constant (Maybe haskell) (Maybe (Column sql)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (Maybe haskell) (Maybe (Column sql)) #
Default Constant haskell (Column sql) => Default Constant (Maybe haskell) (Column (Nullable sql)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (Maybe haskell) (Column (Nullable sql)) #
Default Constant (CI Text) (Column SqlCitext) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (CI Text) (Column SqlCitext) #
Default Constant (CI Text) (Column SqlCitext) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (CI Text) (Column SqlCitext) #
Default Constant (PGRange Int) (Column (SqlRange SqlInt4)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (PGRange Int) (Column (SqlRange SqlInt4)) #
Default Constant (PGRange Int64) (Column (SqlRange SqlInt8)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (PGRange Int64) (Column (SqlRange SqlInt8)) #
Default Constant (PGRange Scientific) (Column (SqlRange SqlNumeric)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (PGRange Scientific) (Column (SqlRange SqlNumeric)) #
Default Constant (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) #
Default Constant (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) #
Default Constant (PGRange Day) (Column (SqlRange SqlDate)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (PGRange Day) (Column (SqlRange SqlDate)) #
Default Distinctspec (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Distinct Methods def :: Distinctspec (Column a) (Column a) #
Default Updater (Column a) (Maybe (Column a)) #
Instance details Defined in Opaleye.Internal.Manipulation Methods def :: Updater (Column a) (Maybe (Column a)) #
Default Updater (Column a) (Column a) #
Instance details Defined in Opaleye.Internal.Manipulation Methods def :: Updater (Column a) (Column a) #
(SqlNum a, SqlFractional a) => Fractional (Column a) #
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) #
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 #
Show (Column pgType) #
Instance details Defined in Opaleye.Internal.Column Methods showsPrec :: Int -> Column pgType -> ShowS # show :: Column pgType -> String # showList :: [Column pgType] -> ShowS #
SqlString a => IsString (Column a) #
Instance details Defined in Opaleye.Internal.Column Methods fromString :: String -> Column a #
TableColumn (Maybe (Column a)) a #
Instance details Defined in Opaleye.Internal.Table Methods tableColumn :: String -> TableFields (Maybe (Column a)) (Column a) #
TableColumn (Column a) a #
Instance details Defined in Opaleye.Internal.Table Methods tableColumn :: String -> TableFields (Column a) (Column a) #
type Map Nulled (Column (Nullable a)) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column (Nullable a)) = Column (Nullable a)
type Map Nulled (Column PGJsonb) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGJsonb) = Column (Nullable PGJsonb)
type Map Nulled (Column PGJson) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGJson) = Column (Nullable PGJson)
type Map Nulled (Column PGBytea) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGBytea) = Column (Nullable PGBytea)
type Map Nulled (Column PGCitext) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGCitext) = Column (Nullable PGCitext)
type Map Nulled (Column PGUuid) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGUuid) = Column (Nullable PGUuid)
type Map Nulled (Column PGTimestamptz) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGTimestamptz) = Column (Nullable PGTimestamptz)
type Map Nulled (Column PGTimestamp) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGTimestamp) = Column (Nullable PGTimestamp)
type Map Nulled (Column PGTime) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGTime) = Column (Nullable PGTime)
type Map Nulled (Column PGText) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGText) = Column (Nullable PGText)
type Map Nulled (Column PGText) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGText) = Column (Nullable PGText)
type Map Nulled (Column PGInt4) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGInt4) = Column (Nullable PGInt4)
type Map Nulled (Column PGInt8) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGInt8) = Column (Nullable PGInt8)
type Map Nulled (Column PGFloat8) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGFloat8) = Column (Nullable PGFloat8)
type Map Nulled (Column PGDate) #
Instance details Defined in Opaleye.Internal.Join type Map Nulled (Column PGDate) = Column (Nullable PGDate)
type Map Nulled (Column PGBool) #
Instance details 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 PGText) can be NULL but a Column PGText cannot.

Constructors

Nullable

Instances

Default NullMaker (Column a) (Column (Nullable a)) #
Instance details Defined in Opaleye.Internal.Join Methods def :: NullMaker (Column a) (Column (Nullable a)) #
Default NullMaker (Column (Nullable a)) (Column (Nullable a)) #
Instance details Defined in Opaleye.Internal.Join Methods def :: NullMaker (Column (Nullable a)) (Column (Nullable a)) #
Default Constant haskell (Column sql) => Default Constant (Maybe haskell) (Column (Nullable sql)) #
Instance details Defined in Opaleye.Constant Methods def :: Constant (Maybe haskell) (Column (Nullable sql)) #
IsSqlType a => IsSqlType (Nullable a) #
Instance details Defined in Opaleye.PGTypes Methods showPGType :: proxy (Nullable a) -> String # showSqlType :: proxy (Nullable a) -> String #
PGOrd a => PGOrd (Nullable a) #
Instance details Defined in Opaleye.Order
QueryRunnerColumnDefault a b => QueryRunnerColumnDefault (Nullable a) (Maybe b) #
Instance details Defined in Opaleye.Internal.RunQuery Methods queryRunnerColumnDefault :: QueryRunnerColumn (Nullable a) (Maybe b) #
type Map Nulled (Column (Nullable a)) #
Instance details 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 PGNum a where #

Minimal complete definition

sqlFromInteger

Methods

pgFromInteger :: Integer -> Column a #

sqlFromInteger :: Integer -> Column a #

Instances

PGNum PGInt4 #
Instance details Defined in Opaleye.PGTypes Methods pgFromInteger :: Integer -> Column PGInt4 # sqlFromInteger :: Integer -> Column PGInt4 #
PGNum PGInt8 #
Instance details Defined in Opaleye.PGTypes Methods pgFromInteger :: Integer -> Column PGInt8 # sqlFromInteger :: Integer -> Column PGInt8 #
PGNum PGFloat8 #
Instance details Defined in Opaleye.PGTypes Methods pgFromInteger :: Integer -> Column PGFloat8 # sqlFromInteger :: Integer -> Column PGFloat8 #

type SqlNum = PGNum #

class PGFractional a where #

Minimal complete definition

sqlFromRational

Methods

pgFromRational :: Rational -> Column a #

sqlFromRational :: Rational -> Column a #

Instances

PGFractional PGFloat8 #
Instance details Defined in Opaleye.PGTypes Methods pgFromRational :: Rational -> Column PGFloat8 # sqlFromRational :: Rational -> Column PGFloat8 #

type SqlFractional = PGFractional #

class PGIntegral a #

A dummy typeclass whose instances support integral operations.

Instances

PGIntegral PGNumeric #
Instance details Defined in Opaleye.PGTypes
PGIntegral PGInt2 #
Instance details Defined in Opaleye.PGTypes
PGIntegral PGInt4 #
Instance details Defined in Opaleye.PGTypes
PGIntegral PGInt8 #
Instance details Defined in Opaleye.PGTypes

type SqlIntegral = PGIntegral #

class PGString a where #

Minimal complete definition

sqlFromString

Methods

pgFromString :: String -> Column a #

sqlFromString :: String -> Column a #

Instances

PGString PGCitext #
Instance details Defined in Opaleye.PGTypes Methods pgFromString :: String -> Column PGCitext # sqlFromString :: String -> Column PGCitext #
PGString PGText #
Instance details Defined in Opaleye.PGTypes Methods pgFromString :: String -> Column PGText # sqlFromString :: String -> Column PGText #

type SqlString = PGString #