Contents
Index
guarded-rewriting-0.1: Datatype-generic rewriting with preconditions
Index
+->
Generics.Instant.Rewriting
//
Generics.Instant.Rewriting
diff'
Generics.Instant.Rewriting
Diffable
Generics.Instant.Rewriting
Empty
Generics.Instant.Rewriting
empty
Generics.Instant.Rewriting
empty'
Generics.Instant.Rewriting
Ext
Generics.Instant.Rewriting
Extensible
Generics.Instant.Rewriting
False
Generics.Instant.Rewriting
Finite
Generics.Instant.Rewriting
HasRec
Generics.Instant.Rewriting
hasRec'
Generics.Instant.Rewriting
left'
Generics.Instant.Rewriting
match'
Generics.Instant.Rewriting
Matchable
Generics.Instant.Rewriting
Nillable
Generics.Instant.Rewriting
record
Generics.Instant.Rewriting
Rewritable
Generics.Instant.Rewriting
rewrite
Generics.Instant.Rewriting
rewriteM
Generics.Instant.Rewriting
right'
Generics.Instant.Rewriting
Rule
Generics.Instant.Rewriting
Sampleable
Generics.Instant.Rewriting
subst'
Generics.Instant.Rewriting
Substitutable
Generics.Instant.Rewriting
synthesise
Generics.Instant.Rewriting
Template
1 (Type/Class)
Generics.Instant.Rewriting
2 (Data Constructor)
Generics.Instant.Rewriting
toExt
Generics.Instant.Rewriting
True
Generics.Instant.Rewriting
Typeable
Generics.Instant.Rewriting
Validatable
Generics.Instant.Rewriting
validate
Generics.Instant.Rewriting