ShowF | Data.Comp.Derive, Data.Comp.Show |
showF | Data.Comp.Derive, Data.Comp.Show |
shrink | Data.Comp.Derive |
shrinkF | Data.Comp.Derive, Data.Comp.Arbitrary |
SigFun | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
SigFunM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
sigFunM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
SigFunM' | Data.Comp.Algebra, Data.Comp |
simpCxt | |
1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Function) | Data.Comp.Term, Data.Comp |
size | Data.Comp.Generic, Data.Comp |
smartConstructors | Data.Comp.Derive |
smartHConstructors | Data.Comp.Derive |
snd | Data.Comp.Multi.Ops |
Step | Data.Comp.TermRewriting |
stripP | |
1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
2 (Function) | Data.Comp.Product, Data.Comp |
structure | Data.Comp.Decompose |
Subst | |
1 (Type/Class) | Data.Comp.Multi.Variables |
2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
substHoles | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
substHoles' | Data.Comp.Sum, Data.Comp |
substVars | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
subterms | Data.Comp.Generic, Data.Comp |
subterms' | Data.Comp.Generic, Data.Comp |