| HasVars | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| 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 |
| 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 |
| HFunctor | Data.Comp.Multi.Functor, Data.Comp.Multi, Data.Comp.Derive |
| histo | Data.Comp.Algebra, Data.Comp |
| histoM | Data.Comp.Algebra, Data.Comp |
| hmapM | Data.Comp.Multi.Traversable |
| Hole | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 3 (Type/Class) | Data.Comp.Term, Data.Comp |
| 4 (Data Constructor) | Data.Comp.Term, Data.Comp |
| HShowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF' | Data.Comp.Derive, Data.Comp.Multi.Show |
| htoList | Data.Comp.Multi.Foldable |
| HTraversable | Data.Comp.Multi.Traversable, Data.Comp.Derive |
| htraverse | Data.Comp.Multi.Traversable |