SMR.Data.Bag

Documentation

data Bag a

An unordered collection of things. O(1) to add a single element, a list of elements, or union two bags.

Constructors

BagNil

BagElem a

BagList [a]

BagUnion (Bag a) (Bag a)

Instances

Show a => Show (Bag a)

Methods

showsPrec :: Int -> Bag a -> ShowS

show :: Bag a -> String

showList :: [Bag a] -> ShowS

nil :: Bag a

O(1). Construct an empty bag.

singleton :: a -> Bag a

O(1). Construct a bag containing a single element.

list :: [a] -> Bag a

O(1). Construct a bag containing a list of elements.

union :: Bag a -> Bag a -> Bag a

O(1). Union two bags.

toList :: Bag a -> [a]

O(n). Convert a bag to a list. The elements come out in some deterministic but arbitrary order, no promises.

map :: (a -> b) -> Bag a -> Bag b

Apply a function to all the elements in a bag.