git.iko.soy/rel8
on 2ba99ea help sign in
rel8/src/Rel8/Schema/Context.hs
20 lines 390 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
3{-# language TypeFamilies #-}
5module Rel8.Schema.Context
6 ( Interpretation( Col )
7 )
8where
10-- base
11import Data.Kind ( Constraint )
12import Prelude ()
14-- rel8
15import Rel8.Schema.Kind ( Context, HContext )
18type Interpretation :: Context -> Constraint
19class Interpretation context where
20 data Col context :: HContext