@@ -46,7 +46,7 @@ import Rel8.Table.Serialize ( lit )
4646import Rel8.Type ( DBType, typeInformation )
4747import Rel8.Type.Eq ( DBEq )
4848import Rel8.Type.Information ( TypeInformation(..) )
49−import Rel8.Type.Ord ( DBOrd )
49+import Rel8.Type.Ord ( DBOrd, DBMax, DBMin )
5050
5151-- semigroupoids
5252import Data.Functor.Apply ( WrappedApplicative(..) )
@@ -79,6 +79,12 @@ instance (DBComposite a, EqTable (HKD a Expr)) => DBEq (Composite a)
7979instance (DBComposite a, OrdTable (HKD a Expr)) => DBOrd (Composite a)
8080
8181
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+
8288type DBComposite :: Type -> Constraint
8389class (DBType a, HKDable a) => DBComposite a where
8490 compositeFields :: HKD a Name