git.iko.soy/rel8
on 97d89cf help sign in
rel8/src/Rel8/Column/Lift.hs
23 lines 438 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
3{-# language TypeFamilies #-}
5module Rel8.Column.Lift
6 ( Lift
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.HKD ( HKD )
20type Lift :: K.Context -> Type -> Type
21type family Lift context a where
22 Lift Result a = a
23 Lift context a = HKD a context