Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. mapMBound :: forall m (f :: Type -> Type) b c a . (Monad m, Traversable f) => (b -> m c) -> Scope b f a -> m (Scope c f a)

    bound Bound.Scope

    mapM over both bound and free variables

  2. mapMBound_ :: forall g (f :: Type -> Type) b d a . (Monad g, Foldable f) => (b -> g d) -> Scope b f a -> g ()

    bound Bound.Scope

    mapM_ over the variables bound by this scope

  3. mapMScope :: forall m (f :: Type -> Type) b d a c . (Monad m, Traversable f) => (b -> m d) -> (a -> m c) -> Scope b f a -> m (Scope d f c)

    bound Bound.Scope

    A traverseScope that can be used when you only have a Monad instance

  4. mapMScope_ :: forall m (f :: Type -> Type) b d a c . (Monad m, Foldable f) => (b -> m d) -> (a -> m c) -> Scope b f a -> m ()

    bound Bound.Scope

    A traverseScope_ that can be used when you only have a Monad instance

  5. mapScope :: forall (f :: Type -> Type) b d a c . Functor f => (b -> d) -> (a -> c) -> Scope b f a -> Scope d f c

    bound Bound.Scope

    Perform a change of variables, reassigning both bound and free variables.

  6. mapBound :: forall (f :: Type -> Type) b b' a . Functor f => (b -> b') -> Scope b f a -> Scope b' f a

    bound Bound.Scope.Simple

    Perform a change of variables on bound variables.

  7. mapMBound :: forall m (f :: Type -> Type) b c a . (Monad m, Traversable f) => (b -> m c) -> Scope b f a -> m (Scope c f a)

    bound Bound.Scope.Simple

    mapM over both bound and free variables

  8. mapMBound_ :: forall g (f :: Type -> Type) b d a . (Monad g, Foldable f) => (b -> g d) -> Scope b f a -> g ()

    bound Bound.Scope.Simple

    mapM_ over the variables bound by this scope

  9. mapMScope :: forall m (f :: Type -> Type) b d a c . (Monad m, Traversable f) => (b -> m d) -> (a -> m c) -> Scope b f a -> m (Scope d f c)

    bound Bound.Scope.Simple

    A traverseScope that can be used when you only have a Monad instance

  10. mapMScope_ :: forall m (f :: Type -> Type) b d a c . (Monad m, Foldable f) => (b -> m d) -> (a -> m c) -> Scope b f a -> m ()

    bound Bound.Scope.Simple

    A traverseScope_ that can be used when you only have a Monad instance

Page 228 of many | Previous | Next