Opaleye.Internal.Column

Documentation

data Nullability

Constructors

NonNullable

Nullable

Instances

type A ('H HT :: Arr Type (C Type) Type) ('C '(h, o, N) :: C Type)

Defined in Opaleye.Internal.TypeFamilies

type A ('H HT :: Arr Type (C Type) Type) ('C '(h, o, N) :: C Type) = Maybe h

type A ('H HT :: Arr Type (C k2) k2) ('C '(h, o, NN) :: C k2)

Defined in Opaleye.Internal.TypeFamilies

type A ('H HT :: Arr Type (C k2) k2) ('C '(h, o, NN) :: C k2) = h

type A ('H WT :: Arr Type (TC a) Type) ('TC '(t, Opt) :: TC a)

Defined in Opaleye.Internal.TypeFamilies

type A ('H WT :: Arr Type (TC a) Type) ('TC '(t, Opt) :: TC a) = Maybe (A ('H OT :: Arr Type (C a) Type) ('C t))

type A ('H HT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a)

Defined in Opaleye.Internal.TypeFamilies

type A ('H HT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a) = A ('H HT :: Arr Type (C a) k2) ('C t)

type A ('H NullsT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a)

Defined in Opaleye.Internal.TypeFamilies

type A ('H NullsT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a) = A ('H NullsT :: Arr Type (C a) k2) ('C t)

type A ('H OT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a)

Defined in Opaleye.Internal.TypeFamilies

type A ('H OT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a) = A ('H OT :: Arr Type (C a) k2) ('C t)

type A ('H WT :: Arr Type (TC a) k2) ('TC '(t, Req) :: TC a)

Defined in Opaleye.Internal.TypeFamilies

type A ('H WT :: Arr Type (TC a) k2) ('TC '(t, Req) :: TC a) = A ('H OT :: Arr Type (C a) k2) ('C t)

type A ('H NullsT :: Arr Type (C Type) (TYPE LiftedRep)) ('C '(h, o, n) :: C Type)

Defined in Opaleye.Internal.TypeFamilies

type A ('H NullsT :: Arr Type (C Type) (TYPE LiftedRep)) ('C '(h, o, n) :: C Type) = Column (Nullable o)

type A ('H OT :: Arr Type (C Type) (TYPE LiftedRep)) ('C '(h, o, N) :: C Type)

Defined in Opaleye.Internal.TypeFamilies

type A ('H OT :: Arr Type (C Type) (TYPE LiftedRep)) ('C '(h, o, N) :: C Type) = Column (Nullable o)

type A ('H OT :: Arr Type (C Type) (TYPE LiftedRep)) ('C '(h, o, NN) :: C Type)

Defined in Opaleye.Internal.TypeFamilies

type A ('H OT :: Arr Type (C Type) (TYPE LiftedRep)) ('C '(h, o, NN) :: C Type) = Column o

newtype Field_ (n :: Nullability) sqlType

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

Instances

Default ToFields Value (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Field SqlJson)

Default ToFields Value (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Field SqlJsonb)

Default ToFields Int32 (Field SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int32 (Field SqlInt4)

Default ToFields Int64 (Field SqlInt8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int64 (Field SqlInt8)

Default ToFields ByteString (Field SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlBytea)

Default ToFields ByteString (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJson)

Default ToFields ByteString (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJsonb)

Default ToFields ByteString (Field SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlBytea)

Default ToFields ByteString (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJson)

Default ToFields ByteString (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJsonb)

Default ToFields Scientific (Field SqlNumeric)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Scientific (Field SqlNumeric)

Default ToFields Text (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlText)

Default ToFields Text (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlVarcharN)

Default ToFields Text (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlText)

Default ToFields Text (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlVarcharN)

Default ToFields Day (Field SqlDate)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Day (Field SqlDate)

Default ToFields UTCTime (Field SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UTCTime (Field SqlTimestamptz)

Default ToFields CalendarDiffTime (Field SqlInterval)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields CalendarDiffTime (Field SqlInterval)

Default ToFields LocalTime (Field SqlTimestamp)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields LocalTime (Field SqlTimestamp)

Default ToFields TimeOfDay (Field SqlTime)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields TimeOfDay (Field SqlTime)

Default ToFields ZonedTime (Field SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ZonedTime (Field SqlTimestamptz)

Default ToFields UUID (Field SqlUuid)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UUID (Field SqlUuid)

Default ToFields String (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Field SqlText)

Default ToFields String (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Field SqlVarcharN)

Default ToFields Bool (Field SqlBool)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Bool (Field SqlBool)

Default ToFields Double (Field SqlFloat8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Double (Field SqlFloat8)

Default ToFields Int (Field SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int (Field SqlInt4)

Default RelExprMaker String (Field_ n a)

Defined in Opaleye.Internal.Operators

Methods

def :: RelExprMaker String (Field_ n a)

Default ViewColumnMaker String (Field_ n a)

Defined in Opaleye.Internal.TableMaker

Methods

def :: ViewColumnMaker String (Field_ n a)

IsSqlType b => Default Nullspec a (Field_ n b)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Field_ n b)

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

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (Field a) b

Default ToFields (CI Text) (Field SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (CI Text) (Field SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields (Field a) (Field a)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Field a) (Field a)

ToJSON a => Default ToFields (Aeson a) (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Aeson a) (Field SqlJson)

ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Aeson a) (Field SqlJsonb)

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

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

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields haskell (Field sql) => Default ToFields (Maybe haskell) (FieldNullable sql)

Defined in Opaleye.Internal.Constant

Methods

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

Default ToFields haskell (Field_ n sql) => Default ToFields (Maybe haskell) (Maybe (Field_ n sql))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Maybe haskell) (Maybe (Field_ n sql))

(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields [a] (Field (SqlArray_ n b))

Default NullMaker (Field a) (FieldNullable a)

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (Field a) (FieldNullable a)

Default NullMaker (FieldNullable a) (FieldNullable a)

Defined in Opaleye.Internal.Join

Methods

def :: NullMaker (FieldNullable a) (FieldNullable a)

Default EqPP (Field a) (Field a)

Defined in Opaleye.Internal.Operators

Methods

def :: EqPP (Field a) (Field a)

DefaultFromField a b => Default FromFields (FieldNullable a) (Maybe b)

Defined in Opaleye.Internal.RunQuery

Methods

def :: FromFields (FieldNullable a) (Maybe b)

Default Updater (Field_ n a) (Maybe (Field_ n a))

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Field_ n a) (Maybe (Field_ n a))

Default Binaryspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Binary

Methods

def :: Binaryspec (Field_ n a) (Field_ n a)

Default Distinctspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Distinct

Methods

def :: Distinctspec (Field_ n a) (Field_ n a)

Default Updater (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Manipulation

Methods

def :: Updater (Field_ n a) (Field_ n a)

Default IfPP (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Operators

Methods

def :: IfPP (Field_ n a) (Field_ n a)

Default Unpackspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Unpackspec

Methods

def :: Unpackspec (Field_ n a) (Field_ n a)

IsSqlType a => Default Valuesspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Values

Methods

def :: Valuesspec (Field_ n a) (Field_ n a)

Default ValuesspecUnsafe (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Values

Methods

def :: ValuesspecUnsafe (Field_ n a) (Field_ n a)

SqlString a => IsString (Field a)

Defined in Opaleye.Internal.Column

Methods

fromString :: String -> Field a

SqlNum a => Num (Field a)

Defined in Opaleye.Internal.Column

Methods

(+) :: Field a -> Field a -> Field a

(-) :: Field a -> Field a -> Field a

(*) :: Field a -> Field a -> Field a

negate :: Field a -> Field a

abs :: Field a -> Field a

signum :: Field a -> Field a

fromInteger :: Integer -> Field a

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

Defined in Opaleye.Internal.Column

Methods

(/) :: Field a -> Field a -> Field a

recip :: Field a -> Field a

fromRational :: Rational -> Field a

InferrableTableField (Maybe (Field_ n r)) n r

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.

Defined in Opaleye.Internal.Table

Methods

tableField :: String -> TableFields (Maybe (Field_ n r)) (Field_ n r)

Field a ~ fieldA => Default (Inferrable ToFields) (Field a) fieldA

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable ToFields (Field a) fieldA

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (Field a) b

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromFields (FieldNullable a) maybe_b

(Profunctor p, IsSqlType a, Default p (Field_ n a) (Field_ n a)) => Default (WithNulls p) (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: WithNulls p (Field_ n a) (Field_ n a)

InferrableTableField (Field_ n r) n r

Equivalent to defining the column with requiredTableField. If the write type is Field_ n r then the read type is also Field_ n r.

Defined in Opaleye.Internal.Table

Methods

tableField :: String -> TableFields (Field_ n r) (Field_ n r)

type Field = Field_ NonNullable

type FieldNullable = Field_ 'Nullable

data Nullable a

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

Constructors

Nullable_

type family Column a where ...

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

Equations

Column (Nullable a) = FieldNullable a

Column a = Field a

unColumn :: Field_ n a -> PrimExpr

unsafeCoerceColumn :: Field_ n a -> Field_ n' b

Treat a Field_ 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 -> Field_ n a -> Field_ n 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 :: Field_ n a -> String -> Field_ n' b

unsafeFromNullable :: Field_ n a -> Field_ n' a

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

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

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

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

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

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

class SqlNum a where

Minimal complete definition

sqlFromInteger

Methods

pgFromInteger :: Integer -> Field a

sqlFromInteger :: Integer -> Field a

Instances

SqlNum SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlFloat8

sqlFromInteger :: Integer -> Field SqlFloat8

SqlNum SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlInt4

sqlFromInteger :: Integer -> Field SqlInt4

SqlNum SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlInt8

sqlFromInteger :: Integer -> Field SqlInt8

SqlNum SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlNumeric

sqlFromInteger :: Integer -> Field SqlNumeric

type PGNum = SqlNum

class SqlFractional a where

Minimal complete definition

sqlFromRational

Methods

pgFromRational :: Rational -> Field a

sqlFromRational :: Rational -> Field a

Instances

SqlFractional SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromRational :: Rational -> Field SqlFloat8

sqlFromRational :: Rational -> Field SqlFloat8

type PGFractional = SqlFractional

class SqlIntegral a

A dummy typeclass whose instances support integral operations.

Instances

SqlIntegral SqlInt2

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

type PGIntegral = SqlIntegral

class SqlString a where

Minimal complete definition

sqlFromString

Methods

pgFromString :: String -> Field a

sqlFromString :: String -> Field a

Instances

SqlString SqlCitext

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlCitext

sqlFromString :: String -> Field SqlCitext

SqlString SqlText

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlText

sqlFromString :: String -> Field SqlText

SqlString SqlVarcharN

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlVarcharN

sqlFromString :: String -> Field SqlVarcharN

type PGString = SqlString