Data.NonEmpty

data NonEmpty f a

A non-empty container of elements of type a.

For example:

nonEmptyList :: NonEmpty List Int
nonEmptyList = 0 :| empty

Constructors

• NonEmpty a (f a)

Instances

• (Show a, Show (f a)) => Show (NonEmpty f a)
• (Eq1 f, Eq a) => Eq (NonEmpty f a)
• (Eq1 f) => Eq1 (NonEmpty f)
• (Ord1 f, Ord a) => Ord (NonEmpty f a)
• (Ord1 f) => Ord1 (NonEmpty f)
• (Functor f) => Functor (NonEmpty f)
• (FunctorWithIndex i f) => FunctorWithIndex (Maybe i) (NonEmpty f)
• (Foldable f) => Foldable (NonEmpty f)
• (FoldableWithIndex i f) => FoldableWithIndex (Maybe i) (NonEmpty f)
• (Traversable f) => Traversable (NonEmpty f)
• (TraversableWithIndex i f) => TraversableWithIndex (Maybe i) (NonEmpty f)
• (Foldable f) => Foldable1 (NonEmpty f)

singleton :: forall a f. Plus f => a -> NonEmpty f a

Create a non-empty structure with a single value.

Operator alias for Data.NonEmpty.NonEmpty (right-associative / precedence 5)

An infix synonym for NonEmpty.

foldl1 :: forall a f. Foldable f => (a -> a -> a) -> NonEmpty f a -> a

Fold a non-empty structure, collecting results using a binary operation.

foldMap1 :: forall s a f. Semigroup s => Foldable f => (a -> s) -> NonEmpty f a -> s

Fold a non-empty structure, collecting results in a Semigroup.

fold1 :: forall s f. Semigroup s => Foldable f => NonEmpty f s -> s

Fold a non-empty structure.

fromNonEmpty :: forall r a f. (a -> f a -> r) -> NonEmpty f a -> r

oneOf :: forall a f. Alternative f => NonEmpty f a -> f a

head :: forall a f. NonEmpty f a -> a

Get the 'first' element of a non-empty container.

tail :: forall a f. NonEmpty f a -> f a

Get everything but the 'first' element of a non-empty container.