{-# language DataKinds #-}
{-# language StandaloneKindSignatures #-}
{-# language TypeFamilyDependencies #-}
module Rel8.Column.These
( HThese
)
where
import Data.Kind ( Type )
import Prelude ()
import qualified Rel8.Schema.Kind as K
import Rel8.Schema.Result ( Result )
import Rel8.Table.These ( TheseTable )
import Data.These ( These )
type HThese :: K.Context -> Type -> Type -> Type
type family HThese context = these | these -> context where
HThese Result = These
HThese context = TheseTable context