Index - S
| S | |
| 1 (Type/Class) | Mikan.TypeChecking.Serialise.Base |
| 2 (Data Constructor) | Mikan.Mimer.Options |
| safeButNotBuiltin | Mikan.Syntax.Concrete.Definitions.Monad, Mikan.Syntax.Concrete.Definitions |
| safeFlag | Mikan.Interaction.Options |
| SafeFlagEta | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagEta_ | Mikan.Interaction.Options.Warnings |
| SafeFlagInjective | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagInjective_ | Mikan.Interaction.Options.Warnings |
| SafeFlagNoCoverageCheck | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagNoCoverageCheck_ | Mikan.Interaction.Options.Warnings |
| SafeFlagNonTerminating | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagNonTerminating_ | Mikan.Interaction.Options.Warnings |
| SafeFlagNoPositivityCheck | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagNoPositivityCheck_ | Mikan.Interaction.Options.Warnings |
| SafeFlagNoUniverseCheck | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagNoUniverseCheck_ | Mikan.Interaction.Options.Warnings |
| SafeFlagPolarity | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagPolarity_ | Mikan.Interaction.Options.Warnings |
| SafeFlagPostulate | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SafeFlagPostulate_ | Mikan.Interaction.Options.Warnings |
| SafeFlagPragma | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SafeFlagPragma_ | Mikan.Interaction.Options.Warnings |
| SafeFlagTerminating | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| SafeFlagTerminating_ | Mikan.Interaction.Options.Warnings |
| SafeMode | Mikan.Interaction.Options.Lenses |
| sameDef | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sameFile | Mikan.Utils.FileName |
| sameHiding | Mikan.Syntax.Common |
| sameKind | Mikan.Syntax.Concrete.Definitions.Types |
| sameName | Mikan.Syntax.Common |
| sameRoot | |
| 1 (Function) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| sameTrimming | Mikan.Syntax.Scope.Trimming |
| sameVars | Mikan.TypeChecking.Conversion |
| sanityCheckSubst | Mikan.Syntax.Internal.SanityCheck |
| sanityCheckVars | Mikan.Syntax.Internal.SanityCheck |
| sans | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sat | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| sat' | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| satNoPlaceholder | Mikan.Syntax.Concrete.Operators.Parser |
| saturateOpaqueBlocks | Mikan.TypeChecking.Opacity |
| sayWhere | Mikan.TypeChecking.Pretty.Call |
| sbCache | Mikan.Mimer.Types |
| sbComponentsUsed | Mikan.Mimer.Types |
| sbCost | Mikan.Mimer.Types |
| sbGoals | Mikan.Mimer.Types |
| SBool | Mikan.Utils.TypeLits |
| sbTCState | Mikan.Mimer.Types |
| scanl | Mikan.Utils.List1 |
| scanl1 | Mikan.Utils.List1 |
| scanl1Of | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| scanr | Mikan.Utils.List1 |
| scanr1 | Mikan.Utils.List1 |
| scanr1Of | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| scatterMP | Mikan.Utils.Monad |
| sccDAG | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| sccDAG' | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| scCheckpoints | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| sccs | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| sccs' | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| sChecked | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| SClause | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| Scope | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| ScopeCheck | Mikan.Interaction.Imports |
| ScopeCheckDeclaration | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ScopeCheckExpr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| scopeCheckFileImport | Mikan.Interaction.Imports |
| scopeCheckingSuffices | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| ScopeCheckLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ScopeCopyInfo | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| ScopeCopyRef | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| scopeCurrent | Mikan.Syntax.Scope.Base |
| scopeDatatypeModule | Mikan.Syntax.Scope.Base |
| ScopedDecl | Mikan.Syntax.Abstract |
| ScopedDeclS | Mikan.Syntax.Abstract |
| ScopedExpr | Mikan.Syntax.Abstract |
| scopedExpr | Mikan.TypeChecking.Rules.Term |
| scopeFixities | Mikan.Syntax.Scope.Base |
| scopeFixitiesAndPolarities | Mikan.Syntax.Scope.Base |
| scopeImports | Mikan.Syntax.Scope.Base |
| ScopeInfo | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| scopeInScope | Mikan.Syntax.Scope.Base |
| scopeInverseModule | Mikan.Syntax.Scope.Base |
| scopeInverseName | Mikan.Syntax.Scope.Base |
| scopeIsCopy | Mikan.Syntax.Scope.Base |
| scopeLocals | Mikan.Syntax.Scope.Base |
| scopeLookup | Mikan.Syntax.Scope.Base |
| scopeLookup' | Mikan.Syntax.Scope.Base |
| ScopeM | Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad |
| ScopeMemo | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Monad |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Monad |
| scopeModules | Mikan.Syntax.Scope.Base |
| scopeName | Mikan.Syntax.Scope.Base |
| scopeNameSpace | Mikan.Syntax.Scope.Base |
| ScopeNameSpaces | Mikan.Syntax.Scope.Base |
| scopeNameSpaces | Mikan.Syntax.Scope.Base |
| scopeParents | Mikan.Syntax.Scope.Base |
| scopePolarities | Mikan.Syntax.Scope.Base |
| scopePrecedence | Mikan.Syntax.Scope.Base |
| scopeRecords | Mikan.Syntax.Scope.Base |
| scopeVarsToBind | Mikan.Syntax.Scope.Base |
| scopeWarning | Mikan.Syntax.Scope.Monad |
| scopeWarning' | Mikan.Syntax.Scope.Monad |
| Scoping | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| scPats | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| scribe | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| scrLiveNames | Mikan.Syntax.Scope.Base |
| scrOriginal | Mikan.Syntax.Scope.Base |
| scSubst | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| scTarget | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| scTel | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| searchAbout | Mikan.Interaction.InteractionTop |
| searchBaseComponents | Mikan.Mimer.Types |
| SearchBranch | |
| 1 (Type/Class) | Mikan.Mimer.Types |
| 2 (Data Constructor) | Mikan.Mimer.Types |
| searchCosts | Mikan.Mimer.Types |
| searchFnName | Mikan.Mimer.Types |
| searchGenProjectionsExternal | Mikan.Mimer.Types |
| searchGenProjectionsLet | Mikan.Mimer.Types |
| searchGenProjectionsLocal | Mikan.Mimer.Types |
| searchGenProjectionsRec | Mikan.Mimer.Types |
| searchHintMode | Mikan.Mimer.Types |
| searchInteractionId | Mikan.Mimer.Types |
| SearchOptions | |
| 1 (Type/Class) | Mikan.Mimer.Types |
| 2 (Data Constructor) | Mikan.Mimer.Types |
| searchRewrite | Mikan.Mimer.Types |
| searchSpeculateProjections | Mikan.Mimer.Types |
| searchStats | Mikan.Mimer.Types |
| SearchStepResult | Mikan.Mimer.Types |
| searchTimeout | Mikan.Mimer.Types |
| searchTopCheckpoint | Mikan.Mimer.Types |
| searchTopEnv | Mikan.Mimer.Types |
| searchTopMeta | Mikan.Mimer.Types |
| second | Mikan.Utils.Tuple |
| seconding | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| secondM | Mikan.Utils.Tuple |
| secondPart | Mikan.TypeChecking.Telescope |
| secTelescope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Section | |
| 1 (Data Constructor) | Mikan.Syntax.Abstract |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 3 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SectionApp | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| SectionS | Mikan.Syntax.Abstract |
| Sections | |
| 1 (Data Constructor) | Mikan.Interaction.Options.ProfileOptions |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sectIsSection | Mikan.Syntax.Notation |
| sectKind | Mikan.Syntax.Notation |
| sectLevel | Mikan.Syntax.Notation |
| sectNotation | Mikan.Syntax.Notation |
| semi | Mikan.Syntax.Common.Pretty |
| SemiRing | Mikan.Utils.SemiRing |
| Semiring | |
| 1 (Type/Class) | Mikan.Termination.Semiring |
| 2 (Data Constructor) | Mikan.Termination.Semiring |
| sep | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| seqPO | Mikan.Utils.PartialOrd |
| sequenceAFoldable | Mikan.TypeChecking.Pretty |
| sequenceAOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sequenceBy | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sequenceByOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sequenceErrors | Mikan.TypeChecking.Errors.Deferred |
| sequenceErrors_ | Mikan.TypeChecking.Errors.Deferred |
| sequenceListT | Mikan.Utils.ListT |
| sequenceOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Sequential | Mikan.Interaction.Options |
| SerialisedRange | |
| 1 (Type/Class) | Mikan.TypeChecking.Serialise.Instances.Common |
| 2 (Data Constructor) | Mikan.TypeChecking.Serialise.Instances.Common |
| Serialization | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| Serialize | |
| 1 (Type/Class) | Mikan.Utils.Serialize |
| 2 (Data Constructor) | Mikan.Interaction.Options.ProfileOptions |
| serialize | Mikan.Utils.Serialize |
| serializePure | Mikan.Utils.Serialize |
| Series | Mikan.Interaction.JSON |
| SessionState | |
| 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 |
| Set | Mikan.Utils.Set |
| set | |
| 1 (Function) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Function) | Mikan.Utils.MinimalArray.MutablePrim |
| set' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Set1 | Mikan.Utils.Set1 |
| setAbsoluteIncludePaths | Mikan.Interaction.Options.Lenses |
| setAllModuleCheckpoints | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setArgInfo | Mikan.Syntax.Common |
| setArgOccurrences | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setBenchmarking | Mikan.Utils.Benchmark |
| SetBindingSite | Mikan.Syntax.Scope.Base |
| setBindingSite | Mikan.Syntax.Scope.Base |
| setBlockingVarOverlap | Mikan.TypeChecking.Coverage.Match |
| setBuiltinThings | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setCommandLineOptions | |
| 1 (Function) | Mikan.Interaction.Options.Lenses |
| 2 (Function) | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setCommandLineOptions' | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setCommandLineOpts | Mikan.Interaction.InteractionTop |
| setCompiledClauses | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setConName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| setContext | Mikan.Syntax.Parser.Monad |
| setContextPrecedence | Mikan.Syntax.Scope.Monad |
| setCurrentModule | Mikan.Syntax.Scope.State, Mikan.Syntax.Scope.Monad |
| setCurrentRange | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setDecodedModules | Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setDefault | Mikan.Utils.WithDefault |
| setEtaEquality | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setFlag | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setFreeInIgnoring | Mikan.TypeChecking.Free |
| setFreeVariables | Mikan.Syntax.Common |
| setFreeVariablesArgInfo | Mikan.Syntax.Common |
| setFunctionFlag | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setHiding | Mikan.Syntax.Common |
| setHidingArgInfo | Mikan.Syntax.Common |
| setImportedName | Mikan.Syntax.Common |
| setIncludeDirs | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setInput | Mikan.Syntax.Parser.LookAhead |
| setInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| setInteractionOutputCallback | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setInteractionRange | Mikan.Interaction.BasicOps |
| setInterface | Mikan.Compiler.Common |
| setLastPos | Mikan.Syntax.Parser.Monad |
| setLexInput | Mikan.Syntax.Parser.Alex |
| setLibraryIncludes | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setLibraryPaths | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setLocalVars | Mikan.Syntax.Scope.Monad |
| setMetaGeneralizableArgInfo | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setMetaNameSuggestion | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setMetaOccursCheck | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setModuleCheckpoint | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setMutual | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setMutualBlock | Mikan.TypeChecking.Monad.Mutual, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setNamedArg | Mikan.Syntax.Common |
| setNameOf | Mikan.Syntax.Common |
| setNameSpace | Mikan.Syntax.Scope.Base |
| setNameSuffix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| setNotInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| setOptionsFromPragma | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setOptionsFromPragma' | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setOptionsFromSourcePragmas | Mikan.Interaction.Imports |
| setOrigin | Mikan.Syntax.Common |
| setOriginArgInfo | Mikan.Syntax.Common |
| setParsePos | Mikan.Syntax.Parser.Monad |
| setPatternSyns | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setPersistentVerbosity | Mikan.Interaction.Options.Lenses |
| setPolarity | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setPragmaOptions | |
| 1 (Function) | Mikan.Interaction.Options |
| 2 (Function) | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setPrevToken | Mikan.Syntax.Parser.Monad |
| SetRange | |
| 1 (Type/Class) | Mikan.Syntax.Position |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setRange | Mikan.Syntax.Position |
| setRecordConstructor | Mikan.Syntax.Scope.Monad |
| sets | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setSafeMode | Mikan.Interaction.Options.Lenses |
| setScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setScopeAccess | Mikan.Syntax.Scope.Base |
| setScopeLocals | Mikan.Syntax.Scope.Base |
| setSession | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setSignature | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setSplitTree | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Settable | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setTacticAttr | Mikan.Syntax.Parser.Helpers |
| setTCLens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Setter | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Setter' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setTerminates | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Setting | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setting | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Setting' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setTopLevelModule | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setup | Mikan.Setup |
| setupDotEmacs | Mikan.Setup.EmacsMode |
| setupFlag | Mikan.Setup.EmacsMode |
| setUsability | Mikan.Termination.Order |
| setUserEra | Mikan.Utils.Trace |
| setValueMetaName | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| setVarsToBind | Mikan.Syntax.Scope.Base |
| setVerbosity | Mikan.Interaction.Options.Lenses |
| setVisitedModules | Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| several | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| SeveralAgdaLibFiles | Mikan.Interaction.Library.Base |
| SFalse | Mikan.Utils.TypeLits |
| sgListT | Mikan.Utils.ListT |
| sgMListT | Mikan.Utils.ListT |
| ShadowedModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShadowedModule_ | Mikan.Interaction.Options.Errors |
| ShadowingInTelescope | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| ShadowingInTelescope_ | Mikan.Interaction.Options.Warnings |
| shadowLocal | Mikan.Syntax.Scope.Base |
| Sharing | Mikan.Interaction.Options.ProfileOptions |
| sharing | Mikan.Utils.Update |
| SHDef | Mikan.Syntax.Internal.Term |
| SHMetaV | Mikan.Syntax.Internal.Term |
| ShouldBeASort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShouldBeASort_ | Mikan.Interaction.Options.Errors |
| ShouldBeEmpty | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShouldBeEmpty_ | Mikan.Interaction.Options.Errors |
| ShouldBeEtaRecordPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShouldBeEtaRecordPattern_ | Mikan.Interaction.Options.Warnings |
| ShouldBePath | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| shouldBePath | Mikan.TypeChecking.Telescope |
| ShouldBePath_ | Mikan.Interaction.Options.Errors |
| ShouldBePi | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| shouldBePi | Mikan.TypeChecking.Telescope |
| shouldBePiOrPath | Mikan.TypeChecking.Telescope |
| ShouldBePi_ | Mikan.Interaction.Options.Errors |
| shouldBeProjectible | Mikan.TypeChecking.Records |
| ShouldBeRecordPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShouldBeRecordPattern_ | Mikan.Interaction.Options.Errors |
| ShouldBeRecordType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShouldBeRecordType_ | Mikan.Interaction.Options.Errors |
| shouldBeSort | Mikan.TypeChecking.Sort |
| ShouldEndInApplicationOfTheDatatype | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShouldEndInApplicationOfTheDatatype_ | Mikan.Interaction.Options.Errors |
| shouldPostponeInstanceSearch | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.TypeChecking.InstanceArguments, Mikan.Compiler.Backend |
| shouldReduceDef | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| showA | Mikan.Syntax.Abstract.Pretty |
| showATop | Mikan.Syntax.Abstract.Pretty |
| showChar' | Mikan.Syntax.Literal |
| showComputed | Mikan.Interaction.BasicOps |
| showGeneralizedArguments | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShowHead | Mikan.TypeChecking.Rules.Decl |
| showHead | Mikan.TypeChecking.Rules.Decl |
| showIdentitySubstitutions | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ShowImplicitArgs | Mikan.Interaction.Base |
| showImplicitArguments | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| showInfoError | Mikan.Interaction.EmacsTop |
| showIOException | Mikan.Utils.CallStack |
| ShowIrrelevantArgs | Mikan.Interaction.Base |
| showIrrelevantArguments | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| showModuleContents | Mikan.Interaction.InteractionTop |
| showQNameId | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| showText | Mikan.Syntax.Literal |
| showThousandSep | Mikan.Utils.String |
| showTree | Mikan.Utils.Set |
| showTreeWith | Mikan.Utils.Set |
| showUniv | Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term |
| SHVar | Mikan.Syntax.Internal.Term |
| Sig | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SigAbstract | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sigDefinitions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SigError | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sigError | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sigInstances | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sigmaCon | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| sigmaFst | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| SigmaKit | |
| 1 (Type/Class) | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| 2 (Data Constructor) | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| sigmaName | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| sigmaSnd | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| Signature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sigSections | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SigUnknown | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| simple | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| simpleBinaryOperator | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| simpleHole | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| simpleName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| Simplification | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Simplified | Mikan.Interaction.Base |
| Simplify | Mikan.TypeChecking.Reduce |
| simplify | Mikan.TypeChecking.Reduce |
| simplifyBlocked' | Mikan.TypeChecking.Reduce |
| simplifyLevelConstraint | Mikan.TypeChecking.LevelConstraints |
| singleBranch | Mikan.Utils.CompressedTrie |
| SingleClosed | Mikan.TypeChecking.Level |
| singleConstructorType | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SingleLevel | Mikan.TypeChecking.Level |
| SingleLevel' | Mikan.TypeChecking.Level |
| singleLevelView | Mikan.TypeChecking.Level |
| SinglePlus | Mikan.TypeChecking.Level |
| Singleton | Mikan.Utils.Singleton |
| singleton | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.Set1 |
| 5 (Function) | Mikan.Utils.BoolSet |
| 6 (Function) | Mikan.Utils.VarSet |
| 7 (Function) | Mikan.Utils.SmallSet |
| 8 (Function) | Mikan.Utils.Singleton |
| 9 (Function) | Mikan.Utils.Trie |
| 10 (Function) | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| 11 (Function) | Mikan.Utils.CompressedTrie |
| 12 (Function) | Mikan.Utils.BiMap |
| 13 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| singleton1 | Mikan.Utils.CompressedTrie |
| singletonDT | Mikan.TypeChecking.DiscrimTree.Types |
| SingletonRecords | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| singletonS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| SingleVar | Mikan.TypeChecking.Free.Base |
| singPlural | Mikan.Syntax.Common.Pretty |
| singular | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Size | |
| 1 (Type/Class) | Mikan.Termination.SparseMatrix |
| 2 (Data Constructor) | Mikan.Termination.SparseMatrix |
| size | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.MinimalArray.Prim |
| 6 (Function) | Mikan.Utils.MinimalArray.MutablePrim |
| 7 (Function) | Mikan.Utils.Serialize |
| 8 (Function) | Mikan.Utils.MinimalArray.Lifted |
| 9 (Function) | Mikan.Utils.MinimalArray.MutableLifted |
| 10 (Function) | Mikan.Utils.HashSet.Ordered |
| 11 (Function) | Mikan.Utils.VarSet |
| 12 (Function) | Mikan.Utils.Size |
| 13 (Function) | Mikan.Utils.HashTable |
| 14 (Function) | Mikan.Utils.CompressedTrie |
| 15 (Function) | Mikan.Termination.SparseMatrix |
| Sized | Mikan.Utils.Size |
| sizedText | Mikan.Syntax.Common.Pretty |
| SizedThing | |
| 1 (Type/Class) | Mikan.Utils.Size |
| 2 (Data Constructor) | Mikan.Utils.Size |
| sizedThing | Mikan.Utils.Size |
| SizeOfSort | |
| 1 (Type/Class) | Mikan.TypeChecking.Substitute |
| 2 (Data Constructor) | Mikan.TypeChecking.Substitute |
| sizeOfSort | Mikan.TypeChecking.Substitute |
| sizeThing | Mikan.Utils.Size |
| sizeWithLeaves | Mikan.Utils.CompressedTrie |
| Skip | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| skip | Mikan.Syntax.Parser.LexActions |
| skipBlock | Mikan.Syntax.Parser.Comments |
| skipIrrelevantAt | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| SkipIrrelevantEquation | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| SleepingConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| slowNormaliseArgs | Mikan.TypeChecking.Reduce |
| slowReduceTerm | Mikan.TypeChecking.Reduce |
| SM | Mikan.Mimer.Monad |
| SmallSet | |
| 1 (Type/Class) | Mikan.Utils.SmallSet |
| 2 (Data Constructor) | Mikan.Utils.SmallSet |
| SmallSetElement | Mikan.Utils.SmallSet |
| SmallSort | Mikan.TypeChecking.Substitute |
| smashTel | Mikan.Syntax.Concrete.Pretty |
| snd | Mikan.Utils.Tuple.Strict |
| snoc | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| 3 (Function) | Mikan.Utils.List2 |
| snoc1 | Mikan.Utils.List1 |
| softTypeError | Mikan.TypeChecking.Errors.Deferred |
| Solution | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solutionAt | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solutionSide | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solutionTerm | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solutionType | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solutionVar | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solveAwakeConstraints | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| solveAwakeConstraints' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| solveAwakeInstanceConstraints | Mikan.TypeChecking.InstanceArguments |
| solveConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| solveConstraintTCM | Mikan.TypeChecking.Constraints |
| solveConstraint_ | Mikan.TypeChecking.Constraints |
| SolvedButOpenHoles | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SolvedButOpenHoles_ | Mikan.Interaction.Options.Errors |
| solvedMetas | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| solveEq | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solveInstantiatedGoals | Mikan.Interaction.InteractionTop |
| solveSomeAwakeConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| solveSomeAwakeConstraintsTCM | Mikan.TypeChecking.Constraints |
| solveVar | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| solvingProblem | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| solvingProblems | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Some | |
| 1 (Type/Class) | Mikan.Utils.IndexedList |
| 2 (Data Constructor) | Mikan.Utils.IndexedList |
| some1 | Mikan.Utils.List1 |
| SomeBuiltin | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| someBuiltin | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SomeDiagnostic | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| SomeGeneralizableArgs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SomeKindsOfNames | Mikan.Syntax.Scope.Base |
| someKindsOfNames | Mikan.Syntax.Scope.Base |
| SomeLiveNames | Mikan.Syntax.Scope.Base |
| Sort | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 3 (Type/Class) | Mikan.Syntax.Reflected |
| 4 (Data Constructor) | Mikan.Syntax.Reflected |
| 5 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| sort | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.TypeChecking.Substitute |
| Sort' | Mikan.Syntax.Internal.Term |
| sortBy | Mikan.Utils.List1 |
| SortCannotDependOnItsIndex | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortCannotDependOnItsIndex_ | Mikan.Interaction.Options.Errors |
| SortCmp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortCofUniv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sortDefs | Mikan.Compiler.Common |
| SortDoesNotAdmitDataDefinitions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortDoesNotAdmitDataDefinitions_ | Mikan.Interaction.Options.Errors |
| sorted | Mikan.Utils.List |
| SortHead | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sortInteractionPoints | Mikan.Interaction.InteractionTop |
| SortIntervalUniv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortK | Mikan.TypeChecking.DiscrimTree.Types |
| SortKit | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sortKit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortLevelUniv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sortOf | Mikan.TypeChecking.Sort |
| SortOfSplitVarError | Mikan.TypeChecking.Coverage.Errors |
| SortOfSplitVarError_ | Mikan.Interaction.Options.Errors |
| sortOfType | Mikan.TypeChecking.Sort |
| SortOmega | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sortOn | Mikan.Utils.List1 |
| sortOnM | Mikan.Utils.List |
| sortPair | Mikan.Utils.Tuple |
| SortProp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortPropOmega | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortStrictSet | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortStrictSetOmega | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortTypeOmega | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SortUniv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sortUniv | Mikan.Syntax.Internal.Term |
| sortWith | Mikan.Utils.List1 |
| Source | |
| 1 (Type/Class) | Mikan.Interaction.Imports |
| 2 (Data Constructor) | Mikan.Interaction.Imports |
| source | |
| 1 (Function) | Mikan.Utils.BiMap |
| 2 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional, Mikan.Termination.CallGraph |
| SourceFile | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.Interaction.FindFile, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.Interaction.FindFile, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| sourceNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| Span | |
| 1 (Type/Class) | Mikan.Syntax.Common.Pretty |
| 2 (Data Constructor) | Mikan.Syntax.Common.Pretty |
| span | Mikan.Utils.List1 |
| spanAllowedBeforeModule | Mikan.Syntax.Concrete |
| spanAnnotation | Mikan.Syntax.Common.Pretty |
| spanAntitone | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| spanEnd | |
| 1 (Function) | Mikan.Utils.Text |
| 2 (Function) | Mikan.Utils.List |
| spanJust | Mikan.Utils.List |
| spanLength | Mikan.Syntax.Common.Pretty |
| spanMaybe | Mikan.Utils.Maybe |
| spanStart | Mikan.Syntax.Common.Pretty |
| SpecialCharacters | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| specialCharactersForGlyphs | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| Specified | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| speculateMetas | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SpineClause | Mikan.Syntax.Abstract |
| SpineHead | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Term |
| SpineHead' | Mikan.Syntax.Internal.Term |
| SpineLHS | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| spineToLhs | Mikan.Syntax.Abstract.Pattern |
| spineToLhsCore | Mikan.Syntax.Abstract.Pattern |
| spLhsDefName | Mikan.Syntax.Abstract |
| spLhsInfo | Mikan.Syntax.Abstract |
| spLhsPats | Mikan.Syntax.Abstract |
| split | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.VarSet |
| SplitAction | Mikan.Interaction.MakeCase |
| splitActionToEither3 | Mikan.Interaction.MakeCase |
| splitApplyElims | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| splitArg | Mikan.TypeChecking.Coverage.SplitTree |
| SplitAt | Mikan.TypeChecking.Coverage.SplitTree |
| splitAt | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.Map1 |
| 5 (Function) | Mikan.Utils.ListInf |
| 6 (Function) | Mikan.Utils.RangeMap |
| splitAt' | Mikan.Utils.List |
| splitBindings | Mikan.TypeChecking.Coverage.SplitTree |
| splitC | Mikan.TypeChecking.CompiledClause.Compile |
| SplitCatchall | Mikan.TypeChecking.Coverage.SplitTree |
| SplitClause | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| splitClauses | Mikan.TypeChecking.Coverage.SplitClause, Mikan.TypeChecking.Coverage |
| splitClauseWithAbsurd | Mikan.TypeChecking.Coverage |
| splitCommas | Mikan.Interaction.Library.Parse |
| SplitCon | Mikan.TypeChecking.Coverage.SplitTree |
| splitEllipsis | Mikan.Syntax.Concrete.Pattern |
| SplitError | Mikan.TypeChecking.Coverage.Errors |
| splitErrorNameString | Mikan.Interaction.Options.Errors |
| SplitError_ | |
| 1 (Data Constructor) | Mikan.Interaction.Options.Errors |
| 2 (Type/Class) | Mikan.Interaction.Options.Errors |
| splitExactlyAt | Mikan.Utils.List |
| splitExactlyAt' | Mikan.Utils.List |
| splitExcludedLits | Mikan.TypeChecking.Coverage.SplitPattern |
| splitImplicitBinderT | Mikan.TypeChecking.Implicit |
| SplitInProp | Mikan.TypeChecking.Coverage.Errors |
| SplitInProp_ | Mikan.Interaction.Options.Errors |
| splitLast | Mikan.TypeChecking.Coverage |
| splitLazy | Mikan.TypeChecking.Coverage.SplitTree |
| SplitLit | Mikan.TypeChecking.Coverage.SplitTree |
| splitLookup | Mikan.Utils.Map1 |
| splitMember | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| splitOffTrailingWithPatterns | Mikan.Syntax.Abstract.Pattern |
| splitOn | Mikan.TypeChecking.CompiledClause.Compile |
| SplitOnAbstract | Mikan.TypeChecking.Coverage.Errors |
| SplitOnAbstract_ | Mikan.Interaction.Options.Errors |
| SplitOnCoinductive | Mikan.TypeChecking.Coverage.Errors |
| SplitOnCoinductive_ | Mikan.Interaction.Options.Errors |
| SplitOnFlat | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify |
| SplitOnNonEtaRecord | Mikan.TypeChecking.Coverage.Errors |
| SplitOnNonEtaRecord_ | Mikan.Interaction.Options.Errors |
| SplitOnNonVariable | Mikan.TypeChecking.Coverage.Errors |
| SplitOnNonVariable_ | Mikan.Interaction.Options.Errors |
| SplitOnPartial | Mikan.TypeChecking.Coverage.Errors |
| SplitOnPartial_ | Mikan.Interaction.Options.Errors |
| SplitOnStrict | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify |
| SplitOnUnchecked | Mikan.TypeChecking.Coverage.Errors |
| SplitOnUnchecked_ | Mikan.Interaction.Options.Errors |
| SplitOnVariable | Mikan.Interaction.MakeCase |
| SplitPattern | Mikan.TypeChecking.Coverage.SplitPattern |
| SplitPatVar | |
| 1 (Type/Class) | Mikan.TypeChecking.Coverage.SplitPattern |
| 2 (Data Constructor) | Mikan.TypeChecking.Coverage.SplitPattern |
| splitPatVarIndex | Mikan.TypeChecking.Coverage.SplitPattern |
| splitPatVarName | Mikan.TypeChecking.Coverage.SplitPattern |
| splitPerm | Mikan.TypeChecking.Telescope |
| splitResult | Mikan.TypeChecking.Coverage |
| splitRoot | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| splitS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| SplitTag | Mikan.TypeChecking.Coverage.SplitTree |
| SplitTel | |
| 1 (Type/Class) | Mikan.TypeChecking.Telescope |
| 2 (Data Constructor) | Mikan.TypeChecking.Telescope |
| splitTelescope | Mikan.TypeChecking.Telescope |
| splitTelescopeAt | Mikan.TypeChecking.Telescope |
| splitTelescopeExact | Mikan.TypeChecking.Telescope |
| splitTelForWith | Mikan.TypeChecking.With |
| SplittingDone | Mikan.TypeChecking.Coverage.SplitTree |
| SplitTree | Mikan.TypeChecking.Coverage.SplitTree |
| SplitTree' | Mikan.TypeChecking.Coverage.SplitTree |
| SplitTreeLabel | |
| 1 (Type/Class) | Mikan.TypeChecking.Coverage.SplitTree |
| 2 (Data Constructor) | Mikan.TypeChecking.Coverage.SplitTree |
| SplitTrees | Mikan.TypeChecking.Coverage.SplitTree |
| splitTrees | Mikan.TypeChecking.Coverage.SplitTree |
| SplitTrees' | Mikan.TypeChecking.Coverage.SplitTree |
| splitW64 | Mikan.Utils.Word |
| square | Mikan.Termination.SparseMatrix |
| srcAttributes | Mikan.Interaction.Imports |
| SrcFile | Mikan.Syntax.Position |
| srcFile | Mikan.Syntax.Position |
| srcFileId | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.Interaction.FindFile, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| srcFileOfInterface | Mikan.Interaction.Highlighting.HTML.Base |
| srcFilePath | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| srcFileType | Mikan.Interaction.Imports |
| srcFromPath | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| SrcFun | Mikan.Utils.CallStack |
| SrcLoc | |
| 1 (Data Constructor) | Mikan.Utils.CallStack |
| 2 (Type/Class) | Mikan.Utils.CallStack |
| SrcLocCol | Mikan.Utils.CallStack |
| srcLocEndCol | Mikan.Utils.CallStack |
| srcLocEndLine | Mikan.Utils.CallStack |
| SrcLocFile | Mikan.Utils.CallStack |
| srcLocFile | Mikan.Utils.CallStack |
| SrcLocLine | Mikan.Utils.CallStack |
| SrcLocModule | Mikan.Utils.CallStack |
| srcLocModule | Mikan.Utils.CallStack |
| SrcLocPackage | Mikan.Utils.CallStack |
| srcLocPackage | Mikan.Utils.CallStack |
| srcLocStartCol | Mikan.Utils.CallStack |
| srcLocStartLine | Mikan.Utils.CallStack |
| srcModule | Mikan.Interaction.Imports |
| srcModuleName | Mikan.Interaction.Imports |
| srcNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| srcOrigin | Mikan.Interaction.Imports |
| srcProjectLibs | Mikan.Interaction.Imports |
| srcText | Mikan.Interaction.Imports |
| SSet | Mikan.Syntax.Internal.Term |
| sShowImplicitArguments | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| sShowIrrelevantArguments | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| ssort | Mikan.TypeChecking.Substitute |
| stAccumStatistics | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Stack | Mikan.TypeChecking.CompiledClause.Match |
| StaleMeta | Mikan.TypeChecking.Unquote.Errors |
| standardOptions | Mikan.Interaction.Options |
| stAreWeCaching | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| StarSemiRing | Mikan.Utils.SemiRing |
| startPos | Mikan.Syntax.Position |
| startPos' | Mikan.Syntax.Position |
| startSearchBranch | Mikan.Mimer.Monad |
| statCompGen | Mikan.Mimer.Types |
| statCompHit | Mikan.Mimer.Types |
| statCompNoRegen | Mikan.Mimer.Types |
| statCompRegen | Mikan.Mimer.Types |
| State | |
| 1 (Type/Class) | Mikan.Utils.StrictState |
| 2 (Data Constructor) | Mikan.Utils.StrictState |
| 3 (Type/Class) | Mikan.Utils.StrictState2 |
| 4 (Data Constructor) | Mikan.Utils.StrictState2 |
| state | Mikan.Utils.StrictState |
| stateSessionLens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stateSessionLensM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| StateT | |
| 1 (Type/Class) | Mikan.Utils.StrictState |
| 2 (Data Constructor) | Mikan.Utils.StrictState |
| stateTCLens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stateTCLensM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Statistics | |
| 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 |
| statMaxes | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| statMetasCreated | Mikan.Mimer.Types |
| statRefineFail | Mikan.Mimer.Types |
| statRefineSuccess | Mikan.Mimer.Types |
| stats | Mikan.TypeChecking.Serialise.Base |
| statTicks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| statTypeEqChecks | Mikan.Mimer.Types |
| Status | |
| 1 (Type/Class) | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| 2 (Data Constructor) | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| status | Mikan.Interaction.InteractionTop |
| stAwakeConstraints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stBuiltinThings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stConcreteNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stConsideringInstance | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stCopiedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stCurrentModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stDecodedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| StdErr | Mikan.TypeChecking.Unquote |
| StdIn | Mikan.TypeChecking.Unquote |
| stDirty | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stDisambiguatedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| StdOut | Mikan.TypeChecking.Unquote |
| stdoutSupportsANSI | Mikan.Utils.IO.Terminal |
| stealConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stealConstraintsTCM | Mikan.TypeChecking.Constraints |
| stForeignCode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshCheckpointId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshInt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshInteractionId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshMetaId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshMutualId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshNameId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshOpaqueId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stFreshProblemId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stGeneralizedVars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportedBuiltins | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportedDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportedMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportedPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportedUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stImportsDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stInstanceDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stInstanceHack | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stInstanceTree | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stInstantiateBlocking | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stInteractionPoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stLoadedFileCache | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stLocalBuiltins | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stLocalPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stLocalUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stModuleCheckpoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stMutualBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stNameCopies | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stOccursCheckDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stOpaqueBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stOpaqueIds | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stOpenMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| storeCachedAgdaLibFile | Mikan.Interaction.Library.Base |
| storeCachedInterfaceFilePath | Mikan.Interaction.Library.Base |
| storeCachedProjectConfig | Mikan.Interaction.Library.Base |
| storeDecodedModule | Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| storeDisambiguatedConstructor | Mikan.Interaction.Highlighting.Generate |
| storeDisambiguatedProjection | Mikan.Interaction.Highlighting.Generate |
| storing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPatternSynImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPatternSyns | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPersistentOptions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPersistentSession | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPersistentState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPersistentTopLevelModuleNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPersistLoadedFileCache | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostAreWeCaching | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostAwakeConstraints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostColdState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostConcreteNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostConsideringInstance | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostCurrentModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostDirty | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostDisambiguatedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFlags | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostForeignCode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshCheckpointId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshInt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshMetaId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshMutualId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshNameId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshOpaqueId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostFreshProblemId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostImportsDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostInstanceHack | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostInstantiateBlocking | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostInteractionPoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostLocalBuiltins | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostLocalPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostMetaState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostModuleCheckpoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostMutualBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostNamesCheckpoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostOccursCheckDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostOpaqueBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostOpaqueIds | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostOpenMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostPendingInstances | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostponeInstanceSearch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostPostponeInstanceSearch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostScopeState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostSleepingConstraints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostSolvedMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostStatistics | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostSyntaxInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostTCWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPostTemporaryInstances | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPragmaOptions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreCopiedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreFreshInteractionId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreGeneralizedVars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImportedBuiltins | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImportedDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImportedMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImportedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImportedPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImportedUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreLocalUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreNameCopies | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPrePatternSynImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPrePatternSyns | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPrePragmaOptions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreScopeState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreTokens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreUnusedImportsState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreVisitedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stPreWarningOnImport | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Strengthen | Mikan.Syntax.Internal.Term, Mikan.TypeChecking.Substitute |
| strengthen | |
| 1 (Function) | Mikan.Utils.VarSet |
| 2 (Function) | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| strengthenS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| strengthenS' | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| Strict | |
| 1 (Data Constructor) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.Utils.Maybe.Strict |
| strict | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| strictCurry | Mikan.Utils.TypeLevel |
| StrictCurrying | Mikan.Utils.TypeLevel |
| strictCurrys | Mikan.Utils.TypeLevel |
| StrictIORef | Mikan.Utils.IORef.Strict |
| StrictPair | Mikan.Utils.TypeLevel |
| StrictPos | Mikan.TypeChecking.Positivity.Occurrence |
| StrictProducts | Mikan.Utils.TypeLevel |
| StrictSplit | Mikan.TypeChecking.Coverage.SplitTree |
| strictUncurry | Mikan.Utils.TypeLevel |
| strictUncurrys | Mikan.Utils.TypeLevel |
| String | |
| 1 (Data Constructor) | Mikan.Interaction.JSON |
| 2 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| String1 | Mikan.Utils.List1 |
| string2HelpTopic | Mikan.Interaction.Options.Help |
| string2WarningName | Mikan.Interaction.Options.Warnings |
| stringA | Mikan.TypeChecking.Serialise.Base |
| stringC | Mikan.TypeChecking.Serialise.Base |
| stringD | Mikan.TypeChecking.Serialise.Base |
| stringNameParts | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| stringParts | Mikan.Syntax.Notation |
| stringToArgName | Mikan.Syntax.Common |
| stringToAttribute | Mikan.Syntax.Concrete.Attribute |
| stringToRawName | Mikan.Syntax.Common |
| stripAgdaExtension | Mikan.Interaction.FindFile |
| stripAnyOfExtensions | Mikan.Utils.FileName |
| stripConstraintPids | Mikan.Interaction.BasicOps |
| stripDontCare | Mikan.Syntax.Internal.Term |
| stripNoNames | Mikan.Syntax.Scope.Monad |
| stripPrefixBy | Mikan.Utils.List |
| stripReversedSuffix | Mikan.Utils.List |
| stripRTS | Mikan.Interaction.Options |
| stripSuffix | Mikan.Utils.List |
| stripWithClausePatterns | Mikan.TypeChecking.With |
| stronglyConnComp | Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| StronglyRigid | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| stronglyRigidVars | Mikan.TypeChecking.Free |
| StrPart | Mikan.TypeChecking.Unquote |
| STrue | Mikan.Utils.TypeLits |
| stScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSessionBackends | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSessionFileDict | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSessionInteractionOutputCallback | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSessionLibCache | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSessionModuleToSourceId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSessionReadFiles | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSleepingConstraints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSolvedMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stStatistics | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stSyntaxInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stTCWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stTemporaryInstances | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stTokens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stTopLevelModuleNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| StuckOn | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| stuckOn | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| stUnusedImportsState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stVisitedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stWarningOnImport | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| stWarningSet | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Style | |
| 1 (Type/Class) | Mikan.Syntax.Common.Pretty |
| 2 (Data Constructor) | Mikan.Syntax.Common.Pretty |
| style | Mikan.Syntax.Common.Pretty |
| subLevel | Mikan.TypeChecking.Level |
| Subscript | Mikan.Utils.Suffix |
| Subst | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| subst | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| SubstArg | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute, Mikan.TypeChecking.Substitute |
| substBody | Mikan.TypeChecking.CompiledClause.Compile |
| SubstCand | Mikan.TypeChecking.MetaVars |
| SubstExpr | Mikan.Syntax.Abstract |
| substExpr | Mikan.Syntax.Abstract |
| Substitution | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Syntax.Internal.Term, Mikan.TypeChecking.Substitute |
| Substitution' | Mikan.Syntax.Internal.Term, Mikan.TypeChecking.Substitute |
| substLeaves | Mikan.Utils.CompressedTrie |
| substPattern | Mikan.Syntax.Abstract.Pattern |
| substPattern' | Mikan.Syntax.Abstract.Pattern |
| substUnder | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| SubstWith | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| Suc | |
| 1 (Data Constructor) | Mikan.Utils.IndexedList |
| 2 (Data Constructor) | Mikan.Utils.TypeLevel |
| Succ | Mikan.Utils.Size |
| sucName | Mikan.TypeChecking.Level |
| Suffix | |
| 1 (Type/Class) | Mikan.Utils.Suffix |
| 2 (Type/Class) | Mikan.Utils.List |
| 3 (Type/Class) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 4 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| suffixesSatisfying | Mikan.Utils.List |
| suffixNameSuggestion | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| suffixToLevel | Mikan.TypeChecking.Rules.Application |
| suffixView | Mikan.Utils.Suffix |
| Suggest | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| Suggestion | |
| 1 (Type/Class) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| suggestName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| suggests | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| SumEncoding | Mikan.Interaction.JSON |
| sumEncoding | Mikan.Interaction.JSON |
| superscript | Mikan.TypeChecking.Pretty |
| supremum | Mikan.Termination.Order |
| supSize | Mikan.Termination.SparseMatrix |
| suspendErrors | Mikan.TypeChecking.Errors.Deferred |
| swap | |
| 1 (Function) | Mikan.Utils.Tuple |
| 2 (Function) | Mikan.Utils.Tuple.Strict |
| swap01 | Mikan.TypeChecking.Abstract |
| swapEither | Mikan.Utils.Either |
| Swapped | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| swapped | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| switchBenchmarking | Mikan.Utils.Benchmark |
| SymArrow | Mikan.Syntax.Parser.Tokens |
| SymAs | Mikan.Syntax.Parser.Tokens |
| SymBar | Mikan.Syntax.Parser.Tokens |
| Symbol | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Type/Class) | Mikan.Syntax.Parser.Tokens |
| symbol | Mikan.Syntax.Parser.LexActions |
| SymCloseBrace | Mikan.Syntax.Parser.Tokens |
| SymCloseIdiomBracket | Mikan.Syntax.Parser.Tokens |
| SymCloseParen | Mikan.Syntax.Parser.Tokens |
| SymClosePragma | Mikan.Syntax.Parser.Tokens |
| SymCloseVirtualBrace | Mikan.Syntax.Parser.Tokens |
| SymColon | Mikan.Syntax.Parser.Tokens |
| SymDot | Mikan.Syntax.Parser.Tokens |
| SymDoubleCloseBrace | Mikan.Syntax.Parser.Tokens |
| SymDoubleOpenBrace | Mikan.Syntax.Parser.Tokens |
| SymEllipsis | Mikan.Syntax.Parser.Tokens |
| SymEmptyIdiomBracket | Mikan.Syntax.Parser.Tokens |
| SymEndComment | Mikan.Syntax.Parser.Tokens |
| SymEqual | Mikan.Syntax.Parser.Tokens |
| SymLambda | Mikan.Syntax.Parser.Tokens |
| SymOpenBrace | Mikan.Syntax.Parser.Tokens |
| SymOpenIdiomBracket | Mikan.Syntax.Parser.Tokens |
| SymOpenParen | Mikan.Syntax.Parser.Tokens |
| SymOpenPragma | Mikan.Syntax.Parser.Tokens |
| SymOpenVirtualBrace | Mikan.Syntax.Parser.Tokens |
| SymQuestionMark | Mikan.Syntax.Parser.Tokens |
| SymSemi | Mikan.Syntax.Parser.Tokens |
| SymUnderscore | Mikan.Syntax.Parser.Tokens |
| SymVirtualSemi | Mikan.Syntax.Parser.Tokens |
| sync | Mikan.Syntax.Parser.LookAhead |
| syncInteractionRange | Mikan.Interaction.InteractionTop |
| SynEq | Mikan.TypeChecking.SyntacticEquality |
| Syntax | Mikan.Syntax.Concrete |
| SyntaxBindingLambda | Mikan.Syntax.Concrete |
| SyntaxError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| syntaxError | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| SyntaxError_ | Mikan.Interaction.Options.Errors |
| syntaxOf | Mikan.Syntax.Notation |
| System | |
| 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 |
| systemClauses | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| systemTel | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| szSortSize | Mikan.TypeChecking.Substitute |
| szSortUniv | Mikan.TypeChecking.Substitute |