Index - F
| Face | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FaceConstraintCannotBeHidden | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FaceConstraintCannotBeHidden_ | Mikan.Interaction.Options.Warnings |
| FaceConstraintCannotBeNamed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FaceConstraintCannotBeNamed_ | Mikan.Interaction.Options.Warnings |
| FaceConstraintDisjunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FaceConstraintDisjunction_ | Mikan.Interaction.Options.Errors |
| FaceConstraintUnsatisfiable | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FaceConstraintUnsatisfiable_ | Mikan.Interaction.Options.Errors |
| faceEqns | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| faceRHS | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| factor | Mikan.Utils.Hash |
| Fail | Mikan.TypeChecking.CompiledClause |
| FailAsTermsOf | Mikan.TypeChecking.Conversion.Errors |
| FailAsTypes | Mikan.TypeChecking.Conversion.Errors |
| failConversion | Mikan.TypeChecking.Conversion.Errors, Mikan.TypeChecking.Conversion |
| FailedCompareAs | Mikan.TypeChecking.Conversion.Errors |
| failing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| failOnRecordFieldWarnings | Mikan.TypeChecking.Records |
| failover | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fallThrough | Mikan.TypeChecking.CompiledClause |
| false | Mikan.Utils.Boolean |
| FamilyOrNot | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| familyOrNot | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| famThing | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| farEmpty | Mikan.TypeChecking.Serialise.Base |
| fastDistinct | Mikan.Utils.List |
| fastNormalise | Mikan.TypeChecking.Reduce.Fast |
| fastReduce | Mikan.TypeChecking.Reduce.Fast |
| Favorites | Mikan.Utils.Favorites |
| fcat | Mikan.Syntax.Common.Pretty |
| fiber | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Field | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| 4 (Type/Class) | Mikan.Syntax.Abstract |
| Field1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field10 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field11 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field12 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field13 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field14 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field15 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field16 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field17 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field18 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field19 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field2 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field3 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field4 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field5 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field6 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field7 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field8 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Field9 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FieldAssignment | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| FieldAssignment' | Mikan.Syntax.Concrete |
| FieldBlock | Mikan.Syntax.Concrete.Definitions.Types |
| fieldLabelModifier | Mikan.Interaction.JSON |
| FieldName | Mikan.Syntax.Scope.Base |
| FieldOutsideRecord | Mikan.Syntax.Scope.Errors |
| FieldOutsideRecord_ | Mikan.Interaction.Options.Errors |
| FieldOverlap | Mikan.Syntax.Common |
| FieldS | Mikan.Syntax.Abstract |
| Fields | |
| 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 |
| FieldSig | Mikan.Syntax.Concrete |
| figureOutTopLevelModule | Mikan.Syntax.Parser.Helpers |
| File | Mikan.Utils.FileId |
| FileDict | |
| 1 (Type/Class) | Mikan.Utils.FileId |
| 2 (Data Constructor) | Mikan.Utils.FileId |
| fileDict | |
| 1 (Function) | Mikan.Utils.FileId |
| 2 (Function) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FileDictBuilder | |
| 1 (Type/Class) | Mikan.Utils.FileId, Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.Utils.FileId |
| fileDictBuilder | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FileDictWithBuiltins | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fileFromId | Mikan.Utils.FileId, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FileId | |
| 1 (Type/Class) | Mikan.Utils.FileId, Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.Utils.FileId |
| fileModuleName | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fileModuleSourceFile | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FileNotFound | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FileNotFound_ | Mikan.Interaction.Options.Errors |
| filePath | Mikan.Utils.FileName |
| filePathMemo | Mikan.TypeChecking.Serialise.Base |
| filePos | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| FileToId | Mikan.Utils.FileId |
| fileToId | Mikan.Utils.FileId |
| FileType | Mikan.Syntax.Common |
| filter | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.Map1 |
| 5 (Function) | Mikan.Utils.Trie |
| filter' | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| filterAndRest | Mikan.Utils.List |
| filterCallStack | Mikan.Utils.CallStack |
| FilterCandidates | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| filterEdges | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| filterGE | Mikan.Utils.VarSet |
| filterGT | Mikan.Utils.VarSet |
| filterKeys | Mikan.Utils.Map |
| filterLE | Mikan.Utils.VarSet |
| filterLT | Mikan.Utils.VarSet |
| filterM | Mikan.Utils.Monad |
| filterMaybe | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| filterNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| filterNodesKeepingEdges | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| filterOutGeneralizedVarPatterns | Mikan.Interaction.MakeCase |
| filterScope | Mikan.Syntax.Scope.Base |
| filterTCWarnings | Mikan.TypeChecking.Pretty.Warning |
| filterVarMap | Mikan.TypeChecking.Free |
| filterVarMapToList | Mikan.TypeChecking.Free |
| filterWithKey | Mikan.Utils.Map1 |
| FinalChecks | Mikan.TypeChecking.Rules.Decl |
| finally | |
| 1 (Function) | Mikan.Utils.Monad |
| 2 (Function) | Mikan.Utils.Benchmark |
| finally_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| find | Mikan.Utils.List1 |
| FindError | Mikan.Interaction.FindFile |
| findErrorToTypeError | Mikan.Interaction.FindFile |
| findFile | Mikan.Interaction.FindFile |
| findFile' | Mikan.Interaction.FindFile |
| findFile'' | Mikan.Interaction.FindFile |
| findFile'_ | Mikan.Interaction.FindFile |
| findIdx | Mikan.TypeChecking.MetaVars |
| findIndex | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| FindInstance | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| findInstance | Mikan.TypeChecking.InstanceArguments |
| FindInstanceOF | Mikan.Interaction.Base |
| findInteractionPoint_ | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| findInterfaceFile | Mikan.Interaction.FindFile |
| findInterfaceFile' | Mikan.Interaction.FindFile |
| findLib' | Mikan.Interaction.Library |
| findM | Mikan.Utils.Monad |
| findMax | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| findMentions | Mikan.Interaction.SearchAbout |
| findMin | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| findNameInScope | Mikan.Syntax.Scope.Base |
| findOverlap | Mikan.Utils.List |
| findPossibleRecords | Mikan.TypeChecking.Records |
| findProjectRoot | Mikan.Interaction.Library |
| findWithDefault | Mikan.Utils.Map1 |
| findWithIndex | Mikan.Utils.List |
| findWithIndex' | Mikan.Utils.List |
| findWithInfo | Mikan.Utils.IO.Directory |
| fingerprintNoinline | Mikan.TypeChecking.Serialise.Base |
| Finished | Mikan.TypeChecking.Conversion.Errors |
| first | Mikan.Utils.Tuple |
| firstHole | Mikan.Utils.Zipper |
| firsting | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| firstM | Mikan.Utils.Tuple |
| firstMeta | Mikan.Syntax.Internal.MetaVars |
| firstNonTakenName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| firstOr | Mikan.Mimer.Options |
| firstPart | Mikan.TypeChecking.Telescope |
| fitsIn | Mikan.TypeChecking.Rules.Data |
| fittingNamedArg | Mikan.Syntax.Common |
| Fixities | Mikan.Syntax.Concrete.Fixity |
| fixitiesAndPolarities | Mikan.Syntax.Concrete.Fixity |
| Fixity | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| Fixity' | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| fixityAssoc | Mikan.Syntax.Common |
| FixityInRenamingModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FixityInRenamingModule_ | Mikan.Interaction.Options.Warnings |
| FixityLevel | Mikan.Syntax.Common |
| fixityLevel | Mikan.Syntax.Common |
| fixityRange | Mikan.Syntax.Common |
| Flag | Mikan.Interaction.Options, Mikan.Compiler.Backend |
| Flags64 | |
| 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 |
| flattenContext | Mikan.TypeChecking.Telescope |
| flattenRevTel | Mikan.TypeChecking.Telescope |
| flattenTel | Mikan.TypeChecking.Telescope |
| FldName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| flexArgInfo | Mikan.TypeChecking.Rules.LHS.Problem |
| FlexChoice | Mikan.TypeChecking.Rules.LHS.Problem |
| flexForced | Mikan.TypeChecking.Rules.LHS.Problem |
| Flexible | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| FlexibleVar | |
| 1 (Type/Class) | Mikan.TypeChecking.Rules.LHS.Problem |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Problem |
| FlexibleVarKind | Mikan.TypeChecking.Rules.LHS.Problem |
| FlexibleVars | Mikan.TypeChecking.Rules.LHS.Problem |
| flexibleVars | Mikan.TypeChecking.Free |
| FlexK | Mikan.TypeChecking.DiscrimTree.Types |
| flexKind | Mikan.TypeChecking.Rules.LHS.Problem |
| flexPos | Mikan.TypeChecking.Rules.LHS.Problem |
| FlexRig | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| FlexRig' | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| flexRigOccurrenceIn | Mikan.TypeChecking.Free |
| flexRigToBlocker | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| flexVar | Mikan.TypeChecking.Rules.LHS.Problem |
| flexVars | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| flipCmp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| flipP | Mikan.Utils.Permutation |
| flipped | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| float | Mikan.Syntax.Common.Pretty |
| Floating | Mikan.TypeChecking.Conversion.Errors |
| flushInstanceConstraints | Mikan.TypeChecking.InstanceArguments |
| fmapReduce | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fmapTCMT | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fold | Mikan.Utils.Set |
| foldA | Mikan.Utils.Applicative |
| foldable | Mikan.Interaction.JSON |
| foldAPattern | Mikan.Syntax.Abstract.Pattern |
| foldCPattern | Mikan.Syntax.Concrete.Pattern |
| FoldDecl | Mikan.Syntax.Concrete.Generic |
| foldDecl | Mikan.Syntax.Concrete.Generic |
| foldExpr | |
| 1 (Function) | Mikan.Syntax.Concrete.Generic |
| 2 (Function) | Mikan.Syntax.Abstract.Views |
| FoldExprFn | Mikan.Syntax.Abstract.Views |
| FoldExprRecFn | Mikan.Syntax.Abstract.Views |
| foldl | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.VarSet |
| foldl' | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.MinimalArray.Prim |
| 5 (Function) | Mikan.Utils.VarSet |
| foldl1 | |
| 1 (Function) | Mikan.Utils.Set1 |
| 2 (Function) | Mikan.Utils.Map1 |
| foldl1' | |
| 1 (Function) | Mikan.Utils.Set1 |
| 2 (Function) | Mikan.Utils.Map1 |
| foldListT | Mikan.Utils.ListT |
| foldlWithKey | Mikan.Utils.Map1 |
| foldlWithKey' | Mikan.Utils.Map1 |
| foldM | Mikan.Utils.Monad |
| foldMapA | Mikan.Utils.Applicative |
| foldMapWithKey | Mikan.Utils.Map1 |
| foldMatch | Mikan.TypeChecking.Patterns.Match |
| foldPattern | Mikan.Syntax.Internal.Pattern |
| Foldr | Mikan.Utils.TypeLevel |
| foldr | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.VarSet |
| 5 (Function) | Mikan.Utils.List1 |
| Foldr' | Mikan.Utils.TypeLevel |
| foldr' | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.MinimalArray.Prim |
| 5 (Function) | Mikan.Utils.VarSet |
| foldr1 | |
| 1 (Function) | Mikan.Utils.Set1 |
| 2 (Function) | Mikan.Utils.Map1 |
| foldr1' | |
| 1 (Function) | Mikan.Utils.Set1 |
| 2 (Function) | Mikan.Utils.Map1 |
| foldrAPattern | Mikan.Syntax.Abstract.Pattern |
| foldrCPattern | Mikan.Syntax.Concrete.Pattern |
| foldrMetaSet | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| foldrPattern | Mikan.Syntax.Internal.Pattern |
| foldrTelescopeM | Mikan.TypeChecking.Telescope |
| foldrWithKey | Mikan.Utils.Map1 |
| foldrWithKey' | Mikan.Utils.Map1 |
| foldTeleIndices | Mikan.Syntax.Internal.Telescope |
| foldTerm | Mikan.Syntax.Internal.Generic |
| followedBy | Mikan.Syntax.Parser.LexActions |
| forallFaceMaps | Mikan.TypeChecking.Conversion |
| forallM | Mikan.Utils.Monad |
| forallPi | Mikan.Syntax.Parser.Helpers |
| forallQ | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| forAssocs | Mikan.Utils.HashTable |
| forAssocsAccum | Mikan.Utils.HashTable |
| Forced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ForcedConstructorNotInstantiated | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ForcedConstructorNotInstantiated_ | Mikan.Interaction.Options.Errors |
| forceEtaExpandRecord | Mikan.TypeChecking.Records |
| forceNoAbs | Mikan.TypeChecking.Free.Reduce |
| forceNoAbsSort | Mikan.TypeChecking.Free.Reduce |
| ForceNotFree | Mikan.TypeChecking.Free.Reduce |
| forceNotFree | Mikan.TypeChecking.Free.Reduce |
| forcePiUsingInjectivity | Mikan.TypeChecking.Injectivity |
| forceSort | Mikan.TypeChecking.Rules.Data |
| ForeignCode | |
| 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 |
| ForeignCodeStack | |
| 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 |
| ForeignPragma | Mikan.Syntax.Concrete |
| forEither3M | Mikan.Utils.Three |
| forgetAll | Mikan.Utils.IndexedList |
| forgetIndex | Mikan.Utils.IndexedList |
| forgetLoneSigs | Mikan.Syntax.Concrete.Definitions.Monad |
| forGood_ | Mikan.Utils.Map |
| forkTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| forM | Mikan.Utils.Monad |
| forM' | Mikan.Utils.Monad |
| formatDebugMessage | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| formatDebugMessageTCM | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| formatLibError | Mikan.Interaction.Library.Base |
| formatLibErrors | Mikan.Interaction.Library.Base |
| formatLibPositionInfo | Mikan.Interaction.Library.Base |
| forMaybe | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| forMaybeM | Mikan.Utils.Monad |
| forMaybeMM | Mikan.Utils.Monad |
| forMGood | Mikan.Utils.Monad |
| forMGood_ | Mikan.Utils.Monad |
| forMM | Mikan.Utils.Monad |
| forMM_ | Mikan.Utils.Monad |
| forMOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| forM_ | Mikan.Utils.Monad |
| forOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| forWithKey_ | Mikan.Utils.Map |
| Frame | Mikan.TypeChecking.CompiledClause.Match |
| Free | |
| 1 (Type/Class) | Mikan.TypeChecking.Free.Generic, Mikan.TypeChecking.Free |
| 2 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| freeIn | Mikan.TypeChecking.Free |
| freeInIgnoringSorts | Mikan.TypeChecking.Free |
| freeVarCounts | Mikan.TypeChecking.Free |
| FreeVariables | Mikan.Syntax.Common |
| freeVariablesFromList | Mikan.Syntax.Common |
| freeVarList | Mikan.TypeChecking.Free |
| freeVarMap | Mikan.TypeChecking.Free |
| freeVarMapIgnoreAnn | Mikan.TypeChecking.Free |
| freeVars | Mikan.TypeChecking.Free.Generic, Mikan.TypeChecking.Free |
| freeVarSet | Mikan.TypeChecking.Free |
| freeVarsToApply | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freeze | |
| 1 (Function) | Mikan.Utils.MinimalArray.MutablePrim |
| 2 (Function) | Mikan.Utils.MinimalArray.MutableLifted |
| freezeMetas | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fresh | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freshAbstractName | Mikan.Syntax.Scope.Monad |
| freshAbstractName_ | Mikan.Syntax.Scope.Monad |
| freshAbstractQName | Mikan.Syntax.Scope.Monad |
| freshAbstractQName' | Mikan.Syntax.Scope.Monad |
| freshAbstractQName'_ | Mikan.TypeChecking.Rules.Data |
| FreshAndReuse | Mikan.TypeChecking.Serialise.Base |
| freshConcreteName | Mikan.Syntax.Scope.Monad |
| freshInteractionId | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freshLens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FreshName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freshName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FreshNameMode | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Concrete, Mikan.Syntax.Abstract |
| FreshNameWhileElaborating | Mikan.TypeChecking.Unquote.Errors |
| freshName_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freshNoName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freshNoName_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FreshRecCon | Mikan.Syntax.Abstract |
| freshRecordName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| freshTCM | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| from | |
| 1 (Function) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Function) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| fromAmbQName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| FromArgs | Mikan.Interaction.JSON |
| fromArrow | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| fromAscList | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.SmallSet |
| fromAscListWith | Mikan.Utils.Map1 |
| fromAscListWithKey | Mikan.Utils.Map1 |
| fromBlocked | Mikan.TypeChecking.Reduce |
| fromBool | Mikan.Utils.Boolean |
| fromBool1 | Mikan.Utils.Boolean |
| fromBool2 | Mikan.Utils.Boolean |
| fromCallSiteList | Mikan.Utils.CallStack |
| fromCmp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fromConPatternInfo | Mikan.Syntax.Internal.Pattern |
| fromCType | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| fromDescList | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.VarSet |
| fromDescListWith | Mikan.Utils.Map1 |
| fromDescListWithKey | Mikan.Utils.Map1 |
| fromDistinctAscendingLists | Mikan.Utils.BiMap |
| fromDistinctAscendingListsPrecondition | Mikan.Utils.BiMap |
| fromDistinctAscList | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.SmallSet |
| fromDistinctDescList | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| fromDotNetTime | Mikan.Interaction.JSON |
| fromEdges | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| fromEdgesWith | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| fromEncoding | Mikan.Interaction.JSON |
| fromGenericGraph | Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| fromGHCArray | |
| 1 (Function) | Mikan.Utils.MinimalArray.Lifted |
| 2 (Function) | Mikan.Utils.MinimalArray.MutableLifted |
| fromImportedName | Mikan.Syntax.Common |
| fromIndexList | Mikan.Termination.SparseMatrix |
| FromJSON | Mikan.Interaction.JSON |
| fromJSON | Mikan.Interaction.JSON |
| FromJSON1 | Mikan.Interaction.JSON |
| FromJSON2 | Mikan.Interaction.JSON |
| FromJSONKey | Mikan.Interaction.JSON |
| fromJSONKey | Mikan.Interaction.JSON |
| FromJSONKeyCoerce | Mikan.Interaction.JSON |
| FromJSONKeyFunction | Mikan.Interaction.JSON |
| fromJSONKeyList | Mikan.Interaction.JSON |
| FromJSONKeyText | Mikan.Interaction.JSON |
| FromJSONKeyTextParser | Mikan.Interaction.JSON |
| FromJSONKeyValue | Mikan.Interaction.JSON |
| fromJust | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| fromLeft | Mikan.Utils.Either |
| fromLeftM | Mikan.Utils.Either |
| fromList | |
| 1 (Function) | Mikan.Utils.List1, Mikan.Utils.List2 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.Set1 |
| 5 (Function) | Mikan.Utils.BoolSet |
| 6 (Function) | Mikan.Utils.MinimalArray.Prim |
| 7 (Function) | Mikan.Utils.MinimalArray.Lifted |
| 8 (Function) | Mikan.Utils.VarSet |
| 9 (Function) | Mikan.Utils.SmallSet |
| 10 (Function) | Mikan.Utils.Singleton, Mikan.Termination.CallGraph |
| 11 (Function) | Mikan.Utils.Trie |
| 12 (Function) | Mikan.Utils.Favorites |
| 13 (Function) | Mikan.Utils.BiMap |
| fromList1 | Mikan.Utils.List2 |
| fromList1Either | Mikan.Utils.List2 |
| fromList1Maybe | Mikan.Utils.List2 |
| fromListMaybe | Mikan.Utils.List2 |
| fromListN | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.MinimalArray.Prim |
| 3 (Function) | Mikan.Utils.MinimalArray.Lifted |
| fromListPrecondition | Mikan.Utils.BiMap |
| fromLists | Mikan.Termination.SparseMatrix |
| fromListSafe | Mikan.Utils.List1 |
| fromListWith | Mikan.Utils.Map1 |
| fromListWithKey | Mikan.Utils.Map1 |
| fromLiteral | Mikan.TypeChecking.Primitive |
| fromLType | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| fromMaybe | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| fromMaybeM | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| fromMaybeMP | Mikan.Utils.Monad |
| fromMaybeT | Mikan.Utils.Maybe |
| fromMilliseconds | Mikan.Utils.Time |
| fromNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| fromNodeSet | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| fromNonOverlappingNonEmptyAscendingList | Mikan.Utils.RangeMap |
| fromOrdering | Mikan.Utils.PartialOrd |
| fromOrderings | Mikan.Utils.PartialOrd |
| fromOrdinary | Mikan.Syntax.Concrete |
| fromPatternSubstitution | Mikan.TypeChecking.Substitute |
| fromReduceDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fromReducedTerm | Mikan.TypeChecking.Primitive |
| fromRight | Mikan.Utils.Either |
| fromRightM | Mikan.Utils.Either |
| fromSet | Mikan.Utils.Map1 |
| fromSomeDiagnostic | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| fromSplitPattern | Mikan.TypeChecking.Coverage.SplitPattern |
| fromSplitPatterns | Mikan.TypeChecking.Coverage.SplitPattern |
| FromTerm | Mikan.TypeChecking.Primitive |
| fromTerm | Mikan.TypeChecking.Primitive |
| FromTermFunction | Mikan.TypeChecking.Primitive |
| FrontEndBuildLibrary | Mikan.Main |
| FrontEndEmacs | Mikan.Main |
| FrontEndInteraction | Mikan.Main |
| FrontEndJson | Mikan.Main |
| FrontendType | Mikan.Main |
| Frozen | |
| 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 |
| fsep | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| fst | Mikan.Utils.Tuple.Strict |
| Full | Mikan.Interaction.Highlighting.Generate |
| full | Mikan.Utils.VarSet |
| fullBoundary | Mikan.TypeChecking.Telescope |
| fullRender | Mikan.Syntax.Common.Pretty |
| fullRenderAnn | Mikan.Syntax.Common.Pretty |
| fullyApplyCon | Mikan.TypeChecking.Datatypes |
| fullyApplyCon' | Mikan.TypeChecking.Datatypes |
| Fun | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| 3 (Type/Class) | Mikan.TypeChecking.Primitive |
| funAbstr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunAbstract | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funAbstract | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funAbstract_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funAbstr_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunClause | Mikan.Syntax.Concrete |
| funClauseOrTypeSigs | Mikan.Syntax.Parser.Helpers |
| funClauses | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funCompiled | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funCovering | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Function | |
| 1 (Type/Class) | Mikan.Utils.TypeLevel |
| 2 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 3 (Data Constructor) | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| 4 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunctionCtx | Mikan.Syntax.Fixity |
| FunctionData | |
| 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 |
| FunctionDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunctionFlag | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunctionInverse | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| functionInverse | Mikan.TypeChecking.Injectivity |
| FunctionInverse' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunctionReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunctionSpaceDomainCtx | Mikan.Syntax.Fixity |
| FunDef | |
| 1 (Data Constructor) | Mikan.Syntax.Reflected |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| FunDefS | Mikan.Syntax.Abstract |
| funExtLam | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunFirstOrder | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funFirstOrder | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funFlag | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funFlags | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funFlag_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunInline | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funInline | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funInv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funIsKanOp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunMacro | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funMacro | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funMacro_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funMutual | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunName | |
| 1 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types |
| FunName_ | Mikan.Interaction.Options.Errors |
| funOpaque | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunProj | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funProj | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funProj_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FunSig | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| FunSort | Mikan.Syntax.Internal.Term |
| funSort | Mikan.TypeChecking.Substitute |
| funSort' | Mikan.TypeChecking.Substitute |
| funSortM | Mikan.TypeChecking.Substitute |
| funSortM' | Mikan.TypeChecking.Substitute |
| funSplitTree | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funTerminates | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| funUniv | Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term |
| funWith | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| fuseIntervals | Mikan.Syntax.Position |
| fuseRange | Mikan.Syntax.Position |
| fuseRanges | Mikan.Syntax.Position |
| fusing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| FVs | Mikan.TypeChecking.MetaVars |
| Fwd | |
| 1 (Data Constructor) | Mikan.Utils.Monoid |
| 2 (Type/Class) | Mikan.Utils.Monoid |
| fwords | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |