Index - R
| R | Mikan.TypeChecking.Serialise.Base |
| raise | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| raiseErrors | Mikan.Interaction.Library.Base |
| raiseErrors' | Mikan.Interaction.Library.Base |
| raiseFrom | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| raiseFromS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| raiseNonFatalErrors | Mikan.Interaction.Imports |
| raiseS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| raiseWarningsOnUsage | Mikan.TypeChecking.Warnings |
| Range | |
| 1 (Type/Class) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| 2 (Data Constructor) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| 3 (Type/Class) | Mikan.Syntax.Position |
| 4 (Data Constructor) | Mikan.Syntax.Position |
| range | Mikan.Utils.VarSet |
| Range' | Mikan.Syntax.Position |
| RangeAndPragma | |
| 1 (Type/Class) | Mikan.Syntax.Translation.AbstractToConcrete |
| 2 (Data Constructor) | Mikan.Syntax.Translation.AbstractToConcrete |
| Ranged | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| rangeDefinitionSite | Mikan.Syntax.Common.Aspect |
| rangedThing | Mikan.Syntax.Common |
| RangeFile | |
| 1 (Type/Class) | Mikan.Syntax.Position |
| 2 (Data Constructor) | Mikan.Syntax.Position |
| rangeFile | Mikan.Syntax.Position |
| rangeFileName | Mikan.Syntax.Position |
| rangeFilePath | Mikan.Syntax.Position |
| rangeFromAbsolutePath | Mikan.Syntax.Position |
| rangeIntervals | Mikan.Syntax.Position |
| rangeInvariant | |
| 1 (Function) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| 2 (Function) | Mikan.Syntax.Position |
| RangeMap | |
| 1 (Type/Class) | Mikan.Utils.RangeMap |
| 2 (Data Constructor) | Mikan.Utils.RangeMap |
| rangeMap | Mikan.Utils.RangeMap |
| rangeMapInvariant | Mikan.Utils.RangeMap |
| rangeModule | Mikan.Syntax.Position |
| rangeModule' | Mikan.Syntax.Position |
| rangeM_ | Mikan.Utils.Monad |
| rangeOf | Mikan.Syntax.Common |
| RangePair | |
| 1 (Type/Class) | Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Interaction.Highlighting.Precise |
| rangePair | Mikan.Interaction.Highlighting.Precise |
| rangePairInvariant | Mikan.Interaction.Highlighting.Precise |
| Ranges | |
| 1 (Type/Class) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| 2 (Data Constructor) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| rangesInvariant | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| rangesToPositions | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| rangeToInterval | Mikan.Syntax.Position |
| rangeToIntervalWithFile | Mikan.Syntax.Position |
| rangeToPositions | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| rangeToRange | Mikan.Interaction.Highlighting.Range |
| RangeWithoutFile | Mikan.Syntax.Position |
| rational | Mikan.Syntax.Common.Pretty |
| ratioToDouble | Mikan.Utils.Float |
| RawApp | Mikan.Syntax.Concrete |
| rawApp | Mikan.Syntax.Concrete |
| RawAppP | Mikan.Syntax.Concrete |
| rawAppP | Mikan.Syntax.Concrete |
| rawModuleNameInferred | Mikan.Syntax.TopLevelModuleName |
| rawModuleNameParts | Mikan.Syntax.TopLevelModuleName |
| rawModuleNameRange | Mikan.Syntax.TopLevelModuleName |
| RawName | Mikan.Syntax.Common |
| rawNameToString | Mikan.Syntax.Common |
| RawOpenArgs | Mikan.Syntax.Concrete |
| RawTopLevelModuleName | |
| 1 (Type/Class) | Mikan.Syntax.TopLevelModuleName |
| 2 (Data Constructor) | Mikan.Syntax.TopLevelModuleName |
| rawTopLevelModuleName | Mikan.Syntax.TopLevelModuleName |
| rawTopLevelModuleNameForModule | Mikan.Syntax.TopLevelModuleName |
| rawTopLevelModuleNameForModuleName | Mikan.Syntax.TopLevelModuleName |
| rawTopLevelModuleNameForQName | Mikan.Syntax.TopLevelModuleName |
| rawTopLevelModuleNameToString | Mikan.Syntax.TopLevelModuleName |
| rbrace | Mikan.Syntax.Common.Pretty |
| rbrack | Mikan.Syntax.Common.Pretty |
| reAbs | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| reachable | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| reachableFrom | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| reachableFromSet | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| read | |
| 1 (Function) | Mikan.Utils.MinimalArray.MutablePrim |
| 2 (Function) | Mikan.Utils.MinimalArray.MutableLifted |
| readAtomic | Mikan.Utils.Atomic |
| readdTypedInstance | Mikan.TypeChecking.InstanceArguments |
| Reader | |
| 1 (Type/Class) | Mikan.Utils.StrictReader |
| 2 (Data Constructor) | Mikan.Utils.StrictReader |
| reader | Mikan.Utils.StrictReader |
| ReadError | Mikan.Interaction.Library.Base |
| ReaderT | |
| 1 (Type/Class) | Mikan.Utils.StrictReader |
| 2 (Data Constructor) | Mikan.Utils.StrictReader |
| ReadException | Mikan.Utils.IO.UTF8 |
| ReadFailure | Mikan.Interaction.Library.Base |
| ReadFile | |
| 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 |
| readFile | Mikan.Utils.IO.UTF8 |
| ReadFileCache | |
| 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 |
| readFileEra | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ReadFileError | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| readFileHash | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| readFileTCM | Mikan.Interaction.ReadFile |
| readFileText | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| readFromCachedLog | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| readInterface | Mikan.Interaction.Imports |
| readIntVar# | Mikan.Utils.IntVar |
| readIORef | Mikan.Utils.IORef.Strict |
| readline | Mikan.Interaction.Monad |
| readLiveNames | Mikan.Syntax.Scope.Trimming |
| readParse | Mikan.Interaction.Base |
| readsToParse | Mikan.Interaction.Base |
| ReadTCState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| readTextFile | Mikan.Utils.IO.UTF8 |
| readTokens | Mikan.Mimer.Options |
| reallyAllReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ReallyDontExpandLast | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reallyDontExpandLast | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reallyFree | Mikan.TypeChecking.Free.Reduce |
| reallyNoConstraints | Mikan.TypeChecking.Constraints |
| ReallyNotBlocked | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| reallyUnLevelView | Mikan.TypeChecking.Level |
| rebindName | Mikan.Syntax.Scope.Monad |
| Rec | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| recAbstr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecCheck | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| recClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recComp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recCon | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recConHead | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recConstructor | Mikan.Syntax.Common |
| RecDef | Mikan.Syntax.Abstract |
| RecDefS | Mikan.Syntax.Abstract |
| recEtaEquality | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recEtaEquality' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recFields | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recHasEta | Mikan.Syntax.Common |
| recheckAbstractClause | Mikan.Interaction.MakeCase |
| recheckBecausePragmaOptionsChanged | Mikan.Interaction.Options |
| recInduction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recInductive | Mikan.Syntax.Common |
| recMutual | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecName | |
| 1 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types |
| recNamedCon | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecName_ | Mikan.Interaction.Options.Errors |
| Recompile | |
| 1 (Type/Class) | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| recomputeInScopeSet | Mikan.Syntax.Scope.Base |
| recomputeInScopeSets | Mikan.Syntax.Scope.Base |
| recomputeInverseNamesAndModules | Mikan.Syntax.Scope.Base |
| recomputeInverseScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recomputeInverseScope' | Mikan.Syntax.Scope.Base |
| recomputeNameParts | Mikan.Syntax.Scope.Base |
| reconstruct | Mikan.TypeChecking.ReconstructParameters |
| reconstructAction | Mikan.TypeChecking.ReconstructParameters |
| reconstructAction' | Mikan.TypeChecking.ReconstructParameters |
| reconstructParameters | Mikan.TypeChecking.ReconstructParameters |
| reconstructParameters' | Mikan.TypeChecking.ReconstructParameters |
| reconstructParametersInEqView | Mikan.TypeChecking.ReconstructParameters |
| reconstructParametersInTel | Mikan.TypeChecking.ReconstructParameters |
| reconstructParametersInType | Mikan.TypeChecking.ReconstructParameters |
| reconstructParametersInType' | Mikan.TypeChecking.ReconstructParameters |
| Record | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecordAssign | Mikan.Syntax.Abstract |
| RecordAssignment | Mikan.Syntax.Concrete |
| RecordAssignments | Mikan.Syntax.Concrete |
| RecordAssigns | Mikan.Syntax.Abstract |
| RecordCon | Mikan.TypeChecking.Datatypes |
| RecordConName | Mikan.Syntax.Abstract |
| recordConName | Mikan.Syntax.Abstract |
| RecordData | |
| 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 |
| RecordDef | |
| 1 (Data Constructor) | Mikan.Syntax.Reflected |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| RecordDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecordDirective | Mikan.Syntax.Concrete |
| RecordDirectives | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| RecordDirectives' | Mikan.Syntax.Common |
| recordEtaEquality | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recordFieldNames | Mikan.TypeChecking.Records |
| RecordFieldWarning | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Warning, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recordFieldWarningToError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecordFlex | Mikan.TypeChecking.Rules.LHS.Problem |
| recordInduction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecordModuleInstance | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| recordPatternToProjections | Mikan.TypeChecking.RecordPatterns |
| recordRHSToCopatterns | Mikan.TypeChecking.RecordPatterns |
| Records | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecordSelf | Mikan.Syntax.Common |
| RecordSig | Mikan.Syntax.Concrete |
| recoverLayout | Mikan.Syntax.Parser.Helpers |
| RecP | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| recPars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recPattern | Mikan.Syntax.Common |
| recPatternMatching | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recPositivityCheck | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recRecursive | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recRecursive_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecSig | Mikan.Syntax.Abstract |
| RecSigS | Mikan.Syntax.Abstract |
| recTel | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| recTerminates | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecUpdate | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| RecUpdateWhere | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| recurseExpr | Mikan.Syntax.Abstract.Views |
| RecurseExprFn | Mikan.Syntax.Abstract.Views |
| RecurseExprRecFn | Mikan.Syntax.Abstract.Views |
| recursive | Mikan.Termination.RecCheck |
| recursiveRecord | Mikan.TypeChecking.Records |
| RecursiveRecordNeedsInductivity | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecursiveRecordNeedsInductivity_ | Mikan.Interaction.Options.Warnings |
| RecursiveReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RecWhere | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| redBind | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| redEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| redoChecks | Mikan.Interaction.BasicOps |
| redPred | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| redReturn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| redReturnNoSimpl | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| redSess | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| redSt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Reduce | |
| 1 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| 2 (Type/Class) | Mikan.TypeChecking.Reduce |
| reduce | Mikan.TypeChecking.Reduce |
| reduce' | Mikan.TypeChecking.Reduce |
| reduce2Lam | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| reduceAllDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ReduceAndEtaContract | Mikan.TypeChecking.MetaVars |
| reduceAndEtaContract | Mikan.TypeChecking.MetaVars |
| reduceB | Mikan.TypeChecking.Reduce |
| reduceB' | Mikan.TypeChecking.Reduce |
| Reduced | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reduceDefCopy | Mikan.TypeChecking.Reduce |
| reduceDefCopyTCM | Mikan.TypeChecking.Reduce |
| ReduceDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ReduceEnv | |
| 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 |
| reduceEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reduceHead | Mikan.TypeChecking.Reduce |
| reduceIApply' | Mikan.TypeChecking.Reduce |
| ReduceM | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ReduceM# | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reduceProjectionLike | Mikan.TypeChecking.ProjectionLike |
| reduceQuotedTerm | Mikan.TypeChecking.Unquote |
| reduceSt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reduceWithBlocker | Mikan.TypeChecking.Reduce |
| ReferencesFutureVariables_ | Mikan.Interaction.Options.Errors |
| Refine | Mikan.Interaction.InteractionTop |
| refine | Mikan.Interaction.BasicOps |
| Reflected | Mikan.Syntax.Common |
| Reflection | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| Regex | Mikan.Utils.Parser.MemoisedCPS |
| registerFileId | Mikan.Utils.FileId |
| registerFileId' | Mikan.Utils.FileId |
| registerFileId'' | Mikan.Utils.FileId |
| registerFileIdWithBuiltin | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| registerInteractionPoint | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| registerModuleOpening | Mikan.Syntax.Scope.UnusedImports |
| ReifiesTo | Mikan.Syntax.Translation.InternalToAbstract |
| Reify | Mikan.Syntax.Translation.InternalToAbstract |
| reify | Mikan.Syntax.Translation.InternalToAbstract |
| reifyDisplayFormP | Mikan.Syntax.Translation.InternalToAbstract |
| reifyElimToExpr | Mikan.Interaction.BasicOps |
| reifyPatterns | Mikan.Syntax.Translation.InternalToAbstract |
| reifyUnblocked | Mikan.Syntax.Translation.InternalToAbstract |
| reifyWhen | Mikan.Syntax.Translation.InternalToAbstract |
| reintroduceEllipsis | Mikan.Syntax.Concrete.Pattern |
| rejectUnknownFields | Mikan.Interaction.JSON |
| Rel | Mikan.TypeChecking.Primitive |
| Related | Mikan.Syntax.Common |
| related | Mikan.Utils.PartialOrd |
| relativizeAbsolutePath | Mikan.Utils.FileName |
| RemoteMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RemoteMetaVariable | |
| 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 |
| Remove | |
| 1 (Type/Class) | Mikan.Interaction.Base |
| 2 (Data Constructor) | Mikan.Interaction.Base |
| removeEdge | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| RemoveHighlighting | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| removeInteractionPoint | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| removeLetBinding | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| removeLetBindingsFrom | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| removeLoneSig | Mikan.Syntax.Concrete.Definitions.Monad |
| removeNameFromScope | Mikan.Syntax.Scope.Base |
| removeNode | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| removeNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| removeOldInteractionScope | Mikan.Interaction.InteractionTop |
| removeParenP | Mikan.Syntax.Concrete |
| RemoveTokenBasedHighlighting | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Ren | Mikan.Syntax.Abstract |
| renameCanonicalNames | Mikan.Syntax.Scope.Base |
| renameNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| renameNodesMonotonic | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| renameP | Mikan.TypeChecking.Substitute |
| renameTel | Mikan.TypeChecking.Telescope |
| Renaming | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Syntax.Internal.Term |
| 3 (Type/Class) | Mikan.Syntax.Concrete |
| 4 (Type/Class) | Mikan.Syntax.Abstract |
| renaming | Mikan.TypeChecking.Substitute |
| Renaming' | Mikan.Syntax.Common |
| RenamingDirective | Mikan.Syntax.Concrete |
| RenamingDirective' | Mikan.Syntax.Common |
| renamingR | Mikan.TypeChecking.Substitute |
| renamingSize | Mikan.Syntax.Abstract |
| rEnd | Mikan.Syntax.Position |
| rEnd' | Mikan.Syntax.Position |
| render | Mikan.Syntax.Common.Pretty |
| renderDot | Mikan.Interaction.Highlighting.Dot.Base |
| renderDotToFile | Mikan.Interaction.Highlighting.Dot.Base |
| renderError | Mikan.TypeChecking.Errors |
| renderErrorParts | Mikan.TypeChecking.Unquote |
| renderForesterHtml | Mikan.Interaction.Highlighting.HTML.Forester |
| renderSpans | Mikan.Syntax.Common.Pretty |
| renderStyle | Mikan.Syntax.Common.Pretty |
| renderToTree | Mikan.Utils.DocTree |
| renderToTree' | Mikan.Utils.DocTree |
| renderTree' | Mikan.Utils.DocTree |
| renFixity | Mikan.Syntax.Common |
| renFrom | Mikan.Syntax.Common |
| renModules | Mikan.Syntax.Abstract |
| renNames | Mikan.Syntax.Abstract |
| renPublic | Mikan.Syntax.Abstract |
| renTo | Mikan.Syntax.Common |
| renToRange | Mikan.Syntax.Common |
| renTrimming | Mikan.Syntax.Abstract |
| reorderTel | Mikan.TypeChecking.Telescope |
| reorderTel_ | Mikan.TypeChecking.Telescope |
| repeat | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.ListInf |
| RepeatedNamesInImportDirective | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RepeatedNamesInImportDirective_ | Mikan.Interaction.Options.Errors |
| RepeatedVariablesInPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RepeatedVariablesInPattern_ | Mikan.Interaction.Options.Errors |
| repeatWhile | Mikan.Utils.Function |
| repeatWhileM | Mikan.Utils.Function |
| repl | |
| 1 (Function) | Mikan.Compiler.Common |
| 2 (Function) | Mikan.Interaction.AgdaTop |
| replaceAt' | Mikan.Utils.List |
| replacementChar | Mikan.Utils.Char |
| replaceModuleExtension | Mikan.Interaction.FindFile |
| replaceSurrogateCodePoint | Mikan.Utils.Char |
| replicate' | Mikan.Utils.List |
| reportResult | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ReportS | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reportS | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reportSDoc | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reportSLn | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reportSMDoc | Mikan.Mimer.Monad |
| ReqArg | Mikan.Utils.GetOpt, Mikan.Interaction.Options |
| requireAllowExec | Mikan.TypeChecking.Unquote |
| requireLevels | Mikan.TypeChecking.Level |
| RequireOrder | Mikan.Utils.GetOpt |
| Res | Mikan.TypeChecking.MetaVars |
| reset | Mikan.Utils.Benchmark, Mikan.TypeChecking.Monad.Benchmark |
| resetAllState | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| resetLayoutStatus | Mikan.Syntax.Parser.Monad |
| resetState | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| resolvedBindingSource | Mikan.Syntax.Scope.Base |
| ResolvedName | Mikan.Syntax.Scope.Base |
| resolvedVar | Mikan.Syntax.Scope.Base |
| ResolveInstanceHead | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| resolveInstanceHead | Mikan.TypeChecking.InstanceArguments |
| ResolveInstanceOF | Mikan.Interaction.Base |
| resolveModule | Mikan.Syntax.Scope.Monad |
| resolveName | Mikan.Syntax.Scope.Monad |
| resolveName' | Mikan.Syntax.Scope.Monad |
| respInScope | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| respLetValue | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Response | Mikan.Interaction.Response |
| response | Mikan.Interaction.Emacs.Lisp |
| ResponseContextEntry | |
| 1 (Type/Class) | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| 2 (Data Constructor) | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Response_boot | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| respOrigName | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| respReifName | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| respType | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_ClearHighlighting | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_ClearRunningInfo | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_DisplayInfo | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_DoneAborting | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_DoneExiting | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_GiveAction | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_HighlightingInfo | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_InteractionPoints | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_JumpToError | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_MakeCase | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_Mimer | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_RunningInfo | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_SolveAll | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Resp_Status | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| restorePostScopeState | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| restrictKeys | Mikan.Utils.Map1 |
| restrictLocalPrivate | Mikan.Syntax.Scope.Base |
| restrictPrivate | Mikan.Syntax.Scope.Base |
| restrictTo | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| Result | |
| 1 (Type/Class) | Mikan.Utils.ExpandCase |
| 2 (Type/Class) | Mikan.Termination.TermCheck |
| resultBlocker | Mikan.TypeChecking.DiscrimTree |
| ResultExpr | Mikan.Mimer.Types |
| resultValues | Mikan.TypeChecking.DiscrimTree |
| Retract | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| returnExpr | Mikan.Syntax.Concrete |
| ReturnInOrder | Mikan.Utils.GetOpt |
| returnTCMT | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RevealDotPattern | Mikan.Interaction.MakeCase |
| RevealHiddenVariable | Mikan.Interaction.MakeCase |
| reverse | Mikan.Utils.List1 |
| Reversed | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reversed | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reverseP | Mikan.Utils.Permutation |
| Reversing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| reversing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| revisitRecordPatternTranslation | Mikan.TypeChecking.Rules.Decl |
| revLift | Mikan.Interaction.Command |
| revLiftTC | Mikan.Interaction.Command |
| Rewrite | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Interaction.Base |
| RewriteEqn | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| RewriteEqn' | Mikan.Syntax.Common |
| rewriteExprs | Mikan.Syntax.Abstract |
| RewriteRHS | Mikan.Syntax.Abstract |
| rewriteRHS | Mikan.Syntax.Abstract |
| RewriteRHSS | Mikan.Syntax.Abstract |
| RewritesNothing | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RewritesNothing_ | Mikan.Interaction.Options.Warnings |
| rewriteStrippedPats | Mikan.Syntax.Abstract |
| rewriteWhereDecls | Mikan.Syntax.Abstract |
| rfcEra | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| rfcFiles | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| RHS | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| RHS' | Mikan.Syntax.Concrete |
| rhsConcrete | Mikan.Syntax.Abstract |
| rhsExpr | Mikan.Syntax.Abstract |
| RHSOrTypeSigs | Mikan.Syntax.Parser.Helpers |
| RHSS | Mikan.Syntax.Abstract |
| RHSSpine | Mikan.Syntax.Abstract |
| rhsSpine | Mikan.Syntax.Abstract |
| ribbonsPerLine | Mikan.Syntax.Common.Pretty |
| RightAssoc | Mikan.Syntax.Common |
| rightIdiomBrkt | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| rightMargin | Mikan.Syntax.Position |
| RightOperandCtx | Mikan.Syntax.Fixity |
| RightPK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| rights | Mikan.Utils.List1 |
| RigidK | Mikan.TypeChecking.DiscrimTree.Types |
| rigidVars | Mikan.TypeChecking.Free |
| rigidVarsNotContainedIn | Mikan.TypeChecking.MetaVars.Occurs |
| RLiteral | Mikan.Syntax.Literal |
| rmap | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| rmapping | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| rmvInstantiation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| rmvJudgement | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| rollback | Mikan.Syntax.Parser.LookAhead |
| RollBackMetas | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Root | Mikan.TypeChecking.Positivity.Occurrence |
| root | Mikan.Utils.CompressedTrie |
| rootNameModule | Mikan.Interaction.FindFile |
| RootNameModuleNotAQualifiedModuleName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| roundFixBrackets | Mikan.Syntax.Fixity |
| row | Mikan.Termination.SparseMatrix |
| rows | Mikan.Termination.SparseMatrix |
| rparen | Mikan.Syntax.Common.Pretty |
| rStart | Mikan.Syntax.Position |
| rStart' | Mikan.Syntax.Position |
| RstFileType | Mikan.Syntax.Common |
| RString | Mikan.Syntax.Common |
| rToR | Mikan.Interaction.Highlighting.Range |
| rtrim | Mikan.Utils.String |
| runAgdaArgs | Mikan.Main |
| runAgdaWithOptions | Mikan.Main |
| runBazaar | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runBazaar1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runBlocked | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runBuiltinAccess | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runChange | Mikan.Utils.Update |
| runChangeT | Mikan.Utils.Update |
| runHighlighter | Mikan.Interaction.Highlighting.FromAbstract |
| runIdentity | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runIM | Mikan.Interaction.Monad |
| runInteraction | Mikan.Interaction.InteractionTop |
| runLexAction | Mikan.Syntax.Parser.Alex |
| runLibM | Mikan.Interaction.Library.Base |
| runListT | Mikan.Utils.ListT |
| runLogHtmlWith | Mikan.Interaction.Highlighting.HTML.Base |
| runLookAhead | Mikan.Syntax.Parser.LookAhead |
| RunMetaOccursCheck | |
| 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 |
| runMikan | Mikan.Main |
| runMikan' | Mikan.Main |
| runMListT | Mikan.Utils.ListT |
| runNames | Mikan.TypeChecking.Names |
| runNamesT | Mikan.TypeChecking.Names |
| runNice | Mikan.Syntax.Concrete.Definitions.Monad, Mikan.Syntax.Concrete.Definitions |
| runOptM | Mikan.Interaction.Options |
| runP | Mikan.Interaction.Library.Parse |
| runPM | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runPMDropWarnings | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runPMIO | Mikan.Syntax.Parser |
| runPureConversion | Mikan.TypeChecking.Conversion.Pure |
| runReader | Mikan.Utils.StrictReader |
| runReaderT | Mikan.Utils.StrictReader |
| RunRecordPatternTranslation | |
| 1 (Type/Class) | Mikan.TypeChecking.CompiledClause.Compile |
| 2 (Data Constructor) | Mikan.TypeChecking.CompiledClause.Compile |
| runReduceM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runSafeTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runState | |
| 1 (Function) | Mikan.Utils.StrictState |
| 2 (Function) | Mikan.Utils.StrictState2 |
| runState# | |
| 1 (Function) | Mikan.Utils.StrictState |
| 2 (Function) | Mikan.Utils.StrictState2 |
| runStateT | Mikan.Utils.StrictState |
| runStateT# | Mikan.Utils.StrictState |
| runStConcreteNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runTCMPrettyErrors | Mikan.Main |
| runTCMTop | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runTCMTop' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| runTer | Mikan.Termination.Monad |
| runTerDefault | Mikan.Termination.Monad |
| runUnifyLogT | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| runUnquoteM | Mikan.TypeChecking.Unquote |
| runUpdaterT | Mikan.Utils.Update |
| runWriter | Mikan.Utils.StrictWriter |
| runWriterT | Mikan.Utils.StrictWriter |