git.iko.soy/squeal
on dev help sign in
remove SameTypes
b5a006eEitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs+1−10
compare with dev
unifiedsplit
@@ -94,7 +94,6 @@ module Squeal.PostgreSQL.Schema
94 , PGarrayOf
94 , PGarrayOf
95 , PGarray
95 , PGarray
96 , PGtextArray
96 , PGtextArray
97− , SameTypes
98 , SamePGType
97 , SamePGType
99 , AllNotNull
98 , AllNotNull
100 , NotAllNull
99 , NotAllNull
@@ -110,7 +109,7 @@ module Squeal.PostgreSQL.Schema
110 -- ** JSON support
109 -- ** JSON support
111 , PGjson_
110 , PGjson_
112 , PGjsonKey
111 , PGjsonKey
113− -- * Embedding
112+ -- * Immersion
114 , PG
113 , PG
115 , Json (..)
114 , Json (..)
116 , Jsonb (..)
115 , Jsonb (..)
@@ -547,14 +546,6 @@ type PGtextArray name arr = PGarrayOf name arr ('NotNull 'PGtext)
547type family PGTypeOf (ty :: NullityType) :: PGType where
546type family PGTypeOf (ty :: NullityType) :: PGType where
548 PGTypeOf (nullity pg) = pg
547 PGTypeOf (nullity pg) = pg
549
548
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−
558-- | Equality constraint on the underlying `PGType` of two columns.
549-- | Equality constraint on the underlying `PGType` of two columns.
559class SamePGType
550class SamePGType
560 (ty0 :: (Symbol,ColumnType)) (ty1 :: (Symbol,ColumnType)) where
551 (ty0 :: (Symbol,ColumnType)) (ty1 :: (Symbol,ColumnType)) where