@@ -5,7 +5,10 @@ Copyright: (c) Eitan Chatav, 2017
55Maintainer: eitan@morphism.tech
66Stability: experimental
77
8−A type-level DSL for kinds of PostgreSQL types, constraints, and aliases.
8+This module provides a type-level DSL for kinds of Postgres types,
9+tables, schema, constraints, aliases, enumerated labels, and groupings.
10+It also defines useful type families to operate on these. Finally,
11+it defines an embedding of Haskell types into Postgres types.
912-}
1013
1114{-# LANGUAGE
@@ -35,6 +38,7 @@ module Squeal.PostgreSQL.Schema
3538 , HasOid (..)
3639 , NullityType (..)
3740 , ColumnType
41+ -- * Tables
3842 , ColumnsType
3943 , RelationType
4044 , NilRelation
@@ -43,9 +47,6 @@ module Squeal.PostgreSQL.Schema
4347 -- * Schema
4448 , SchemumType (..)
4549 , SchemaType
46− -- * Grouping
47− , Grouping (..)
48− , GroupedBy
4950 -- * Constraints
5051 , (:=>)
5152 , ColumnConstraint (..)
@@ -67,6 +68,14 @@ module Squeal.PostgreSQL.Schema
6768 , HasAll
6869 , IsLabel (..)
6970 , IsQualified (..)
71+ -- * Enumerated Labels
72+ , IsPGlabel (..)
73+ , PGlabel (..)
74+ , renderLabel
75+ , renderLabels
76+ -- * Grouping
77+ , Grouping (..)
78+ , GroupedBy
7079 -- * Type Families
7180 , Join
7281 , With
@@ -92,14 +101,6 @@ module Squeal.PostgreSQL.Schema
92101 , TableToRelation
93102 , ConstraintInvolves
94103 , DropIfConstraintsInvolve
95− -- * Generics
96− , MapMaybes (..)
97− , Nulls
98− -- * Enum Labels
99− , IsPGlabel (..)
100− , PGlabel (..)
101− , renderLabel
102− , renderLabels
103104 -- * Embedding
104105 , PG
105106 , EnumFrom
@@ -116,6 +117,8 @@ module Squeal.PostgreSQL.Schema
116117 , FieldTypeOf
117118 , FieldTypesOf
118119 , RecordCodeOf
120+ , MapMaybes (..)
121+ , Nulls
119122 ) where
120123
121124import Control.DeepSeq