Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. mapClosure :: (MonadTCEnv m, ReadTCState m) => (a -> m b) -> Closure a -> m (Closure b)

   Agda	Agda.TypeChecking.Monad.Closure

   No documentation available.

2. mapAwakeConstraints :: (Constraints -> Constraints) -> TCState -> TCState

   Agda	Agda.TypeChecking.Monad.Constraints

   No documentation available.

3. mapSleepingConstraints :: (Constraints -> Constraints) -> TCState -> TCState

   Agda	Agda.TypeChecking.Monad.Constraints

   No documentation available.

4. mapAbstraction :: (Subst a, Subst b, MonadAddContext m) => Dom Type -> (a -> m b) -> Abs a -> m (Abs b)

   Agda	Agda.TypeChecking.Monad.Context

   Map a monadic function on the thing under the abstraction, adding the abstracted variable to the context.

5. mapAbstraction_ :: (Subst a, Subst b, MonadAddContext m) => (a -> m b) -> Abs a -> m (Abs b)

   Agda	Agda.TypeChecking.Monad.Context

   No documentation available.

6. mapLHSCores :: (LHSCore -> LHSCore) -> RHS -> RHS

   Agda	Agda.TypeChecking.Rules.Def

   Modify all the LHSCore of the given RHS. (Used to insert patterns for rewrite or the inspect idiom)

7. mapKeysMonotonic :: (k -> k') -> AssocList k v -> AssocList k' v

   Agda	Agda.Utils.AssocList

   O(n). Named in analogy to mapKeysMonotonic. To preserve the invariant, it is sufficient that the key transformation is injective (rather than monotonic).

8. mapWithKey :: (k -> v -> v) -> AssocList k v -> AssocList k v

   Agda	Agda.Utils.AssocList

   O(n). Map over an association list, preserving the order.

9. mapWithKeyM :: Applicative m => (k -> v -> m v) -> AssocList k v -> m (AssocList k v)

   Agda	Agda.Utils.AssocList

   O(n). If called with a effect-producing function, violation of the invariant could matter here (duplicating effects).

10. mapBenchmarkOn :: (BenchmarkOn a -> BenchmarkOn a) -> Benchmark a -> Benchmark a

    Agda	Agda.Utils.Benchmark

    Semantic editor combinator.

Page 273 of many | Previous | Next