GHC.Data.Bag · ghc-9.10.3 · horizon-platform

datadata Bag a

#

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

Functor BagDefined in ghc-9.10.3 · GHC.Data.Bag
Foldable BagDefined in ghc-9.10.3 · GHC.Data.Bag
Traversable BagDefined in ghc-9.10.3 · GHC.Data.Bag
IsList (Bag a)Defined in ghc-9.10.3 · GHC.Data.Bag
Data a => Data (Bag a)Defined in ghc-9.10.3 · GHC.Data.Bag
Semigroup (Bag a)Defined in ghc-9.10.3 · GHC.Data.Bag
Monoid (Bag a)Defined in ghc-9.10.3 · GHC.Data.Bag
NFData a => NFData (Bag a)Defined in ghc-9.10.3 · GHC.Data.Bag
Outputable a => Outputable (Bag a)Defined in ghc-9.10.3 · GHC.Data.Bag
ToHie a => ToHie (Bag a)Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast
type Item (Bag a) = aDefined in ghc-9.10.3 · 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 :: (r -> r -> r) -> (a -> r) -> r -> Bag a -> r

#

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)

#