| 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.Type.AST.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.Type.AST.Scheme |
| MonadNominals | Hyper.Type.AST.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.Type.AST.Map, Hyper.Type.AST.FuncType, Hyper.Type.AST.Row, Hyper.Type.AST.TypedLam, Hyper.Type.AST.Let, Hyper.Type.AST.Lam, Hyper.Type.AST.App |
| M_ANode | Hyper.Combinator.ANode, Hyper, Hyper.Type.AST.Map, Hyper.Type.AST.FuncType, Hyper.Type.AST.Row, Hyper.Type.AST.TypedLam, Hyper.Type.AST.Let, Hyper.Type.AST.Lam, Hyper.Type.AST.App |
| M_App_expr | Hyper.Type.AST.App |
| M_FuncType_typ | Hyper.Type.AST.FuncType, Hyper.Type.AST.Lam, Hyper.Type.AST.App |
| M_Lam_expr | Hyper.Type.AST.Lam |
| M_Let_expr | Hyper.Type.AST.Let |
| M_RowExtend_rest | Hyper.Type.AST.Row |
| M_RowExtend_val | Hyper.Type.AST.Row |
| M_TermMap_expr | Hyper.Type.AST.Map |
| M_TypedLam_expr | Hyper.Type.AST.TypedLam |
| M_TypedLam_typ | Hyper.Type.AST.TypedLam |