{-# language DataKinds #-}
{-# language StandaloneKindSignatures #-}
{-# language TypeFamilyDependencies #-}
module Rel8.Column.NonEmpty
( HNonEmpty
)
where
import Data.Kind ( Type )
import Data.List.NonEmpty ( NonEmpty )
import Prelude ()
import qualified Rel8.Schema.Kind as K
import Rel8.Schema.Result ( Result )
import Rel8.Table.NonEmpty ( NonEmptyTable )
type HNonEmpty :: K.Context -> Type -> Type
type family HNonEmpty context = nonEmpty | nonEmpty -> context where
HNonEmpty Result = NonEmpty
HNonEmpty context = NonEmptyTable context