git.iko.soy/rel8
on 00a36f5 help sign in
rel8/src/Rel8/Schema/Kind.hs
30 lines 419 B history raw
1{-# language StandaloneKindSignatures #-}
3module Rel8.Schema.Kind
4 ( Context, Table
5 , HContext, HTable
6 )
7where
9-- base
10import Data.Kind ( Type )
11import Prelude ()
13-- rel8
14import Rel8.Schema.Spec ( Spec )
17type HContext :: Type
18type HContext = Spec -> Type
21type HTable :: Type
22type HTable = HContext -> Type
25type Context :: Type
26type Context = Type -> Type
29type Table :: Type
30type Table = Context -> Type