| HAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hana | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hanaM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hapo | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hapoM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HasVars | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| hcata | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcata' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcataE | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcataM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcataM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HConst | Data.Comp.Multi.Term, Data.Comp.Multi |
| HContext | Data.Comp.Multi.Term, Data.Comp.Multi |
| HCVCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCVCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| HCxtFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCxtFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCxtSubst | Data.Comp.Multi.Variables |
| HDistProd | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HeadSymbolMismatch | Data.Comp.Unification |
| headSymbolMismatch | Data.Comp.Unification |
| HEqF | Data.Comp.Derive, Data.Comp.Multi.Equality |
| heqF | Data.Comp.Derive, Data.Comp.Multi.Equality |
| heqMod | Data.Comp.Multi.Equality |
| HExpFunctor | Data.Comp.Multi.ExpFunctor, Data.Comp.Derive |
| hfmap | Data.Comp.Multi.Functor, Data.Comp.Multi |
| hfold | Data.Comp.Multi.Foldable |
| HFoldable | Data.Comp.Multi.Foldable, Data.Comp.Derive |
| hfoldl | Data.Comp.Multi.Foldable |
| hfoldl1 | Data.Comp.Multi.Foldable |
| hfoldMap | Data.Comp.Multi.Foldable |
| hfoldr | Data.Comp.Multi.Foldable |
| hfoldr1 | Data.Comp.Multi.Foldable |
| hfree | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hfreeM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hfst | Data.Comp.Multi.Ops |
| HFunctor | Data.Comp.Multi.Functor, Data.Comp.Multi, Data.Comp.Derive |
| hfutu | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hfutuM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HHole | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| hinj | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHConst | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHConst2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHConst3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHCxt | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HInl | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| HInr | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| histo | Data.Comp.Algebra, Data.Comp |
| histoM | Data.Comp.Algebra, Data.Comp |
| hmapM | Data.Comp.Multi.Traversable |
| HNoHole | Data.Comp.Multi.Term, Data.Comp.Multi |
| HNothing | Data.Comp.Multi.Term, Data.Comp.Multi |
| Hole | |
| 1 (Type/Class) | Data.Comp.Term, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Term, Data.Comp |
| hpara | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hparaM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hproj | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproject' | Data.Comp.Multi.Product, Data.Comp.Multi |
| hproject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hprojectHConst | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hprojectP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HRAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRemoveP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| hremoveP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HShowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF' | Data.Comp.Derive, Data.Comp.Multi.Show |
| HSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hsigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hsnd | Data.Comp.Multi.Ops |
| HTerm | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| HTermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HTermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htoList | Data.Comp.Multi.Foldable |
| HTraversable | Data.Comp.Multi.Traversable, Data.Comp.Derive |
| htraverse | Data.Comp.Multi.Traversable |
| hxmap | Data.Comp.Multi.ExpFunctor |