Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

Moduleghc-10.0.0.20260917GHC2024

GHC.Data.Bag

1 type
39 values

Packageghc-10.0.0.20260917
Exports40
LanguageGHC2024
LicenceBSD-3-Clause

datadata Bag a

Instances11Functor, Foldable, Traversable, IsList, Data, Semigroup, …

Functor BagDefined in ghc-10.0.0.20260917 · GHC.Data.Bag
Foldable BagDefined in ghc-10.0.0.20260917 · GHC.Data.Bag
Traversable BagDefined in ghc-10.0.0.20260917 · GHC.Data.Bag
IsList (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Data.Bag
Data a => Data (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Data.Bag
Semigroup (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Data.Bag
Monoid (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Data.Bag
NFData a => NFData (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Data.Bag
Outputable a => Outputable (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Data.Bag
ToHie a => ToHie (Bag a)Defined in ghc-10.0.0.20260917 · GHC.Iface.Ext.Ast
type Item (Bag a) = aDefined in ghc-10.0.0.20260917 · GHC.Data.Bag

valueemptyBag :: Bag a

valueunitBag :: a -> Bag a

valueunionBags :: Bag a -> Bag a -> Bag a

valueunionManyBags :: [Bag a] -> Bag a

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

valuepprBag :: Outputable a => Bag a -> SDoc

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

valuelengthBag :: Bag a -> Int

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

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

valuepartitionBagWith :: (a -> Either b c) -> Bag a -> (Bag b, Bag c)

valueconcatBag :: Bag (Bag a) -> Bag a

valuecatBagMaybes :: Bag (Maybe a) -> Bag a

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

valueisEmptyBag :: Bag a -> Bool

valueisSingletonBag :: Bag a -> Bool

valueconsBag :: a -> Bag a -> Bag a

valuesnocBag :: Bag a -> a -> Bag a

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

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

valuelistToBag :: [a] -> Bag a

valuenonEmptyToBag :: NonEmpty a -> Bag a

valuebagToList :: Bag a -> [a]

valueheadMaybe :: Bag a -> Maybe a

valuemapAccumBagL

:: (acc -> x -> (acc, y))
combining function
-> acc
initial state
-> Bag x
inputs
-> (acc, Bag y)
final state, outputs

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

valueconcatMapBagPair :: (a -> (Bag b, Bag c)) -> Bag a -> (Bag b, Bag c)

valuemapMaybeBag :: (a -> Maybe b) -> Bag a -> Bag b

valuemapMaybeBagM :: Monad m => (a -> m (Maybe b)) -> Bag a -> m (Bag b)

valueunzipBag :: Bag (a, b) -> (Bag a, Bag b)

valuemapBagM :: Monad m => (a -> m b) -> Bag a -> m (Bag b)

valuemapBagM_ :: Monad m => (a -> m b) -> Bag a -> m ()

valuelookupBag :: Eq a => a -> Bag (a, b) -> Maybe b

valueflatMapBagM :: Monad m => (a -> m (Bag b)) -> Bag a -> m (Bag b)

valueflatMapBagPairM

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

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

valuemapAccumBagLM

:: Monad m
=> (acc -> x -> m (acc, y))
combining function
-> acc
initial state
-> Bag x
inputs
-> m (acc, Bag y)
final state, outputs

valueanyBagM :: Monad m => (a -> m Bool) -> Bag a -> m Bool

valuefilterBagM :: Monad m => (a -> m Bool) -> Bag a -> m (Bag a)