Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.Column

Synopsis

data Nullability
newtype Field_
type Field
type FieldNullable
data Nullable
family Column
value unColumn
value unsafeCoerceColumn
value unsafeCast
value unsafeCompositeField
value unsafeFromNullable
value binOp
value unOp
value unsafeCase_
value unsafeIfThenElse
value unsafeGt
value unsafeEq
class SqlNum
type PGNum
class SqlFractional
type PGFractional
class SqlIntegral
type PGIntegral
class SqlString
type PGString

Packageopaleye-0.10.8.0
Exports25
LanguageHaskell2010
LicenceBSD-3-Clause
SourceColumn.hs

datadata Nullability

NonNullable Nullable

Instances10A, …

type A ('H HT) ('C '(h, o, N)) = Maybe hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('C '(h, o, NN)) = hDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H HT) ('TC '(t, b)) = A ('H HT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('C '(h, o, n)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H NullsT) ('TC '(t, b)) = A ('H NullsT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, N)) = Column (Nullable o)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('C '(h, o, NN)) = Column oDefined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H OT) ('TC '(t, b)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Opt)) = Maybe (A ('H OT) ('C t))Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies
type A ('H WT) ('TC '(t, Req)) = A ('H OT) ('C t)Defined in opaleye-0.10.8.0 · Opaleye.Internal.TypeFamilies

newtypenewtype Field_ (n :: Nullability) sqlType

Source#

A field of a Select, of type sqlType. For example a Field SqlInt4 is an int4 column and a Field SqlText is a text column.

Constructors

Column PrimExpr

Instances67Fractional, Num, IsString, Default, InferrableTableField, …

Default ToFields Value (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Value (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlBytea)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlBytea)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ByteString (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields String (Field SqlText)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields String (Field SqlVarcharN)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int16 (Field SqlInt2)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int32 (Field SqlInt4)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int64 (Field SqlInt8)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Bool (Field SqlBool)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Double (Field SqlFloat8)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Int (Field SqlInt4)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Scientific (Field SqlNumeric)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlText)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlVarcharN)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlText)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Text (Field SqlVarcharN)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields Day (Field SqlDate)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields UTCTime (Field SqlTimestamptz)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields CalendarDiffTime (Field SqlInterval)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields LocalTime (Field SqlTimestamp)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields TimeOfDay (Field SqlTime)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields ZonedTime (Field SqlTimestamptz)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields UUID (Field SqlUuid)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
IsSqlType b => Default Nullspec a (Field_ n b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
DefaultFromField a b => Default FromFields (Field a) bDefined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
ToJSON a => Default ToFields (Aeson a) (Field SqlJson)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
DefaultFromField a b => Default FromFields (FieldNullable a) (Maybe b)Defined in opaleye-0.10.8.0 · Opaleye.Internal.RunQuery
Default ToFields (CI Text) (Field SqlCitext)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (CI Text) (Field SqlCitext)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (Field a) (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Int) (Field (SqlRange SqlInt4))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange Day) (Field (SqlRange SqlDate))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields haskell (Field sql) => Default ToFields (Maybe haskell) (FieldNullable sql)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default ToFields haskell (Field_ n sql) => Default ToFields (Maybe haskell) (Maybe (Field_ n sql))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default NullMaker (Field a) (FieldNullable a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Join
Default NullMaker (FieldNullable a) (FieldNullable a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Join
Default EqPP (Field a) (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Constant
Default Updater (Field_ n a) ()Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Default Updater (Field_ n a) (Maybe (Field_ n a))Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
IsSqlType a => Default Valuesspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
Default Binaryspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Binary
Default Distinctspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Distinct
Default Updater (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Manipulation
Default IfPP (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
Default RelExprPP (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Operators
Default Unpackspec (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Unpackspec
Default ValuesspecUnsafe (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Values
(SqlNum a, SqlFractional a) => Fractional (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Column
SqlNum a => Num (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Column
SqlString a => IsString (Field a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.Column
InferrableTableField (Maybe (Field_ n r)) n rDefined in opaleye-0.10.8.0 · Opaleye.Internal.Table
Equivalent to defining the column with optionalTableField. If the write type is Maybe (Field_ n r) (i.e. DEFAULT can be written to it) then the write type is Field_ n r.
Field a ~ fieldA => Default (Inferrable ToFields) (Field a) fieldADefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
Default (Inferrable FromField) a b => Default (Inferrable FromFields) (Field a) bDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
(Default (Inferrable FromField) a b, Maybe b ~ maybe_b) => Default (Inferrable FromFields) (FieldNullable a) maybe_bDefined in opaleye-0.10.8.0 · Opaleye.Internal.Inferrable
(Profunctor p, IsSqlType a, Default p (Field_ n a) (Field_ n a)) => Default (WithNulls p) (Field_ n a) (Field_ n a)Defined in opaleye-0.10.8.0 · Opaleye.Internal.MaybeFields
InferrableTableField (Field_ n r) n rDefined in opaleye-0.10.8.0 · Opaleye.Internal.Table
Equivalent to defining the column with requiredTableField. If the write type is Field_ n r then the read type is also Field_ n r.

typetype Field = Field_ 'NonNullable

typetype FieldNullable = Field_ 'Nullable

datadata 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.

Nullable_

familytype family Column a where

Source#

Do not use. Use Field instead. Will be removed in a later version.

Equations

Column (Nullable a) = FieldNullable a
Column a = Field a

valueunColumn :: Field_ n a -> PrimExpr

valueunsafeCoerceColumn :: Field_ n a -> Field_ n' 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.

valueunsafeCast :: String -> Field_ n a -> Field_ n 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.

valueunsafeCompositeField :: Field_ n a -> String -> Field_ n' b

valueunsafeFromNullable :: Field_ n a -> Field_ n' a

valuebinOp :: BinOp -> Field_ n a -> Field_ n' b -> Field_ n'' c

valueunOp :: UnOp -> Field_ n a -> Field_ n' b

valueunsafeCase_

:: [(Field_ n pgBool, Field_ n' a)]
-> Field_ n' a
-> Field_ n' a

valueunsafeIfThenElse

:: Field_ n' pgBool
-> Field_ n a
-> Field_ n a
-> Field_ n a

valueunsafeGt :: Field_ n a -> Field_ n a -> Field_ n' pgBool

valueunsafeEq :: Field_ n a -> Field_ n a -> Field_ n' pgBool

classclass SqlNum a where

Methods

pgFromInteger :: Integer -> Field a
sqlFromInteger :: Integer -> Field a

Instances5SqlNum

SqlNum SqlFloat8Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlNum SqlInt2Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlNum SqlInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlNum SqlInt8Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlNum SqlNumericDefined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal

typetype PGNum = SqlNum

classclass SqlFractional a where

Methods

pgFromRational :: Rational -> Field a
sqlFromRational :: Rational -> Field a

Instances1SqlFractional

SqlFractional SqlFloat8Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal

typetype PGFractional = SqlFractional

classclass SqlIntegral a

Source#

A dummy typeclass whose instances support integral operations.

Instances4SqlIntegral

SqlIntegral SqlInt2Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlIntegral SqlInt4Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlIntegral SqlInt8Defined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlIntegral SqlNumericDefined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal

typetype PGIntegral = SqlIntegral

classclass SqlString a where

Methods

pgFromString :: String -> Field a
sqlFromString :: String -> Field a

Instances3SqlString

SqlString SqlCitextDefined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlString SqlTextDefined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal
SqlString SqlVarcharNDefined in opaleye-0.10.8.0 · Opaleye.Internal.PGTypesExternal

typetype PGString = SqlString