Data.Greskell.NonEmptyLike

Since: 1.0.0.0

Documentation

class Foldable t => NonEmptyLike t where

Non-empty containers. Its cardinality is one or more.

Since: 1.0.0.0

Methods

singleton :: a -> t a

Make a container with a single value.

append :: t a -> t a -> t a

Append two containers.

toNonEmpty :: t a -> NonEmpty a

Convert the container to NonEmpty list.

Instances

NonEmptyLike First

append is <> from Semigroup.

Defined in Data.Greskell.NonEmptyLike

Methods

singleton :: a -> First a

append :: First a -> First a -> First a

toNonEmpty :: First a -> NonEmpty a

NonEmptyLike Last

append is <> from Semigroup.

Defined in Data.Greskell.NonEmptyLike

Methods

singleton :: a -> Last a

append :: Last a -> Last a -> Last a

toNonEmpty :: Last a -> NonEmpty a

NonEmptyLike NonEmpty

append is <> from Semigroup.

Defined in Data.Greskell.NonEmptyLike

Methods

singleton :: a -> NonEmpty a

append :: NonEmpty a -> NonEmpty a -> NonEmpty a

toNonEmpty :: NonEmpty a -> NonEmpty a

NonEmptyLike Multi

Defined in Data.Greskell.PMap

Methods

singleton :: a -> Multi a

append :: Multi a -> Multi a -> Multi a

toNonEmpty :: Multi a -> NonEmpty a