Index - W
| wahExpr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wahTopName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wakeConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wakeConstraints' | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wakeConstraintsTCM | Mikan.TypeChecking.Constraints |
| wakeIfBlockedOnDef | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| wakeIfBlockedOnMeta | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| wakeIfBlockedOnProblem | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| WakeUp | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| wakeupConstraints | Mikan.TypeChecking.Constraints |
| wakeupConstraints_ | Mikan.TypeChecking.Constraints |
| wakeupListener | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wakeUpWhen | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| wakeUpWhen_ | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| walkSatisfying | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| wantsParallelChecking | Mikan.Interaction.Imports |
| warn2Error | Mikan.Interaction.Options.Warnings |
| warnEmptyPolarityPragma | Mikan.Syntax.Concrete.Fixity |
| Warning | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| warning | Mikan.TypeChecking.Warnings |
| warning' | Mikan.TypeChecking.Warnings |
| warning'_ | Mikan.TypeChecking.Warnings |
| warningArg | Mikan.Interaction.Options.Arguments |
| warningHighlighting | Mikan.Interaction.Highlighting.Generate |
| WarningMode | |
| 1 (Type/Class) | Mikan.Interaction.Options.Warnings, Mikan.Interaction.Options |
| 2 (Data Constructor) | Mikan.Interaction.Options.Warnings, Mikan.Interaction.Options |
| WarningModeError | Mikan.Interaction.Options.Warnings |
| warningModeUpdate | Mikan.Interaction.Options.Warnings |
| WarningName | Mikan.Interaction.Options.Warnings |
| warningName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| warningNameToString | Mikan.Interaction.Options.Warnings |
| WarningOnImport | Mikan.Syntax.Concrete |
| WarningOnUsage | Mikan.Syntax.Concrete |
| WarningProblem | Mikan.Interaction.Options |
| WarningProblem_ | Mikan.Interaction.Options.Warnings |
| warnings | |
| 1 (Function) | Mikan.Interaction.Library.Base |
| 2 (Function) | Mikan.TypeChecking.Warnings |
| warnings' | |
| 1 (Function) | Mikan.Interaction.Library.Base |
| 2 (Function) | Mikan.TypeChecking.Warnings |
| warningsAddedBy | Mikan.TypeChecking.Warnings |
| WarningsAndNonFatalErrors | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Warnings, Mikan.Interaction.Response, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| warningSet | Mikan.Interaction.Options.Warnings |
| warningSets | Mikan.Interaction.Options.Warnings |
| warningValues | Mikan.Interaction.Options.Arguments |
| warning_ | Mikan.TypeChecking.Warnings |
| warnOnRecordFieldWarnings | Mikan.TypeChecking.Records |
| warnPolarityPragmasButNotPostulates | Mikan.Syntax.Concrete.Fixity |
| warnRange | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| warnUnknownFixityInMixfixDecl | Mikan.Syntax.Concrete.Fixity |
| warnUnknownNamesInFixityDecl | Mikan.Syntax.Concrete.Fixity |
| warnUnknownNamesInPolarityPragmas | Mikan.Syntax.Concrete.Fixity |
| warnUnusedImports | Mikan.Syntax.Scope.UnusedImports |
| weaken | Mikan.Utils.VarSet |
| weakenLookupS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| WeaklyRigid | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| wfAfterTel | Mikan.TypeChecking.Rules.Def |
| wfBeforeTel | Mikan.TypeChecking.Rules.Def |
| wfCallSubst | Mikan.TypeChecking.Rules.Def |
| wfClauses | Mikan.TypeChecking.Rules.Def |
| wfDelta1 | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wfExprs | Mikan.TypeChecking.Rules.Def |
| wfLetBindings | Mikan.TypeChecking.Rules.Def |
| wfName | Mikan.TypeChecking.Rules.Def |
| wfParent | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| wfParentName | Mikan.TypeChecking.Rules.Def |
| wfParentParams | Mikan.TypeChecking.Rules.Def |
| wfParentPats | Mikan.TypeChecking.Rules.Def |
| wfParentTel | Mikan.TypeChecking.Rules.Def |
| wfParentType | Mikan.TypeChecking.Rules.Def |
| wfPermFinal | Mikan.TypeChecking.Rules.Def |
| wfPermParent | Mikan.TypeChecking.Rules.Def |
| wfPermSplit | Mikan.TypeChecking.Rules.Def |
| wfRHSType | Mikan.TypeChecking.Rules.Def |
| wfWithArgs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| when | Mikan.Utils.Monad |
| whenAbstractFreezeMetasAfter | Mikan.TypeChecking.Rules.Decl |
| whenConstraints | Mikan.TypeChecking.Constraints |
| whenExactVerbosity | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| whenJust | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| whenJustM | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| whenM | Mikan.Utils.Monad |
| whenNothing | Mikan.Utils.Maybe |
| whenNothingM | Mikan.Utils.Maybe |
| whenNull | Mikan.Utils.Null |
| whenNullM | Mikan.Utils.Null |
| whenProfile | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Where | Mikan.TypeChecking.Positivity.Warnings |
| WhereClause | Mikan.Syntax.Concrete |
| WhereClause' | Mikan.Syntax.Concrete |
| WhereClausesNotAllowed | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WhereClause_ | Mikan.Syntax.Concrete |
| whereClause_ | Mikan.Syntax.Concrete |
| whereDecl | Mikan.Syntax.Abstract |
| WhereDeclarations | Mikan.Syntax.Abstract |
| WhereDeclarationsSpine | Mikan.Syntax.Abstract |
| whereDeclarationsSpine | Mikan.Syntax.Abstract |
| WhereDecls | Mikan.Syntax.Abstract |
| WhereDeclsS | Mikan.Syntax.Abstract |
| whereLocal | Mikan.Syntax.Abstract |
| whereModule | Mikan.Syntax.Abstract |
| whHiding | Mikan.Syntax.Common |
| WhichWarnings | Mikan.TypeChecking.Warnings |
| whileLeft | Mikan.Utils.Either |
| whThing | Mikan.Syntax.Common |
| WhyInScope | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| whyInScope | |
| 1 (Function) | Mikan.Interaction.BasicOps |
| 2 (Function) | Mikan.Interaction.InteractionTop |
| WhyInScopeData | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| whyInScopeDataFromAbstractName | Mikan.Syntax.Scope.Base |
| whyInScopeDataFromAmbiguousNameReason | Mikan.Syntax.Scope.Base |
| whyInScopeDataFromAmbiguousQName | Mikan.Syntax.Scope.Base |
| WhyInvalidInstanceType | Mikan.TypeChecking.InstanceArguments.Errors |
| WhyNotAHaskellType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WhyWrongProj | Mikan.TypeChecking.Coverage.Errors |
| WildcardInPatternSynonym | Mikan.Syntax.Scope.Errors |
| WildP | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| WildPart | Mikan.Syntax.Common |
| WildV | Mikan.Syntax.Concrete.Operators.Parser |
| With | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| withAnonymousModule | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithApp | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| withAppBrackets | Mikan.Syntax.Fixity |
| WithAppHead | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithArgCtx | Mikan.Syntax.Fixity |
| withArgsFrom | Mikan.Syntax.Common |
| withArguments | Mikan.TypeChecking.With |
| WithArity | |
| 1 (Type/Class) | Mikan.TypeChecking.CompiledClause |
| 2 (Data Constructor) | Mikan.TypeChecking.CompiledClause |
| withArray | Mikan.Interaction.JSON |
| withAtomic | Mikan.Utils.Atomic |
| withBatchedErrors | Mikan.TypeChecking.Errors.Deferred |
| withBool | Mikan.Interaction.JSON |
| WithBound | Mikan.Syntax.Scope.Base |
| withBranchAndGoal | Mikan.Mimer.Monad |
| withBranchState | Mikan.Mimer.Monad |
| withCallerCallStack | Mikan.Utils.CallStack |
| withCatchallPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| withCheckNoShadowing | Mikan.Syntax.Scope.Monad |
| withClausePattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithClausePatternMismatch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithClausePatternMismatch_ | Mikan.Interaction.Options.Errors |
| WithClauseProjectionFixityMismatch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithClauseProjectionFixityMismatch_ | Mikan.Interaction.Options.Warnings |
| withClauseProjectionOrigin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withClosure | Mikan.TypeChecking.Monad.Closure, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withComputeIgnoreAbstract | Mikan.Interaction.BasicOps |
| withConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withContextPrecedence | Mikan.Syntax.Scope.Monad |
| withCoverageCheckPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| withCurrentCallStack | Mikan.Utils.CallStack |
| withCurrentFile | Mikan.Interaction.InteractionTop |
| withCurrentModule | |
| 1 (Function) | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Function) | Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad |
| withCurrentModule' | Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad |
| WithDefault | Mikan.Utils.WithDefault |
| WithDefault' | Mikan.Utils.WithDefault |
| withDisplayForm | Mikan.TypeChecking.With |
| withEmbeddedJSON | Mikan.Interaction.JSON |
| withEnv | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withError | Mikan.Utils.Monad |
| WithExpr | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| WithExpr' | Mikan.Syntax.Abstract |
| withFencedErrors | Mikan.TypeChecking.Errors.Deferred |
| WithForce | Mikan.Interaction.Base |
| withFreshName | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withFreshName_ | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withFrozenMetas | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithFunction | Mikan.TypeChecking.Rules.Def |
| WithFunctionProblem | Mikan.TypeChecking.Rules.Def |
| withFunctionType | Mikan.TypeChecking.With |
| WithFunCtx | Mikan.Syntax.Fixity |
| WithFunInfo | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithFunSubst | Mikan.TypeChecking.Rules.LHS |
| withHardErrors | Mikan.TypeChecking.Errors.Deferred |
| WithHiding | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| withHiding | Mikan.Syntax.Concrete.Pretty |
| withHighlightingLevel | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withInteractionId | Mikan.Interaction.BasicOps |
| withInterval | Mikan.Syntax.Parser.LexActions |
| withInterval' | Mikan.Syntax.Parser.LexActions |
| withInterval_ | Mikan.Syntax.Parser.LexActions |
| withIso | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithKEnabled | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify |
| WithKind | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| withLayout | Mikan.Syntax.Parser.LexActions, Mikan.Syntax.Parser.Layout |
| withLens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withLocalVars | Mikan.Syntax.Scope.Monad |
| withLockFile | Mikan.Setup.LockFile |
| withMetaId | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withMetaInfo | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withMetaInfo' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withName | Mikan.Syntax.Translation.ReflectedToAbstract |
| withNamedArgsFrom | Mikan.Syntax.Common |
| withNames | Mikan.Syntax.Translation.ReflectedToAbstract |
| withNBackCallStack | Mikan.Utils.CallStack |
| WithNode | |
| 1 (Type/Class) | Mikan.TypeChecking.Pretty |
| 2 (Data Constructor) | Mikan.TypeChecking.Pretty |
| withNonEmpty | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.Set1 |
| withObject | Mikan.Interaction.JSON |
| WithOnFreeVariable | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithOnFreeVariable_ | Mikan.Interaction.Options.Errors |
| WithOrigin | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| withoutCache | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithoutForce | Mikan.Interaction.Base |
| withoutKeys | Mikan.Utils.Map1 |
| withoutModuleCheckpoints | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withoutPrintingGeneralization | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withoutPrivates | Mikan.Syntax.Scope.Base |
| WithP | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| withPositivityCheckPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| withPragmaOptions | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withRangeOf | Mikan.Syntax.Position |
| withRangesOf | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| withRangesOfQ | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| withReduced | Mikan.TypeChecking.Constraints |
| WithRHS | Mikan.Syntax.Abstract |
| WithRHSS | Mikan.Syntax.Abstract |
| withScientific | Mikan.Interaction.JSON |
| withScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withShowAllArguments | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withShowAllArguments' | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withSignature | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withSome | Mikan.Utils.IndexedList |
| withTCState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| withTerminationCheckPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| withText | Mikan.Interaction.JSON |
| withTopLevelModule | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WithUniqueInt | |
| 1 (Type/Class) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 2 (Data Constructor) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| withUniverseCheckPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| withVar | Mikan.Syntax.Translation.ReflectedToAbstract |
| withVars | Mikan.Syntax.Translation.ReflectedToAbstract |
| Wk | Mikan.Syntax.Internal.Term, Mikan.TypeChecking.Substitute |
| wkS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| woOrigin | Mikan.Syntax.Common |
| wordBounded | Mikan.Interaction.Highlighting.Vim |
| wordFoldlBits# | Mikan.Utils.Word |
| wordFoldlBitsOffset# | Mikan.Utils.Word |
| wordFoldlBitsOffsetStrict# | Mikan.Utils.Word |
| wordFoldlBitsStrict# | Mikan.Utils.Word |
| wordFoldrBits# | Mikan.Utils.Word |
| wordFoldrBitsOffset# | Mikan.Utils.Word |
| wordFoldrBitsOffsetStrict# | Mikan.Utils.Word |
| wordFoldrBitsStrict# | Mikan.Utils.Word |
| wordsBy | Mikan.Utils.List1 |
| workOnTypes | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| woThing | Mikan.Syntax.Common |
| write | |
| 1 (Function) | Mikan.Utils.MinimalArray.MutablePrim |
| 2 (Function) | Mikan.Utils.MinimalArray.MutableLifted |
| writeFile | Mikan.Utils.IO.UTF8 |
| writeIntVar# | Mikan.Utils.IntVar |
| writeIORef | Mikan.Utils.IORef.Strict |
| Writer | |
| 1 (Type/Class) | Mikan.Utils.StrictWriter |
| 2 (Data Constructor) | Mikan.Utils.StrictWriter |
| writer | Mikan.Utils.StrictWriter |
| WriterT | |
| 1 (Type/Class) | Mikan.Utils.StrictWriter |
| 2 (Data Constructor) | Mikan.Utils.StrictWriter |
| writeTextToFile | Mikan.Utils.IO.UTF8 |
| writeTime | Mikan.Mimer.Monad |
| writeToCurrentLog | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| writeToTempFile | Mikan.Utils.IO.TempFile |
| writeUnifyLog | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| WrongAnnotationInLambda_ | Mikan.Interaction.Options.Errors |
| WrongContentBlock | Mikan.Syntax.Concrete.Definitions.Errors |
| WrongDefinition | Mikan.Syntax.Concrete.Definitions.Errors |
| WrongHidingInApplication | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongHidingInApplication_ | Mikan.Interaction.Options.Errors |
| WrongHidingInLambda | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongHidingInLambda_ | Mikan.Interaction.Options.Errors |
| WrongHidingInLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongHidingInLHS_ | Mikan.Interaction.Options.Errors |
| WrongHidingInProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongHidingInProjection_ | Mikan.Interaction.Options.Errors |
| WrongInstanceDeclaration | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongInstanceDeclaration_ | Mikan.Interaction.Options.Warnings |
| WrongNamedArgument | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongNamedArgument_ | Mikan.Interaction.Options.Errors |
| WrongNumberOfConstructorArguments | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongNumberOfConstructorArguments_ | Mikan.Interaction.Options.Errors |
| WrongPragmaFor | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| WrongPragmaFor_ | Mikan.Interaction.Options.Errors |
| WrongProjectionName | Mikan.TypeChecking.Coverage.Errors |
| WSM | Mikan.Syntax.Scope.Monad |