|
Generics.Regular.Rewriting.Machinery | Portability | non-portable | Stability | experimental | Maintainer | generics@haskell.org |
|
|
|
|
|
Description |
Summary: Core machinery for rewriting terms.
|
|
Synopsis |
|
|
|
|
Type class synonym summarizing generic functions
|
|
|
The Rewrite is a type class synonym, hiding some of the implementation
details.
To be able to use the rewriting functions, the user is required to provide
an instance of this type class.
|
|
|
Applying a rule specification to a term.
|
|
|
Applies a rule specification to a term, obtaining a monadic value.
|
|
|
Applies a rule specification to a term, obtaining the original term
when rewriting fails.
|
|
Rewriting a term.
|
|
|
Rewrites a term, obtaining a monadic value.
|
|
|
Rewrites a term, obtaining the original term when rewriting fails.
|
|
Produced by Haddock version 2.4.2 |