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





Description 
Summary: Types for structural representation.


Synopsis 




Functorial structural representation types.



Structure type for constant values.
 Constructors   Instances  



Structure type for recursive values.
 Constructors   Instances  



Structure type for empty constructors.
 Constructors   Instances  



Structure type for alternatives in a type.
 Constructors   Instances  



Structure type for fields of a constructor.
 Constructors   Instances  



Structure type to store the name of a constructor.
 Constructors   Instances  


Fixedpoint type.



The wellknown fixedpoint type.
 Constructors  


Type class capturing the structural representation of a type and the


corresponding embeddingprojection pairs.



corresponding embeddingprojection pairs.
The type class Regular captures the structural representation of a
type and the corresponding embeddingprojection pairs.
To be able to use the rewriting functions, the user is required to provide
an instance of this type class.
  Associated Types    Methods  


Produced by Haddock version 2.4.2 