@@ -88,7 +88,6 @@ module Squeal.PostgreSQL.Schema
89 , PGIntegral
89 , PGIntegral
90 , PGFloating
90 , PGFloating
92 , SameTypes
91 , SameTypes
93 , SamePGType
92 , SamePGType
94 , AllNotNull
93 , AllNotNull
@@ -489,10 +488,6 @@ type PGFloating ty = In ty '[ 'PGfloat4, 'PGfloat8, 'PGnumeric]
489-- `Squeal.PostgreSQL.Expression.mod_` functions.
488-- `Squeal.PostgreSQL.Expression.mod_` functions.
490type PGIntegral ty = In ty '[ 'PGint2, 'PGint4, 'PGint8]
489type PGIntegral ty = In ty '[ 'PGint2, 'PGint4, 'PGint8]
492−-- | `PGTypeOf` forgets about @NULL@ and any column constraints.
493−type family PGTypeOf (ty :: NullityType) :: PGType where
494− PGTypeOf (nullity pg) = pg
496-- | `SameTypes` is a constraint that proves two `ColumnsType`s have the same
491-- | `SameTypes` is a constraint that proves two `ColumnsType`s have the same
497-- length and the same `ColumnType`s.
492-- length and the same `ColumnType`s.
498type family SameTypes (columns0 :: ColumnsType) (columns1 :: ColumnsType)
493type family SameTypes (columns0 :: ColumnsType) (columns1 :: ColumnsType)