@@ -71,6 +71,7 @@ module Squeal.PostgreSQL.Schema
71 , SameFields
71 , SameFields
72 -- * PostgreSQL Constraints
72 -- * PostgreSQL Constraints
74 , ColumnConstraint (..)
75 , ColumnConstraint (..)
75 , DropDefault
76 , DropDefault
76 , DropDefaultList
77 , DropDefaultList
@@ -334,6 +335,9 @@ type family SameFields
335type (:=>) constraints ty = '(AsSet constraints,ty)
336type (:=>) constraints ty = '(AsSet constraints,ty)
338+type family Unconstrain constrained where
339+ Unconstrain '(constraints, ty) = '( '[], ty)
337data ColumnConstraint
341data ColumnConstraint
338 = Default
342 = Default