| makeHApplicativeBases | Hyper.TH.Apply, Hyper |
| makeHApply | Hyper.TH.Apply |
| makeHApplyAndBases | Hyper.TH.Apply |
| makeHasHPlain | Hyper.TH.HasPlain, Hyper |
| makeHContext | Hyper.TH.Context, Hyper |
| makeHFoldable | Hyper.TH.Foldable |
| makeHFunctor | Hyper.TH.Functor |
| makeHMorph | Hyper.TH.Morph, Hyper |
| makeHNodes | Hyper.TH.Nodes |
| makeHPointed | Hyper.TH.Pointed |
| makeHTraversable | Hyper.TH.Traversable |
| makeHTraversableAndBases | Hyper.TH.Traversable, Hyper |
| makeHTraversableAndFoldable | Hyper.TH.Traversable |
| makeHTraversableApplyAndBases | Hyper.TH.Traversable, Hyper |
| makeQVarInstances | Hyper.Syntax.Scheme |
| makeZipMatch | Hyper.TH.ZipMatch, Hyper |
| Mismatch | |
| 1 (Data Constructor) | Hyper.Unify.Error, Hyper.Unify |
| 2 (Data Constructor) | Hyper.Infer.Blame |
| MkANode | Hyper.Combinator.ANode, Hyper |
| MkCommonBody | Hyper.Diff |
| MkContainedH | Hyper.Class.Traversable |
| MkHFlip | Hyper.Combinator.Flip, Hyper |
| MonadInstantiate | Hyper.Syntax.Scheme |
| MonadNominals | Hyper.Syntax.Nominal |
| MonadQuantify | Hyper.Unify.QuantifiedVar |
| MonadScopeLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| MorphConstraint | Hyper.Class.Morph |
| morphLiftConstraint | Hyper.Class.Morph |
| morphMap | Hyper.Class.Morph |
| morphMapped1 | Hyper.Class.Morph |
| morphTraverse | Hyper.Class.Morph |
| morphTraverse1 | Hyper.Class.Morph |
| MorphWitness | Hyper.Class.Morph, Hyper.Combinator.ANode, Hyper, Hyper.Syntax.Map, Hyper.Syntax.FuncType, Hyper.Syntax.Row, Hyper.Syntax.TypedLam, Hyper.Syntax.Let, Hyper.Syntax.Lam, Hyper.Syntax.App, Hyper.Syntax |
| M_ANode | Hyper.Combinator.ANode, Hyper, Hyper.Syntax.Map, Hyper.Syntax.FuncType, Hyper.Syntax.Row, Hyper.Syntax.TypedLam, Hyper.Syntax.Let, Hyper.Syntax.Lam, Hyper.Syntax.App, Hyper.Syntax |
| M_App_expr | Hyper.Syntax.App, Hyper.Syntax |
| M_FuncType_typ | Hyper.Syntax.FuncType, Hyper.Syntax.Lam, Hyper.Syntax.App, Hyper.Syntax |
| M_Lam_expr | Hyper.Syntax.Lam, Hyper.Syntax |
| M_Let_expr | Hyper.Syntax.Let, Hyper.Syntax |
| M_RowExtend_rest | Hyper.Syntax.Row |
| M_RowExtend_val | Hyper.Syntax.Row |
| M_TermMap_expr | Hyper.Syntax.Map |
| M_TypedLam_expr | Hyper.Syntax.TypedLam, Hyper.Syntax |
| M_TypedLam_typ | Hyper.Syntax.TypedLam, Hyper.Syntax |