| ShowD | Data.Comp.Param.Derive, Data.Comp.Param.Show |
| showD | Data.Comp.Param.Derive, Data.Comp.Param.Show |
| ShowF | Data.Comp.Derive, Data.Comp.Show |
| showF | Data.Comp.Derive, Data.Comp.Show |
| ShowHD | Data.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show |
| showHD | Data.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show |
| shrink | Data.Comp.Derive |
| shrinkF | Data.Comp.Derive, Data.Comp.Arbitrary |
| SigFun | |
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam |
| 3 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 4 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| SigFunM | |
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam |
| 3 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 4 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| sigFunM | |
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Function) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam |
| 3 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 4 (Function) | Data.Comp.Algebra, Data.Comp |
| SigFunMD | |
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| simpCxt | |
| 1 (Function) | Data.Comp.Param.Term, Data.Comp.Param |
| 2 (Function) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| 3 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 4 (Function) | Data.Comp.Term, Data.Comp |
| size | |
| 1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Generic, Data.Comp |
| smartAConstructors | |
| 1 (Function) | Data.Comp.Param.Derive |
| 2 (Function) | Data.Comp.Multi.Derive |
| 3 (Function) | Data.Comp.MultiParam.Derive |
| 4 (Function) | Data.Comp.Derive |
| smartConstructors | |
| 1 (Function) | Data.Comp.Param.Derive |
| 2 (Function) | Data.Comp.Multi.Derive |
| 3 (Function) | Data.Comp.MultiParam.Derive |
| 4 (Function) | Data.Comp.Derive |
| snd | Data.Comp.Multi.Ops |
| Step | Data.Comp.TermRewriting |
| stripA | |
| 1 (Function) | Data.Comp.Param.Annotation, Data.Comp.Param |
| 2 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 3 (Function) | Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam |
| 4 (Function) | Data.Comp.Annotation, Data.Comp |
| structure | Data.Comp.Decompose |
| subs | Data.Comp.Multi.Generic, Data.Comp.Multi |
| subs' | Data.Comp.Multi.Generic, Data.Comp.Multi |
| 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 | |
| 1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Generic, Data.Comp |
| subterms' | |
| 1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Generic, Data.Comp |