git.iko.soy/rel8
on master help sign in
Add DBMax and DBMin instances for Composite
b36091aShane O'Brien
src/Rel8/Type/Composite.hs+7−1
compare with master
unifiedsplit
@@ -46,7 +46,7 @@ import Rel8.Table.Serialize ( lit )
46import Rel8.Type ( DBType, typeInformation )
46import Rel8.Type ( DBType, typeInformation )
47import Rel8.Type.Eq ( DBEq )
47import Rel8.Type.Eq ( DBEq )
48import Rel8.Type.Information ( TypeInformation(..) )
48import Rel8.Type.Information ( TypeInformation(..) )
49−import Rel8.Type.Ord ( DBOrd )
49+import Rel8.Type.Ord ( DBOrd, DBMax, DBMin )
50
50
51-- semigroupoids
51-- semigroupoids
52import Data.Functor.Apply ( WrappedApplicative(..) )
52import Data.Functor.Apply ( WrappedApplicative(..) )
@@ -79,6 +79,12 @@ instance (DBComposite a, EqTable (HKD a Expr)) => DBEq (Composite a)
79instance (DBComposite a, OrdTable (HKD a Expr)) => DBOrd (Composite a)
79instance (DBComposite a, OrdTable (HKD a Expr)) => DBOrd (Composite a)
80
80
81
81
82+instance (DBComposite a, OrdTable (HKD a Expr)) => DBMax (Composite a)
83+
84+
85+instance (DBComposite a, OrdTable (HKD a Expr)) => DBMin (Composite a)
86+
87+
82type DBComposite :: Type -> Constraint
88type DBComposite :: Type -> Constraint
83class (DBType a, HKDable a) => DBComposite a where
89class (DBType a, HKDable a) => DBComposite a where
84 compositeFields :: HKD a Name
90 compositeFields :: HKD a Name