git.iko.soy/rel8
on b97cd4e help sign in
rel8/src/Rel8/Schema/HTable/Pair.hs
20 lines 336 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
4module Rel8.Schema.HTable.Pair
5 ( HPair(..)
6 )
7where
9-- base
10import Prelude ()
12-- rel8
13import qualified Rel8.Schema.Kind as K
16type HPair :: K.HTable -> K.HTable -> K.HTable
17data HPair fst snd context = HPair
18 { hfst :: fst context
19 , hsnd :: snd context
20 }