git.iko.soy/rel8
on ae4607a help sign in
rel8/src/Rel8/Column/ADT.hs
23 lines 450 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
3{-# language TypeFamilies #-}
5module Rel8.Column.ADT
6 ( HADT
7 )
8where
10-- base
11import Data.Kind ( Type )
12import Prelude ()
14-- rel8
15import qualified Rel8.Schema.Kind as K
16import Rel8.Schema.Result ( Result )
17import Rel8.Table.ADT ( ADT )
20type HADT :: K.Context -> K.Rel8able -> Type
21type family HADT context t where
22 HADT Result t = t Result
23 HADT context t = ADT t context