Unbound.Util

Documentation

(<>) :: Monoid m => m -> m -> m

class Foldable f => Collection f where

Collections are foldable types that support empty, singleton, union, and map operations. The result of a free variable calculation may be any collection. Instances are provided for lists and sets.

Methods

emptyC :: f a

singleton :: a -> f a

union :: Ord a => f a -> f a -> f a

cmap :: (Ord a, Ord b) => (a -> b) -> f a -> f b

Instances

Collection []

Lists are containers under concatenation. Lists preserve ordering and multiplicity of elements.

Collection Set

Sets are containers under union, which preserve only occurrence, not multiplicity or ordering.

Collection Multiset

Multisets are containers which preserve multiplicity but not ordering.

unions :: (Ord a, Collection f) => [f a] -> f a

Combine a list of containers into one.

fromList :: (Ord a, Collection f) => [a] -> f a

Create a collection from a list of elements.

filterC :: (Collection f, Ord a) => f (Maybe a) -> f a

Remove the Nothings from a collection.

newtype Multiset a

A simple representation of multisets.

Constructors

Multiset (Map a Int)

Instances

Foldable Multiset

Collection Multiset

Multisets are containers which preserve multiplicity but not ordering.