Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
dependent-map Data.Dependent.Map O(n). Map keys/values and separate the Left and Right results.
-
dependent-map Data.Dependent.Map O(n*log n). mapKeysWith c f s is the map obtained by applying f to each key of s. The size of the result may be smaller if f maps two or more distinct keys to the same new key. In this case the associated values will be combined using c.
-
dependent-map Data.Dependent.Map O(n). Map keys/values and collect the Just results.
mapWithKey :: (forall (v :: k1) . () => k2 v -> f v -> g v) -> DMap k2 f -> DMap k2 gdependent-map Data.Dependent.Map O(n). Map a function over all values in the map.
mapNTree' :: (a -> Maybe a) -> NTree a -> NTree ahxt Data.Tree.NTree.Edit A space optimized map for NTrees Subtrees, that are not changed are reused in the resulting tree See also: editNTreeBottomUp
mapCons :: (Listable a, Listable b) => ([(a, b)] -> c) -> [[c]]leancheck Test.LeanCheck Given a constructor that takes a map of elements (encoded as a list), lists tiers of applications of this constructor So long as the underlying Listable enumerations have no repetitions, this will generate no repetitions. This allows defining an efficient implementation of tiers that does not repeat maps given by:
tiers = mapCons fromList
mapT :: (a -> b) -> [[a]] -> [[b]]leancheck Test.LeanCheck map over tiers
mapT f [[x], [y,z], [w,...], ...] = [[f x], [f y, f z], [f w, ...], ...]
mapT f [xs, ys, zs, ...] = [map f xs, map f ys, map f zs]
mapT :: (a -> b) -> [[a]] -> [[b]]leancheck Test.LeanCheck.Core map over tiers
mapT f [[x], [y,z], [w,...], ...] = [[f x], [f y, f z], [f w, ...], ...]
mapT f [xs, ys, zs, ...] = [map f xs, map f ys, map f zs]
mapCons :: (Listable a, Listable b) => ([(a, b)] -> c) -> [[c]]leancheck Test.LeanCheck.Error Given a constructor that takes a map of elements (encoded as a list), lists tiers of applications of this constructor So long as the underlying Listable enumerations have no repetitions, this will generate no repetitions. This allows defining an efficient implementation of tiers that does not repeat maps given by:
tiers = mapCons fromList
mapT :: (a -> b) -> [[a]] -> [[b]]leancheck Test.LeanCheck.Error map over tiers
mapT f [[x], [y,z], [w,...], ...] = [[f x], [f y, f z], [f w, ...], ...]
mapT f [xs, ys, zs, ...] = [map f xs, map f ys, map f zs]