Opaleye

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

Documentation

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

Constructors

NonNullable

Nullable

Instances

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 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 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 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 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 NullsT :: Arr Type (C Type) Type) ('C '(h, o, n) :: C Type)

Defined in Opaleye.Internal.TypeFamilies

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

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

Defined in Opaleye.Internal.TypeFamilies

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

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

Defined in Opaleye.Internal.TypeFamilies

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

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 family Field_ (a :: Nullability) b

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

Defined in Opaleye.Field

type Field_ 'NonNullable a = Column a

type Field_ 'Nullable a

Defined in Opaleye.Field

type Field_ 'Nullable a = Column (Nullable a)

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