|
Generics.MultiRec.FoldK | Portability | non-portable | Stability | experimental | Maintainer | generics@haskell.org |
|
|
|
|
|
Description |
Variant of Generics.MultiRec.Fold where the result type is independent of
the index.
|
|
Synopsis |
|
|
|
|
Generic fold and unfold
|
|
type Algebra' phi f r = forall ix. phi ix -> f (K0 r) ix -> r | Source |
|
|
|
|
type AlgebraF' phi f g r = forall ix. phi ix -> f (K0 r) ix -> g r | Source |
|
|
|
|
|
|
|
|
type CoAlgebra' phi f r = forall ix. phi ix -> r -> f (K0 r) ix | Source |
|
|
|
|
type CoAlgebraF' phi f g r = forall ix. phi ix -> r -> g (f (K0 r) ix) | Source |
|
|
|
|
|
|
|
|
type ParaAlgebra' phi f r = forall ix. phi ix -> f (K0 r) ix -> ix -> r | Source |
|
|
|
|
type ParaAlgebraF' phi f g r = forall ix. phi ix -> f (K0 r) ix -> ix -> g r | Source |
|
|
|
|
|
|
|
|
Creating an algebra
|
|
type AlgPart f b ix = f (K0 b) ix -> b | Source |
|
|
type :-> f g b ix = f b ix -> g b ix | Source |
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |