| hAnn | Hyper.Combinator.Ann, Hyper |
| HApplicative | Hyper.Class.Apply, Hyper |
| HApply | Hyper.Class.Apply, Hyper |
| HasHPlain | Hyper.Class.HasPlain, Hyper |
| HasInferredType | Hyper.Class.Infer.InferOf, Hyper.Infer |
| HasInferredValue | Hyper.Class.Infer.InferOf, Hyper.Infer |
| HasNominalInst | Hyper.Syntax.Nominal |
| HasQuantifiedVar | Hyper.Unify.QuantifiedVar |
| HasScheme | Hyper.Syntax.Scheme |
| hasSchemeRecursive | Hyper.Syntax.Scheme |
| HasScope | Hyper.Syntax.Var, Hyper.Syntax |
| HasTypeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| hbind | Hyper.Class.Monad |
| HCompose | |
| 1 (Type/Class) | Hyper.Combinator.Compose, Hyper |
| 2 (Data Constructor) | Hyper.Combinator.Compose, Hyper |
| HComposeConstraint1 | Hyper.Combinator.Compose |
| hcomposed | Hyper.Combinator.Compose, Hyper |
| HContext | Hyper.Class.Context |
| hcontext | Hyper.Class.Context |
| HFlip | Hyper.Combinator.Flip, Hyper |
| hflipped | Hyper.Combinator.Flip, Hyper |
| HFoldable | Hyper.Class.Foldable, Hyper |
| hfolded1 | Hyper.Class.Foldable, Hyper |
| hfoldMap | Hyper.Class.Foldable, Hyper |
| HFunc | |
| 1 (Type/Class) | Hyper.Combinator.Func, Hyper |
| 2 (Data Constructor) | Hyper.Combinator.Func, Hyper |
| HFunctor | Hyper.Class.Functor, Hyper |
| HIs2 | Hyper.Class.Morph |
| hiso | Hyper.Class.Functor |
| hjoin | Hyper.Class.Monad |
| hLiftConstraint | Hyper.Class.Nodes, Hyper |
| hmap | Hyper.Class.Functor, Hyper |
| hmapped1 | Hyper.Class.Functor, Hyper |
| HMonad | Hyper.Class.Monad |
| HMorph | Hyper.Class.Morph |
| HMorphWithConstraint | Hyper.Class.Morph |
| HNodeLens | Hyper.Class.Optic |
| hNodeLens | Hyper.Class.Optic |
| HNodes | Hyper.Class.Nodes, Hyper |
| HNodesConstraint | Hyper.Class.Nodes, Hyper, Hyper |
| HNodesHaveConstraint | Hyper.Class.Nodes |
| hNodesHaveConstraint | Hyper.Class.Nodes |
| HPlain | Hyper.Class.HasPlain, Hyper, Hyper |
| hPlain | Hyper.Class.HasPlain, Hyper |
| HPointed | Hyper.Class.Pointed, Hyper |
| hpure | Hyper.Class.Pointed, Hyper |
| HRecSelf | Hyper.Recurse |
| HRecSub | Hyper.Recurse |
| HRecWitness | Hyper.Recurse |
| hsequence | Hyper.Class.Traversable, Hyper |
| HSubset | Hyper.Class.Optic |
| hSubset | Hyper.Class.Optic |
| HSubset' | Hyper.Class.Optic |
| HTraversable | Hyper.Class.Traversable, Hyper |
| htraverse | Hyper.Class.Traversable, Hyper |
| htraverse1 | Hyper.Class.Traversable, Hyper |
| htraverse1_ | Hyper.Class.Foldable, Hyper |
| htraverseFlipped | Hyper.Combinator.Flip, Hyper |
| htraverse_ | Hyper.Class.Foldable, Hyper |
| hVal | Hyper.Combinator.Ann, Hyper |
| HWitness | |
| 1 (Type/Class) | Hyper.Class.Nodes, Hyper |
| 2 (Data Constructor) | Hyper.Class.Nodes, Hyper |
| HWitnessType | Hyper.Class.Nodes, Hyper, Hyper |
| HyperType | Hyper.Type, Hyper |
| hzip | Hyper.Class.Apply, Hyper |