RAlg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
RAlgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
RCoalg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
RCoalgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
reduce | Data.Comp.TermRewriting |
RemA | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
remA | |
1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
Render | Data.Comp.Render |
rnf | Data.Comp.Derive |
rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
RPS | Data.Comp.TermRewriting |
Rule | Data.Comp.TermRewriting |
runE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
runUnify | Data.Comp.Unification |
runUnifyM | Data.Comp.Unification |