| Maintainer | Toshio Ito <[email protected]> |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.Greskell.NonEmptyLike
Description
Since: 1.0.0.0
Synopsis
- class Foldable t => NonEmptyLike (t :: Type -> Type) where
- singleton :: a -> t a
- append :: t a -> t a -> t a
- toNonEmpty :: t a -> NonEmpty a
Documentation
class Foldable t => NonEmptyLike (t :: Type -> Type) where Source #
Non-empty containers. Its cardinality is one or more.
Since: 1.0.0.0
Methods
singleton :: a -> t a Source #
Make a container with a single value.
append :: t a -> t a -> t a Source #
Append two containers.
toNonEmpty :: t a -> NonEmpty a Source #
Convert the container to NonEmpty list.