git.iko.soy/squeal
on dev help sign in
remove OrderedSubset
136b084Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Manipulation.hs+1−24
compare with dev
unifiedsplit
@@ -21,11 +21,9 @@ Squeal data manipulation language.
21 , RankNTypes
21 , RankNTypes
22 , ScopedTypeVariables
22 , ScopedTypeVariables
23 , TypeApplications
23 , TypeApplications
24− , TypeFamilies
25 , TypeInType
24 , TypeInType
26 , TypeOperators
25 , TypeOperators
27 , UndecidableInstances
26 , UndecidableInstances
28− , UndecidableSuperClasses
29#-}
27#-}
30
28
31module Squeal.PostgreSQL.Manipulation
29module Squeal.PostgreSQL.Manipulation
@@ -59,8 +57,7 @@ module Squeal.PostgreSQL.Manipulation
59
57
60import Control.DeepSeq
58import Control.DeepSeq
61import Data.ByteString hiding (foldr)
59import Data.ByteString hiding (foldr)
62−import Data.Kind (Constraint)
63−import GHC.TypeLits (ErrorMessage (..), KnownSymbol, Symbol, TypeError)
60+import GHC.TypeLits (KnownSymbol)
64
61
65import qualified Generics.SOP as SOP
62import qualified Generics.SOP as SOP
66import qualified GHC.Generics as GHC
63import qualified GHC.Generics as GHC
@@ -499,26 +496,6 @@ renderConflictTarget (OnConstraint con) =
499UPDATE statements
496UPDATE statements
500-----------------------------------------}
497-----------------------------------------}
501
498
502−-- In order to guide type inference, also enforces that a key appearing in
503−-- the common subset prefix of both sup and sub maps to the same value (type).
504−type family OrderedSubsetOf'
505− (origSup :: [(Symbol, a)]) (origSub :: [(Symbol, a)])
506− (sup :: [(Symbol, a)]) (sub :: [(Symbol, a)])
507− :: Constraint where
508− OrderedSubsetOf' _ _ _ '[] = ()
509− OrderedSubsetOf' sup sub ('(xk, xv) ': xs) ('(xk, yv) ': ys) =
510− (xv ~ yv, OrderedSubsetOf' sup sub xs ys)
511− OrderedSubsetOf' sup sub (x ': xs) (y ': ys) =
512− OrderedSubsetOf' sup sub xs (y ': ys)
513− OrderedSubsetOf' sup sub '[] _ = TypeError
514− ( 'Text "The type"
515− ':$$: 'ShowType sub
516− ':$$: 'Text "is not an ordered subset of"
517− ':$$: 'ShowType sup)
518−
519−class (OrderedSubsetOf' sup sub sup sub) => OrderedSubsetOf sup sub where
520−instance (OrderedSubsetOf' sup sub sup sub) => OrderedSubsetOf sup sub where
521−
522-- | An `update` command changes the values of the specified columns
499-- | An `update` command changes the values of the specified columns
523-- in all rows that satisfy the condition.
500-- in all rows that satisfy the condition.
524update
501update