Safe Haskell | None |
---|---|
Language | Haskell2010 |
An SQL-generating DSL targeting PostgreSQL. Allows Postgres queries to be written within Haskell in a typesafe and composable fashion.
You might like to look at
- Basic tutorial
- Manipulation tutorial
- Advanced tutorial
- If you are confused about the
Default
typeclass, then the Default explanation
Synopsis
- module Opaleye.Adaptors
- module Opaleye.Aggregate
- module Opaleye.Binary
- module Opaleye.Column
- module Opaleye.Distinct
- type Field a = Field_ 'NonNullable a
- type FieldNullable a = Field_ 'Nullable a
- data Nullability
- type family Field_ (a :: Nullability) b
- unsafeCoerceField :: Column a -> Column b
- module Opaleye.FunctionalJoin
- module Opaleye.Join
- module Opaleye.Label
- module Opaleye.Lateral
- module Opaleye.Manipulation
- module Opaleye.MaybeFields
- module Opaleye.Operators
- module Opaleye.Order
- module Opaleye.RunSelect
- module Opaleye.Sql
- module Opaleye.Select
- module Opaleye.SqlTypes
- module Opaleye.Table
- module Opaleye.ToFields
- module Opaleye.Values
Documentation
module Opaleye.Adaptors
module Opaleye.Aggregate
module Opaleye.Binary
module Opaleye.Column
module Opaleye.Distinct
type Field a = Field_ 'NonNullable a Source #
type FieldNullable a = Field_ 'Nullable a Source #
data Nullability Source #
Instances
type A ('H NullsT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a) Source # | |
type A ('H WT :: Arr Type (TC a) k2) ('TC '(t, Req) :: TC a) Source # | |
type A ('H OT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a) Source # | |
type A ('H HT :: Arr Type (TC a) k2) ('TC '(t, b) :: TC a) Source # | |
type A ('H HT :: Arr Type (C k2) k2) ('C '(h, o, NN) :: C k2) Source # | |
type A ('H WT :: Arr Type (TC a) Type) ('TC '(t, Opt) :: TC a) Source # | |
type A ('H NullsT :: Arr Type (C Type) Type) ('C '(h, o, n) :: C Type) Source # | |
type A ('H OT :: Arr Type (C Type) Type) ('C '(h, o, N) :: C Type) Source # | |
type A ('H OT :: Arr Type (C Type) Type) ('C '(h, o, NN) :: C Type) Source # | |
type A ('H HT :: Arr Type (C Type) Type) ('C '(h, o, N) :: C Type) Source # | |
type family Field_ (a :: Nullability) b Source #
The name Column
will be replaced by Field
in version 0.9.
The Field_
, Field
and FieldNullable
types exist to help
smooth the transition. We recommend that you use Field_
, Field
or FieldNullable
instead of Column
everywhere that it is
sufficient.
Instances
type Field_ 'NonNullable a Source # | |
Defined in Opaleye.Field | |
type Field_ 'Nullable a Source # | |
Defined in Opaleye.Field |
unsafeCoerceField :: Column a -> Column b Source #
module Opaleye.FunctionalJoin
module Opaleye.Join
module Opaleye.Label
module Opaleye.Lateral
module Opaleye.Manipulation
module Opaleye.MaybeFields
module Opaleye.Operators
module Opaleye.Order
module Opaleye.RunSelect
module Opaleye.Sql
module Opaleye.Select
module Opaleye.SqlTypes
module Opaleye.Table
module Opaleye.ToFields
module Opaleye.Values