
Generics.Regular.Rewriting.Rules  Portability  nonportable  Stability  experimental  Maintainer  generics@haskell.org 





Description 
Summary: Functions for transforming a rule specification to a rule.


Synopsis 




Rule specification.



Specifies a rule as a value of a datatype.
 Constructors   Instances  



Returns the lefthand side of a rule.



Returns the righthand side of a rule.


Representation of a rule.



Allows metavariables on either side of a rule.



Extends the pattern functor of a value.





Constructs a metavariable.


pf :: f (Scheme f) > Scheme f  Source 

Constructs a pattern functor value.



Recursively converts a value to a SchemeOf value.



A view on schemes to easily distinguish metavariables from
pattern functor values.
 Constructors  



Returns the value corresponding to the SchemeView.



Folds a Scheme value given a function to apply to metavariables and a
function to apply to a pattern functor value.


Builder for transforming a rule specification to a rule.



The type class Builder captures the functions, that are defined by
induction on the type argument, that construct appropriate left and
right values. These values are used to transform a rule specification
to a rule.
  Associated Types    Methods    Instances  



Transforms a rule specification to a rule and returns Nothing if
an unbound metavariable occurs in the righthand side of the rule.



Transforms a rule specification to a rule and throws a runtime error if
an unbound metavariable occurs in the righthand side of the rule.


Produced by Haddock version 2.4.2 