git.iko.soy/rel8
on db148ff help sign in
rel8/src/Rel8/Schema/HTable/Product.hs
17 lines 319 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
4module Rel8.Schema.HTable.Product
5 ( HProduct(..)
6 )
7where
9-- base
10import Prelude ()
12-- rel8
13import qualified Rel8.Schema.Kind as K
16type HProduct :: K.HTable -> K.HTable -> K.HTable
17data HProduct a b context = HProduct (a context) (b context)