git.iko.soy/rel8
on 669b262 help sign in
rel8/src/Rel8/Table/Lifted.hs
62 lines 1.8 kB history raw
1{-# language ConstrainedClassMethods #-}
2{-# language DataKinds #-}
3{-# language FlexibleContexts #-}
4{-# language FlexibleInstances #-}
5{-# language StandaloneKindSignatures #-}
6{-# language TypeFamilies #-}
8module Rel8.Table.Lifted
9 ( Table1( Columns1, ConstrainContext1, toColumns1, fromColumns1 )
10 , Table2( Columns2, ConstrainContext2, toColumns2, fromColumns2 )
11 )
12where
14-- base
15import Data.Kind ( Constraint, Type )
16import Prelude ()
18-- rel8
19import Rel8.Schema.HTable ( HTable )
20import Rel8.Schema.HTable.Context ( H, HKTable )
21import Rel8.Schema.Spec ( Context )
24type Table1 :: (Type -> Type) -> Constraint
25class Table1 f where
26 type Columns1 f :: HKTable -> HKTable
27 type ConstrainContext1 f :: Context -> Constraint
28 type ConstrainContext1 _ = DefaultConstrainContext
30 toColumns1 :: (ConstrainContext1 f context, HTable t)
31 => (a -> t (H context))
32 -> f a
33 -> Columns1 f t (H context)
35 fromColumns1 :: (ConstrainContext1 f context, HTable t)
36 => (t (H context) -> a)
37 -> Columns1 f t (H context)
38 -> f a
41type Table2 :: (Type -> Type -> Type) -> Constraint
42class Table2 p where
43 type Columns2 p :: HKTable -> HKTable -> HKTable
44 type ConstrainContext2 p :: Context -> Constraint
45 type ConstrainContext2 _ = DefaultConstrainContext
47 toColumns2 :: (ConstrainContext2 p context, HTable t, HTable u)
48 => (a -> t (H context))
49 -> (b -> u (H context))
50 -> p a b
51 -> Columns2 p t u (H context)
53 fromColumns2 :: (ConstrainContext2 p context, HTable t, HTable u)
54 => (t (H context) -> a)
55 -> (u (H context) -> b)
56 -> Columns2 p t u (H context)
57 -> p a b
60type DefaultConstrainContext :: Context -> Constraint
61class DefaultConstrainContext context
62instance DefaultConstrainContext context