guarded-rewriting-0.1: Datatype-generic rewriting with preconditions

Index

+->Generics.Instant.Rewriting
//Generics.Instant.Rewriting
diff'Generics.Instant.Rewriting
DiffableGenerics.Instant.Rewriting
EmptyGenerics.Instant.Rewriting
emptyGenerics.Instant.Rewriting
empty'Generics.Instant.Rewriting
ExtGenerics.Instant.Rewriting
ExtensibleGenerics.Instant.Rewriting
FalseGenerics.Instant.Rewriting
FiniteGenerics.Instant.Rewriting
HasRecGenerics.Instant.Rewriting
hasRec'Generics.Instant.Rewriting
left'Generics.Instant.Rewriting
match'Generics.Instant.Rewriting
MatchableGenerics.Instant.Rewriting
NillableGenerics.Instant.Rewriting
recordGenerics.Instant.Rewriting
RewritableGenerics.Instant.Rewriting
rewriteGenerics.Instant.Rewriting
rewriteMGenerics.Instant.Rewriting
right'Generics.Instant.Rewriting
RuleGenerics.Instant.Rewriting
SampleableGenerics.Instant.Rewriting
subst'Generics.Instant.Rewriting
SubstitutableGenerics.Instant.Rewriting
synthesiseGenerics.Instant.Rewriting
Template 
1 (Type/Class)Generics.Instant.Rewriting
2 (Data Constructor)Generics.Instant.Rewriting
toExtGenerics.Instant.Rewriting
TrueGenerics.Instant.Rewriting
TypeableGenerics.Instant.Rewriting
ValidatableGenerics.Instant.Rewriting
validateGenerics.Instant.Rewriting