| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Weave.Unfold.Oblivious
Description
Oblivious unfolds.
The usual "_" suffix is omitted since it's obvious that they are oblivious.
Synopsis
- weave_BF :: (Foldable f, Applicative m) => (s -> m (f s)) -> s -> m (Weave m)
- unfold_BF :: (Foldable f, Monad m) => (s -> m (f s)) -> s -> m ()
- weave_BF_Binary :: Applicative m => (s -> m (Maybe (unit, s, s))) -> s -> m (Weave m)
- unfold_BF_Binary :: Monad m => (s -> m (Maybe (unit, s, s))) -> s -> m ()
- weave_BF_Tree :: Applicative m => (s -> m (unit, [s])) -> s -> m (Weave m)
- unfold_BF_Tree :: Monad m => (s -> m (unit, [s])) -> s -> m ()
Documentation
weave_BF :: (Foldable f, Applicative m) => (s -> m (f s)) -> s -> m (Weave m) Source #
Weave an f-tree.
weave_BF_Binary :: Applicative m => (s -> m (Maybe (unit, s, s))) -> s -> m (Weave m) Source #
Weave a binary tree.
unfold_BF_Binary :: Monad m => (s -> m (Maybe (unit, s, s))) -> s -> m () Source #
Unfold a binary tree.
weave_BF_Tree :: Applicative m => (s -> m (unit, [s])) -> s -> m (Weave m) Source #
Weave a rose tree.
unfold_BF_Tree :: Monad m => (s -> m (unit, [s])) -> s -> m () Source #
Weave a rose tree.