HERMIT.Kure

KURE

Sub-Modules

Synonyms

type TransformH a b

type RewriteH a

type BiRewriteH a

type LensH a b

type PathH

Congruence combinators

Modguts

Program

Binding Groups

Recursive Definitions

Case Alternatives

Expressions

Composite Congruence Combinators

defOrNonRecAllR

defOrNonRecAnyR

defOrNonRecOneR

Recursive Composite Congruence Combinators

Types

Coercions

axiomInstCoAllR

axiomInstCoAnyR

axiomInstCoOneR

Conversion to deprecated Int representation

deprecatedIntToCrumbT

deprecatedIntToPathT