Restrict Data.List.NonEmpty.Deferred's interface
commit99213f6cb18120dc9e79854b1d2e88c132471da9
authorRyan Trinkle <ryan.trinkle@gmail.com>
dateFri 20 Sep 2019, 11:39 (7 years ago)
parentd9144d6
src/Data/List/NonEmpty/Deferred.hs+5−1
@@ -3,7 +3,11 @@
33-- allows O(1) '(<>)'.
44
55{-# LANGUAGE LambdaCase #-}
6−module Data.List.NonEmpty.Deferred where
6+module Data.List.NonEmpty.Deferred
7+ ( NonEmptyDeferred
8+ , singleton
9+ , toNonEmpty
10+ ) where
711
812import Data.List.NonEmpty (NonEmpty (..))
913import qualified Data.List.NonEmpty as NonEmpty