




Documentation 

data Bag a 
Instances  


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 

foldrBag :: (a > r > r) > r > Bag a > r 

foldlBag :: (r > a > r) > r > Bag a > r 

isEmptyBag :: Bag a > Bool 

isSingletonBag :: Bag a > Bool 

consBag :: a > Bag a > Bag a 

snocBag :: Bag a > a > Bag a 

anyBag :: (a > Bool) > Bag a > Bool 

listToBag :: [a] > Bag a 

bagToList :: Bag a > [a] 

mapBagM :: Monad m => (a > m b) > Bag a > m (Bag b) 

mapAndUnzipBagM :: Monad m => (a > m (b, c)) > Bag a > m (Bag b, Bag c) 

Produced by Haddock version 2.4.2 