|
Generics.MultiRec.Fold | Portability | non-portable | Stability | experimental | Maintainer | generics@haskell.org |
|
|
|
|
|
Description |
The definition of generic fold, unfold, paramorphisms. In addition,
some combinators that facilitate the construction of algebras.
There are several variants of fold in other modules that are probably
easier to use:
|
|
Synopsis |
|
|
|
|
Generic fold and unfold
|
|
type Algebra' phi f r = forall ix. phi ix -> f r ix -> r ix | Source |
|
|
|
|
type AlgebraF' phi f g r = forall ix. phi ix -> f r ix -> g (r ix) | Source |
|
|
|
|
|
|
|
|
type CoAlgebra' phi f r = forall ix. phi ix -> r ix -> f r ix | Source |
|
|
|
|
type CoAlgebraF' phi f g r = forall ix. phi ix -> r ix -> g (f r ix) | Source |
|
|
|
|
|
|
|
|
type ParaAlgebra' phi f r = forall ix. phi ix -> f r ix -> ix -> r ix | Source |
|
|
|
|
type ParaAlgebraF' phi f g r = forall ix. phi ix -> f r ix -> ix -> g (r ix) | Source |
|
|
|
|
|
|
|
|
Creating an algebra
|
|
type AlgPart f r ix = f r ix -> r ix | Source |
|
|
type :-> f g r ix = f r ix -> g r ix | Source |
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |