compdata-0.5: Compositional Data Types

Index - R

RAlg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
RAlgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
RCoalg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
RCoalgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
reduceData.Comp.TermRewriting
RemA 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Type/Class)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Type/Class)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
remA 
1 (Function)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Function)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Function)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
rnfData.Comp.Derive
rnfFData.Comp.Derive, Data.Comp.DeepSeq
rnfF'Data.Comp.DeepSeq
RPSData.Comp.TermRewriting
RuleData.Comp.TermRewriting
runDownHomData.Comp.Automata
runDownTransData.Comp.Automata
runDStateData.Comp.Automata
runDUpStateData.Comp.Automata
runQHomData.Comp.Automata
runUnifyData.Comp.Unification
runUnifyMData.Comp.Unification
runUpHomData.Comp.Automata
runUpHomStData.Comp.Automata
runUpStateData.Comp.Automata
runUpTransData.Comp.Automata