CanApply | Type.Check.HM.Subst |
Case | Type.Check.HM.Term, Type.Check.HM |
CaseAlt | |
1 (Type/Class) | Type.Check.HM.Term, Type.Check.HM |
2 (Data Constructor) | Type.Check.HM.Term, Type.Check.HM |
caseAlt'args | Type.Check.HM.Term, Type.Check.HM |
caseAlt'loc | Type.Check.HM.Term, Type.Check.HM |
caseAlt'rhs | Type.Check.HM.Term, Type.Check.HM |
caseAlt'tag | Type.Check.HM.Term, Type.Check.HM |
caseE | Type.Check.HM.Term, Type.Check.HM |
closeSignature | Type.Check.HM.Infer, Type.Check.HM |
ConsArityMismatch | Type.Check.HM.TypeError, Type.Check.HM |
consArityMismatch'actual | Type.Check.HM.TypeError, Type.Check.HM |
consArityMismatch'expected | Type.Check.HM.TypeError, Type.Check.HM |
consArityMismatch'loc | Type.Check.HM.TypeError, Type.Check.HM |
consArityMismatch'tag | Type.Check.HM.TypeError, Type.Check.HM |
Constr | Type.Check.HM.Term, Type.Check.HM |
constrE | Type.Check.HM.Term, Type.Check.HM |
ConT | Type.Check.HM.Type, Type.Check.HM |
conT | Type.Check.HM.Type, Type.Check.HM |
Context | |
1 (Type/Class) | Type.Check.HM.Infer, Type.Check.HM |
2 (Data Constructor) | Type.Check.HM.Infer, Type.Check.HM |
context'binds | Type.Check.HM.Infer, Type.Check.HM |
context'constructors | Type.Check.HM.Infer, Type.Check.HM |
ContextOf | Type.Check.HM.Infer, Type.Check.HM |