git.iko.soy/rel8
on 4e90af3 help sign in
rel8/src/Rel8/Schema/HTable/NonEmpty.hs
19 lines 387 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
4module Rel8.Schema.HTable.NonEmpty
5 ( HNonEmptyTable
6 )
7where
9-- base
10import Data.List.NonEmpty ( NonEmpty )
11import Prelude ()
13-- rel8
14import Rel8.Schema.HTable.Vectorize ( HVectorize )
15import qualified Rel8.Schema.Kind as K
18type HNonEmptyTable :: K.HTable -> K.HTable
19type HNonEmptyTable = HVectorize NonEmpty