Bag

Documentation

data Bag a

emptyBag :: Bag a

unitBag :: a -> Bag a

unionBags :: Bag a -> Bag a -> Bag a

unionManyBags :: [Bag a] -> Bag a

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

elemBag :: Eq a => a -> Bag a -> Bool

filterBag :: (a -> Bool) -> Bag a -> Bag a

partitionBag :: (a -> Bool) -> Bag a -> (Bag a, Bag a)

concatBag :: Bag (Bag a) -> Bag a

foldBag :: (r -> r -> r) -> (a -> r) -> r -> Bag a -> r

isEmptyBag :: Bag a -> Bool

consBag :: a -> Bag a -> Bag a

snocBag :: Bag a -> a -> Bag a

listToBag :: [a] -> Bag a

bagToList :: Bag a -> [a]