Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- (<$>) :: Functor (Map p q) g => (forall a. p a -> q a) -> g p p -> g q q
- foldMap :: (Foldable (Fold p m) g, Monoid m) => (forall a. p a -> m) -> g p p -> m
- traverse :: Traversable (Traversal p q m) g => (forall a. p a -> m (q a)) -> g p p -> m (g q q)
- newtype Map p q = Map (forall x. p x -> q x)
- newtype Fold p m = Fold (forall x. p x -> m)
- newtype Traversal p q m = Traversal (forall x. p x -> m (q x))
Documentation
(<$>) :: Functor (Map p q) g => (forall a. p a -> q a) -> g p p -> g q q Source #
Transform (naturally) the containing functor of every node in the given tree.
foldMap :: (Foldable (Fold p m) g, Monoid m) => (forall a. p a -> m) -> g p p -> m Source #
Fold the containing functor of every node in the given tree.
traverse :: Traversable (Traversal p q m) g => (forall a. p a -> m (q a)) -> g p p -> m (g q q) Source #
Traverse the containing functors of all nodes in the given tree.
Map (forall x. p x -> q x) |
Fold (forall x. p x -> m) |