HORIZON HASKELLDocslts/ghc-10.0.x8c2f8e82026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19

Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.Column

  • 9 types
  • 4 classes
  • 11 values
  • Packageopaleye-0.10.8.0
  • Exports25
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceColumn.hs
datadata Nullability
#
NonNullableNullable
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
#

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

Instances67Fractional, Num, IsString, Default, InferrableTableField, …
valueunsafeCoerceColumn :: Field_ n a -> Field_ n' 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.

valueunsafeCast :: 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.

classclass SqlNum a where
#

Methods

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
classclass SqlIntegral a
#

A dummy typeclass whose instances support integral operations.

Instances4SqlIntegral