git.iko.soy/rel8
on db148ff help sign in
rel8/src/Rel8/Schema/Kind.hs
33 lines 434 B history raw
1{-# language StandaloneKindSignatures #-}
3module Rel8.Schema.Kind
4 ( Context, Rel8able
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
25data X
28type Context :: Type
29type Context = X -> Type
32type Rel8able :: Type
33type Rel8able = Context -> Type