ZM.Type.NonEmptyList

Documentation

data NonEmptyList a

A list that contains at least one element

Constructors

Elem a

Cons a (NonEmptyList a)

Instances

Functor NonEmptyList

Methods

fmap :: (a -> b) -> NonEmptyList a -> NonEmptyList b

(<$) :: a -> NonEmptyList b -> NonEmptyList a

Foldable NonEmptyList

Methods

fold :: Monoid m => NonEmptyList m -> m

foldMap :: Monoid m => (a -> m) -> NonEmptyList a -> m

foldr :: (a -> b -> b) -> b -> NonEmptyList a -> b

foldr' :: (a -> b -> b) -> b -> NonEmptyList a -> b

foldl :: (b -> a -> b) -> b -> NonEmptyList a -> b

foldl' :: (b -> a -> b) -> b -> NonEmptyList a -> b

foldr1 :: (a -> a -> a) -> NonEmptyList a -> a

foldl1 :: (a -> a -> a) -> NonEmptyList a -> a

toList :: NonEmptyList a -> [a]

null :: NonEmptyList a -> Bool

length :: NonEmptyList a -> Int

elem :: Eq a => a -> NonEmptyList a -> Bool

maximum :: Ord a => NonEmptyList a -> a

minimum :: Ord a => NonEmptyList a -> a

sum :: Num a => NonEmptyList a -> a

product :: Num a => NonEmptyList a -> a

Traversable NonEmptyList

Methods

traverse :: Applicative f => (a -> f b) -> NonEmptyList a -> f (NonEmptyList b)

sequenceA :: Applicative f => NonEmptyList (f a) -> f (NonEmptyList a)

mapM :: Monad m => (a -> m b) -> NonEmptyList a -> m (NonEmptyList b)

sequence :: Monad m => NonEmptyList (m a) -> m (NonEmptyList a)

Eq a => Eq (NonEmptyList a)

Methods

(==) :: NonEmptyList a -> NonEmptyList a -> Bool

(/=) :: NonEmptyList a -> NonEmptyList a -> Bool

Ord a => Ord (NonEmptyList a)

Methods

compare :: NonEmptyList a -> NonEmptyList a -> Ordering

(<) :: NonEmptyList a -> NonEmptyList a -> Bool

(<=) :: NonEmptyList a -> NonEmptyList a -> Bool

(>) :: NonEmptyList a -> NonEmptyList a -> Bool

(>=) :: NonEmptyList a -> NonEmptyList a -> Bool

max :: NonEmptyList a -> NonEmptyList a -> NonEmptyList a

min :: NonEmptyList a -> NonEmptyList a -> NonEmptyList a

Show a => Show (NonEmptyList a)

Methods

showsPrec :: Int -> NonEmptyList a -> ShowS

show :: NonEmptyList a -> String

showList :: [NonEmptyList a] -> ShowS

Generic (NonEmptyList a)

Associated Types

type Rep (NonEmptyList a) :: * -> *

Methods

from :: NonEmptyList a -> Rep (NonEmptyList a) x

to :: Rep (NonEmptyList a) x -> NonEmptyList a

NFData a => NFData (NonEmptyList a)

Methods

rnf :: NonEmptyList a -> ()

Flat a => Flat (NonEmptyList a)

Methods

encode :: NonEmptyList a -> Encoding

decode :: Get (NonEmptyList a)

size :: NonEmptyList a -> NumBits -> NumBits

Model a => Model (NonEmptyList a)

Methods

envType :: Proxy * (NonEmptyList a) -> State Env HType

type Rep (NonEmptyList a)

type Rep (NonEmptyList a) = D1 (MetaData "NonEmptyList" "ZM.Type.NonEmptyList" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) ((:+:) (C1 (MetaCons "Elem" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) (C1 (MetaCons "Cons" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmptyList a))))))

nonEmptyList :: [a] -> NonEmptyList a

Convert a list to a NonEmptyList, returns an error if the list is empty