git.iko.soy/rel8
on cf03bcd help sign in
rel8/src/Rel8/Schema/HTable/NonEmpty.hs
19 lines 392 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.Context ( HKTable )
15import Rel8.Schema.HTable.Vectorize ( HVectorize )
18type HNonEmptyTable :: HKTable -> HKTable
19type HNonEmptyTable = HVectorize NonEmpty