non-empty-0.3.2: List-like structures with static restrictions on the number of elements

Data.Empty

data T a Source #

Constructors

Defined in Data.Empty

Methods

fmap :: (a -> b) -> T a -> T b #

(<$) :: a -> T b -> T a #

fold :: Monoid m => T m -> m #

foldMap :: Monoid m => (a -> m) -> T a -> m #

foldr :: (a -> b -> b) -> b -> T a -> b #

foldr' :: (a -> b -> b) -> b -> T a -> b #

foldl :: (b -> a -> b) -> b -> T a -> b #

foldl' :: (b -> a -> b) -> b -> T a -> b #

foldr1 :: (a -> a -> a) -> T a -> a #

foldl1 :: (a -> a -> a) -> T a -> a #

toList :: T a -> [a] #

null :: T a -> Bool #

length :: T a -> Int #

elem :: Eq a => a -> T a -> Bool #

maximum :: Ord a => T a -> a #

minimum :: Ord a => T a -> a #

sum :: Num a => T a -> a #

product :: Num a => T a -> a #

traverse :: Applicative f => (a -> f b) -> T a -> f (T b) #

sequenceA :: Applicative f => T (f a) -> f (T a) #

mapM :: Monad m => (a -> m b) -> T a -> m (T b) #

sequence :: Monad m => T (m a) -> m (T a) #

rnf :: NFData a => T a -> () Source #

genOf :: Gen a -> Gen (T a) Source #

arbitrary :: Arbitrary a => Gen (T a) Source #

shrink :: Arbitrary a => T a -> [T a] Source #

showsPrec :: Show a => Int -> T a -> ShowS Source #

reverse :: T a -> T a Source #

sortBy :: (a -> a -> Ordering) -> T a -> T a Source #

sort :: Ord a => T a -> T a Source #

iterate :: (a -> a) -> a -> T a Source #

repeat :: a -> T a Source #

zipWith :: (a -> b -> c) -> T a -> T b -> T c Source #

viewR :: T a -> Maybe (T a, a) Source #

viewL :: T a -> Maybe (a, T a) Source #

empty :: T a Source #

Defined in Data.NonEmptyPrivate

insertBy :: (a -> a -> Ordering) -> a -> T a -> T0 T a Source #

insert :: Ord a => a -> T a -> T0 T a Source #

Defined in Data.NonEmpty.Mixed

choose :: [a] -> [T a] Source #

(==) :: T a -> T a -> Bool #

(/=) :: T a -> T a -> Bool #

compare :: T a -> T a -> Ordering #

(<) :: T a -> T a -> Bool #

(<=) :: T a -> T a -> Bool #

(>) :: T a -> T a -> Bool #

(>=) :: T a -> T a -> Bool #

max :: T a -> T a -> T a #

min :: T a -> T a -> T a #

showsPrec :: Int -> T a -> ShowS #

show :: T a -> String #

showList :: [T a] -> ShowS #

arbitrary :: Gen (T a) #

shrink :: T a -> [T a] #

rnf :: T a -> () #