git.iko.soy/rel8
on cf03bcd help sign in
rel8/src/Rel8/Schema/HTable/Context.hs
26 lines 389 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
4module Rel8.Schema.HTable.Context
5 ( HContext, H, HKTable
6 )
7where
9-- base
10import Data.Kind ( Type )
11import Prelude ()
13-- rel8
14import Rel8.Schema.Spec ( Context )
17type HContext :: Type
18newtype HContext = H Context
21type H :: Context -> HContext
22type H = 'H
25type HKTable :: Type
26type HKTable = HContext -> Type