@@ -94,7 +94,6 @@ module Squeal.PostgreSQL.Schema
9494 , PGarrayOf
9595 , PGarray
9696 , PGtextArray
97− , SameTypes
9897 , SamePGType
9998 , AllNotNull
10099 , NotAllNull
@@ -110,7 +109,7 @@ module Squeal.PostgreSQL.Schema
110109 -- ** JSON support
111110 , PGjson_
112111 , PGjsonKey
113− -- * Embedding
112+ -- * Immersion
114113 , PG
115114 , Json (..)
116115 , Jsonb (..)
@@ -547,14 +546,6 @@ type PGtextArray name arr = PGarrayOf name arr ('NotNull 'PGtext)
547546type family PGTypeOf (ty :: NullityType) :: PGType where
548547 PGTypeOf (nullity pg) = pg
549548
550−-- | `SameTypes` is a constraint that proves two `ColumnsType`s have the same
551−-- length and the same `ColumnType`s.
552−type family SameTypes (columns0 :: ColumnsType) (columns1 :: ColumnsType)
553− :: Constraint where
554− SameTypes '[] '[] = ()
555− SameTypes (column0 ::: def0 :=> ty0 ': columns0) (column1 ::: def1 :=> ty1 ': columns1)
556− = (ty0 ~ ty1, SameTypes columns0 columns1)
557−
558549-- | Equality constraint on the underlying `PGType` of two columns.
559550class SamePGType
560551 (ty0 :: (Symbol,ColumnType)) (ty1 :: (Symbol,ColumnType)) where