Index - P
| package | Mikan.Version |
| PackIWF | Mikan.Syntax.Position |
| packUnquoteM | Mikan.TypeChecking.Unquote |
| packW64 | Mikan.Utils.Word |
| pad | Mikan.Utils.ListInf |
| PageMode | Mikan.Syntax.Common.Pretty |
| Pair | |
| 1 (Type/Class) | Mikan.Utils.Tuple.Strict |
| 2 (Type/Class) | Mikan.Utils.Tuple |
| 3 (Data Constructor) | Mikan.Utils.Tuple |
| 4 (Data Constructor) | Mikan.Utils.TypeLevel |
| PairInt | Mikan.Utils.RangeMap |
| pairs | Mikan.Interaction.JSON |
| Parallel | Mikan.Interaction.Options |
| Parallelism | Mikan.Interaction.Options |
| parallelS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| Parameters | Mikan.Syntax.Concrete |
| parametersToDefParameters | Mikan.Syntax.Concrete |
| parametersToTelescope | Mikan.Syntax.Concrete |
| Paren | Mikan.Syntax.Concrete |
| ParenP | Mikan.Syntax.Concrete |
| ParenPreference | Mikan.Syntax.Fixity |
| parens | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| parens' | Mikan.Interaction.Base |
| parensNonEmpty | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| parentPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| parentProjectionOrigin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ParenV | Mikan.Syntax.Concrete.Operators.Parser |
| Parse | Mikan.Interaction.Base |
| parse | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| 3 (Function) | Mikan.Syntax.Parser.Monad |
| 4 (Function) | Mikan.Syntax.Parser |
| 5 (Function) | Mikan.Syntax.Concrete.Operators.Parser |
| parseAndDoAtToplevel | Mikan.Interaction.InteractionTop |
| parseApplication | Mikan.Syntax.Concrete.Operators |
| parseArguments | Mikan.Syntax.Concrete.Operators |
| parseAttributes | Mikan.Syntax.Parser.Monad |
| parseBackendOptions | Mikan.Compiler.Backend |
| parseBrackets | Mikan.Syntax.Parser.Monad |
| ParseError | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| parseError | Mikan.Syntax.Parser.Monad |
| parseError' | Mikan.Syntax.Parser.Monad |
| parseErrorAt | Mikan.Syntax.Parser.Monad |
| parseErrorRange | Mikan.Syntax.Parser.Monad |
| parseExpr | Mikan.Interaction.BasicOps |
| parseExprFromAuto | Mikan.Interaction.InteractionTop |
| parseExprIn | Mikan.Interaction.BasicOps |
| ParseFailed | Mikan.Syntax.Parser.Monad |
| parseFile | Mikan.Syntax.Parser |
| ParseFlags | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Monad |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Monad |
| parseFlags | Mikan.Syntax.Parser.Monad |
| parseFromSrc | Mikan.Syntax.Parser.Monad |
| parseIdiomBracketsSeq | Mikan.Syntax.IdiomBrackets |
| parseIndexedJSON | Mikan.Interaction.JSON |
| parseInp | Mikan.Syntax.Parser.Monad |
| parseIOTCM | Mikan.Interaction.Base |
| parseJSON | Mikan.Interaction.JSON |
| parseJSON1 | Mikan.Interaction.JSON |
| parseJSON2 | Mikan.Interaction.JSON |
| parseJSONList | Mikan.Interaction.JSON |
| parseKeepComments | Mikan.Syntax.Parser.Monad |
| parseLastPos | Mikan.Syntax.Parser.Monad |
| parseLayKw | Mikan.Syntax.Parser.Monad |
| parseLayout | Mikan.Syntax.Parser.Monad |
| parseLayStatus | Mikan.Syntax.Parser.Monad |
| parseLexState | Mikan.Syntax.Parser.Monad |
| parseLHS | Mikan.Syntax.Concrete.Operators |
| parseLibFile | Mikan.Interaction.Library.Parse |
| parseLibName | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| parseName | Mikan.Interaction.BasicOps |
| ParseOk | Mikan.Syntax.Parser.Monad |
| parseOptions | Mikan.Mimer.Options |
| parsePattern | Mikan.Syntax.Concrete.Operators |
| parsePatternSyn | Mikan.Syntax.Concrete.Operators |
| parsePluginOptions | Mikan.Interaction.Options |
| parsePolarity | Mikan.Syntax.Parser.Helpers |
| parsePos | Mikan.Syntax.Parser.Monad |
| parsePosString | |
| 1 (Function) | Mikan.Syntax.Parser.Monad |
| 2 (Function) | Mikan.Syntax.Parser |
| parsePragmaOptions | Mikan.Interaction.Options |
| parsePrevChar | Mikan.Syntax.Parser.Monad |
| parsePrevToken | Mikan.Syntax.Parser.Monad |
| Parser | |
| 1 (Type/Class) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Type/Class) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| 3 (Type/Class) | Mikan.Syntax.Parser.Monad |
| 4 (Type/Class) | Mikan.Syntax.Parser |
| parseRangeString | Mikan.Syntax.Parser |
| parserBased | Mikan.Interaction.Highlighting.Precise |
| ParserClass | Mikan.Utils.Parser.MemoisedCPS |
| ParserError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ParseResult | Mikan.Syntax.Parser.Monad |
| ParserWithGrammar | Mikan.Utils.Parser.MemoisedCPS |
| ParseSections | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Operators.Parser |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Operators.Parser |
| parseSource | Mikan.Interaction.Imports |
| parseSrcFile | Mikan.Syntax.Parser.Monad |
| ParseState | Mikan.Syntax.Parser.Monad |
| parseTime | Mikan.Mimer.Options |
| parseToReadsPrec | Mikan.Interaction.Base |
| parseVariables | Mikan.Interaction.MakeCase |
| parseVerboseKey | Mikan.Interaction.Options |
| ParseWarning | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| parseWarning | Mikan.Syntax.Parser.Monad |
| parseWarningName | Mikan.Syntax.Parser.Monad |
| parseWarnings | Mikan.Syntax.Parser.Monad |
| Parsing | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| Partial | Mikan.Interaction.Highlighting.Generate |
| PartialOrd | Mikan.Utils.PartialOrd |
| PartialOrdering | Mikan.Utils.PartialOrd |
| partition | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.Map1 |
| partition' | Mikan.Utils.List |
| partition3 | Mikan.Utils.Three |
| partitionEithers | Mikan.Utils.List1 |
| partitionEithers' | Mikan.Utils.List |
| partitionEithers3 | Mikan.Utils.Three |
| partitionImportedNames | Mikan.Syntax.Common |
| partitionKeys | Mikan.Utils.Map |
| partitionM | Mikan.Utils.Monad |
| partitionMap | Mikan.Utils.Map |
| partitionMaybe | Mikan.Utils.List |
| partitionStepResult | Mikan.Mimer.Monad |
| partitionWithKey | Mikan.Utils.Map1 |
| partP | Mikan.Syntax.Concrete.Operators.Parser |
| partsOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| partsOf' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pass | Mikan.Utils.StrictWriter |
| passing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| patAsNames | Mikan.Syntax.Internal.Pattern |
| path | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| PathAbstractionFailed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PathAbstractionFailed_ | Mikan.Interaction.Options.Errors |
| PathCons | Mikan.TypeChecking.Rules.Data |
| pathLevel | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathLhs | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathName | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathRhs | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathSort | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathTelescope' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| PathType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathUnview | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PathView | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathView | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathView' | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pathViewAsPi | Mikan.TypeChecking.Telescope |
| pathViewAsPi' | Mikan.TypeChecking.Telescope |
| pathViewAsPi'whnf | Mikan.TypeChecking.Telescope |
| PatInfo | Mikan.Syntax.Info |
| PatLamWithoutClauses | Mikan.TypeChecking.Unquote.Errors |
| patmMetas | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| patmRemainder | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| patNoRange | Mikan.Syntax.Info |
| PatOAbsurd | Mikan.Syntax.Internal.Pattern |
| PatOCon | Mikan.Syntax.Internal.Pattern |
| PatODot | Mikan.Syntax.Internal.Pattern |
| PatOLit | Mikan.Syntax.Internal.Pattern |
| PatORec | Mikan.Syntax.Internal.Pattern |
| PatOrigin | Mikan.Syntax.Internal.Pattern |
| patOrigin | Mikan.Syntax.Internal.Pattern |
| PatOSplit | Mikan.Syntax.Internal.Pattern |
| PatOSplitArg | Mikan.Syntax.Internal.Pattern |
| PatOSystem | Mikan.Syntax.Internal.Pattern |
| PatOVar | Mikan.Syntax.Internal.Pattern |
| PatOWild | Mikan.Syntax.Internal.Pattern |
| PatRange | Mikan.Syntax.Info |
| patsToElims | Mikan.TypeChecking.With |
| patSynParams | Mikan.Syntax.Abstract |
| patSynPat | Mikan.Syntax.Abstract |
| Pattern | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Pattern |
| 2 (Type/Class) | Mikan.Syntax.Reflected |
| 3 (Type/Class) | Mikan.Syntax.Concrete |
| 4 (Type/Class) | Mikan.Syntax.Abstract |
| Pattern' | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Pattern |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| patternAppView | Mikan.Syntax.Concrete.Pattern |
| patternBinder | Mikan.Syntax.Concrete.Operators.Parser |
| PatternBound | Mikan.Syntax.Scope.Base |
| patternDepth | Mikan.Termination.Monad |
| PatternErr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PatternInfo | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Pattern |
| patternInfo | Mikan.Syntax.Internal.Pattern |
| PatternInPathLambda | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PatternInPathLambda_ | Mikan.Interaction.Options.Errors |
| PatternInSystem | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PatternInSystem_ | Mikan.Interaction.Options.Errors |
| patternInTeleName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PatternLambdas | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PatternLike | Mikan.Syntax.Internal.Pattern |
| PatternMatching | Mikan.Syntax.Common |
| PatternMatchingAllowed | Mikan.Syntax.Common |
| patternMatchingAllowed | Mikan.Syntax.Common |
| patternNames | Mikan.Syntax.Concrete.Pattern |
| PatternOrCopattern | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| patternOrigin | Mikan.Syntax.Internal.Pattern |
| patternQNames | Mikan.Syntax.Concrete.Pattern |
| Patterns | Mikan.Syntax.Abstract |
| PatternShadowsConstructor | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PatternShadowsConstructor_ | Mikan.Interaction.Options.Warnings |
| patternsToElims | Mikan.Syntax.Internal.Pattern |
| PatternSubstitution | Mikan.Syntax.Internal.Pattern |
| PatternSyn | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| patternSynArgs | Mikan.Syntax.Parser.Helpers |
| PatternSynDef | Mikan.Syntax.Abstract |
| PatternSynDefn | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| PatternSynDefns | Mikan.Syntax.Abstract |
| PatternSynDefS | Mikan.Syntax.Abstract |
| PatternSynName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| PatternSynonymArgumentShadows | Mikan.Syntax.Scope.Errors |
| PatternSynonymArgumentShadows_ | Mikan.Interaction.Options.Errors |
| PatternSynonymError | Mikan.Syntax.Scope.Errors |
| PatternSynP | Mikan.Syntax.Abstract |
| PatternSynResName | Mikan.Syntax.Scope.Base |
| patternToElim | Mikan.Syntax.Internal.Pattern |
| PatternToExpr | Mikan.Syntax.Abstract.Pattern |
| patternToExpr | Mikan.Syntax.Abstract.Pattern |
| patternToModuleBound | Mikan.Syntax.Scope.Base |
| patternToNames | Mikan.Syntax.Parser.Helpers |
| patternToTerm | Mikan.Syntax.Internal.Pattern |
| patternVariables | Mikan.TypeChecking.Rules.LHS.Problem |
| PatternVarOut | Mikan.Syntax.Internal.Pattern |
| PatternVars | Mikan.Syntax.Internal.Pattern |
| patternVars | |
| 1 (Function) | Mikan.Syntax.Internal.Pattern |
| 2 (Function) | Mikan.Syntax.Abstract.Pattern |
| patternView | Mikan.Syntax.Concrete.Operators.Parser |
| patternViolation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| patToExpr | Mikan.Syntax.Abstract.Pattern |
| PattPart | Mikan.TypeChecking.Unquote |
| PatVarName | Mikan.Syntax.Internal.Pattern |
| patVarNameToString | Mikan.Syntax.Internal.Pattern |
| PConstr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pDom | Mikan.Syntax.Common |
| Peano | Mikan.Utils.Size |
| performedSimplification | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| performedSimplification' | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Perm | Mikan.Utils.Permutation |
| permPicks | Mikan.Utils.Permutation |
| permRange | Mikan.Utils.Permutation |
| Permutation | Mikan.Utils.Permutation |
| permutations | Mikan.Utils.List1 |
| permutations1 | Mikan.Utils.List1 |
| Permute | Mikan.Utils.GetOpt |
| permute | Mikan.Utils.Permutation |
| permuteContext | Mikan.TypeChecking.Telescope |
| permuteTel | Mikan.TypeChecking.Telescope |
| PersistentTCSt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PersistentTCState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PersistentVerbosity | Mikan.Interaction.Options.Lenses |
| Phase | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| pHasEta0 | Mikan.Syntax.Concrete.Pretty |
| Pi | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| piAbstract | Mikan.TypeChecking.Abstract |
| piAbstractTerm | Mikan.TypeChecking.Abstract |
| piApply | Mikan.TypeChecking.Substitute |
| PiApplyArgs | Mikan.TypeChecking.Telescope |
| piApplyM | Mikan.TypeChecking.Telescope |
| piApplyM' | Mikan.TypeChecking.Telescope |
| piApplyM'' | Mikan.TypeChecking.Telescope |
| piBrackets | Mikan.Syntax.Fixity |
| pickName | Mikan.TypeChecking.Unquote |
| PiHead | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PiK | Mikan.TypeChecking.DiscrimTree.Types |
| PiNotLam | Mikan.TypeChecking.Rules.Term |
| piOrPath | Mikan.TypeChecking.Telescope |
| pipe | Mikan.Syntax.Common.Pretty |
| PiSort | Mikan.Syntax.Internal.Term |
| piSort | Mikan.TypeChecking.Substitute |
| piSort' | Mikan.TypeChecking.Substitute |
| piSortAbs | Mikan.TypeChecking.Substitute |
| piSortM | Mikan.TypeChecking.Substitute |
| PiView | |
| 1 (Type/Class) | Mikan.Syntax.Abstract.Views |
| 2 (Data Constructor) | Mikan.Syntax.Abstract.Views |
| piView | Mikan.Syntax.Abstract.Views |
| Placeholder | Mikan.Syntax.Common |
| placeholder | Mikan.Syntax.Concrete.Operators.Parser |
| plugHole | Mikan.Utils.Zipper |
| pluralS | |
| 1 (Function) | Mikan.Utils.String |
| 2 (Function) | Mikan.Syntax.Common.Pretty |
| 3 (Function) | Mikan.TypeChecking.Pretty |
| Plus | Mikan.Syntax.Internal.Term |
| PlusLevel | Mikan.Syntax.Internal.Term |
| PlusLevel' | Mikan.Syntax.Internal.Term |
| PM | |
| 1 (Type/Class) | Mikan.Syntax.Parser |
| 2 (Data Constructor) | Mikan.Syntax.Parser |
| Pn | Mikan.Syntax.Position |
| Pn' | Mikan.Syntax.Position |
| POAny | Mikan.Utils.PartialOrd |
| POEQ | Mikan.Utils.PartialOrd |
| POGE | Mikan.Utils.PartialOrd |
| POGT | Mikan.Utils.PartialOrd |
| PointCons | Mikan.TypeChecking.Rules.Data |
| Pointwise | |
| 1 (Type/Class) | Mikan.Utils.PartialOrd |
| 2 (Data Constructor) | Mikan.Utils.PartialOrd |
| pointwise | Mikan.Utils.PartialOrd |
| Polarities | Mikan.Syntax.Concrete.Fixity |
| Polarity | |
| 1 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PolarityPragma | Mikan.Syntax.Concrete |
| PolarityPragmasButNotPostulates | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| PolarityPragmasButNotPostulates_ | Mikan.Interaction.Options.Warnings |
| POLE | Mikan.Utils.PartialOrd |
| polFromCmp | Mikan.TypeChecking.Conversion |
| polFromOcc | Mikan.TypeChecking.Polarity |
| POLT | Mikan.Utils.PartialOrd |
| POMonoid | Mikan.Utils.POMonoid |
| popBlock | Mikan.Syntax.Parser.Monad |
| popCatchallPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| popLexState | Mikan.Syntax.Parser.Monad |
| popnCallStack | Mikan.Utils.CallStack |
| posCol | Mikan.Syntax.Position |
| POSemigroup | Mikan.Utils.POMonoid |
| Position | Mikan.Syntax.Position |
| Position' | Mikan.Syntax.Position |
| PositionInName | Mikan.Syntax.Common |
| positionInvariant | Mikan.Syntax.Position |
| PositionMap | |
| 1 (Type/Class) | Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Interaction.Highlighting.Precise |
| positionMap | Mikan.Interaction.Highlighting.Precise |
| PositionWithoutFile | Mikan.Syntax.Position |
| Positivity | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| PositivityCheck | Mikan.Syntax.Common |
| positivityCheck | Mikan.Syntax.Concrete.Definitions.Types |
| positivityCheckEnabled | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| positivityCheckPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| PositivityProblem | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| posLine | Mikan.Syntax.Position |
| posLineCol | Mikan.Syntax.Position |
| posPos | Mikan.Syntax.Position |
| PossiblyProjectionPattern | Mikan.Syntax.Concrete |
| Post | Mikan.Syntax.Concrete.Operators.Parser |
| postAction | Mikan.TypeChecking.CheckInternal |
| PostColdState | |
| 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 |
| postCompile | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| PostfixNotation | Mikan.Syntax.Notation |
| PostLeftsK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| PostMetaState | |
| 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 |
| postModule | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| PostNamesCheckpoints | |
| 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 |
| posToInterval | Mikan.Syntax.Position |
| posToRange | Mikan.Syntax.Position |
| posToRange' | Mikan.Syntax.Position |
| PostponedCheckArgs | Mikan.Interaction.Base |
| PostponedCheckFunDef | Mikan.Interaction.Base |
| PostponedTypeCheckingProblem | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| postponeInstanceConstraints | Mikan.TypeChecking.InstanceArguments |
| postponeTypeCheckingProblem | Mikan.TypeChecking.MetaVars |
| postponeTypeCheckingProblem_ | Mikan.TypeChecking.MetaVars |
| PostScopeState | |
| 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 |
| postTraverseAPatternM | Mikan.Syntax.Abstract.Pattern |
| postTraverseCPatternM | Mikan.Syntax.Concrete.Pattern |
| postTraversePatternM | Mikan.Syntax.Internal.Pattern |
| Postulate | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| PostulateBlock | Mikan.Syntax.Concrete.Definitions.Types |
| powerSet | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| pPi' | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| Pragma | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| 5 (Type/Class) | Mikan.Syntax.Abstract |
| PragmaCompiled | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| PragmaCompiled_ | Mikan.Interaction.Options.Warnings |
| PragmaCompileWrongName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PragmaCompileWrongName_ | Mikan.Interaction.Options.Warnings |
| PragmaExpectsDefinedSymbol | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PragmaExpectsDefinedSymbol_ | Mikan.Interaction.Options.Warnings |
| PragmaExpectsUnambiguousConstructorOrFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PragmaExpectsUnambiguousConstructorOrFunction_ | Mikan.Interaction.Options.Warnings |
| PragmaExpectsUnambiguousProjectionOrFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PragmaExpectsUnambiguousProjectionOrFunction_ | Mikan.Interaction.Options.Warnings |
| PragmaNoTerminationCheck | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| PragmaNoTerminationCheck_ | Mikan.Interaction.Options.Warnings |
| PragmaOptions | |
| 1 (Type/Class) | Mikan.Interaction.Options |
| 2 (Data Constructor) | Mikan.Interaction.Options |
| pragmaOptions | Mikan.Interaction.Options, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PragmaPolarities | Mikan.TypeChecking.Positivity.Occurrence |
| pragmaQName | Mikan.Syntax.Parser.Helpers |
| pragmaRange | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| PragmaS | Mikan.Syntax.Abstract |
| Pragmas | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pragmaStrings | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| Pre | Mikan.Syntax.Concrete.Operators.Parser |
| preAction | Mikan.TypeChecking.CheckInternal |
| Precedence | Mikan.Syntax.Fixity |
| PrecedenceKey | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| PrecedenceLevel | Mikan.Syntax.Common |
| PrecedenceStack | Mikan.Syntax.Fixity |
| preCompile | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| precomputedFreeVars | Mikan.TypeChecking.Free.Precompute |
| PrecomputeFreeVars | Mikan.TypeChecking.Free.Precompute |
| precomputeFreeVars | Mikan.TypeChecking.Free.Precompute |
| precomputeFreeVars_ | Mikan.TypeChecking.Free.Precompute |
| pRecord | Mikan.Syntax.Concrete.Pretty |
| pRecordDirective | Mikan.Syntax.Concrete.Pretty |
| Pred | Mikan.TypeChecking.Primitive |
| predicateToMaybe | Mikan.Utils.Maybe |
| PreferParen | Mikan.Syntax.Fixity |
| preferParen | Mikan.Syntax.Fixity |
| PreferParenless | Mikan.Syntax.Fixity |
| preferParenless | Mikan.Syntax.Fixity |
| Prefix | Mikan.Utils.List |
| prefixBy | Mikan.Utils.Trie |
| PrefixDef | Mikan.Syntax.Common |
| prefixedThings | Mikan.Syntax.Common.Pretty |
| PrefixNotation | Mikan.Syntax.Notation |
| preModule | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| prepareCommonAssets | Mikan.Interaction.Highlighting.LaTeX.Base |
| prepareCommonDestinationAssets | Mikan.Interaction.Highlighting.HTML.Base |
| prependList | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.ListInf |
| prependS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| preprocessBlock | Mikan.TypeChecking.Positivity |
| PreRightsK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| PreScopeState | |
| 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 |
| preTraverseAPatternM | Mikan.Syntax.Abstract.Pattern |
| preTraverseCPatternM | Mikan.Syntax.Concrete.Pattern |
| preTraverseDecl | Mikan.Syntax.Concrete.Generic |
| preTraversePatternM | Mikan.Syntax.Internal.Pattern |
| Pretty | Mikan.Syntax.Common.Pretty |
| pretty | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| prettyA | |
| 1 (Function) | Mikan.Syntax.Abstract.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| prettyAs | |
| 1 (Function) | Mikan.Syntax.Abstract.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| prettyAssign | Mikan.Syntax.Common.Pretty |
| prettyATop | Mikan.Syntax.Abstract.Pretty |
| prettyAttr | Mikan.Syntax.Parser.Helpers |
| prettyAUnqualify | Mikan.Syntax.Abstract.Pretty |
| prettyBranch | Mikan.Mimer.Monad |
| prettyCallSite | Mikan.Utils.CallStack |
| prettyCallStack | Mikan.Utils.CallStack |
| prettyConstraint | Mikan.TypeChecking.Pretty.Constraint |
| prettyConstraints | Mikan.Interaction.BasicOps |
| PrettyContext | |
| 1 (Type/Class) | Mikan.TypeChecking.Pretty |
| 2 (Data Constructor) | Mikan.TypeChecking.Pretty |
| prettyDocTree | Mikan.Utils.DocTree |
| prettyDuplicateFields | Mikan.TypeChecking.Pretty.Warning |
| prettyError | Mikan.TypeChecking.Errors |
| prettyFiniteness | Mikan.Syntax.Concrete.Pretty |
| prettyGoalInst | Mikan.Mimer.Monad |
| prettyGoals | Mikan.Interaction.BasicOps, Mikan.Interaction.EmacsTop |
| prettyHiding | Mikan.Syntax.Common |
| prettyInfoError | Mikan.Interaction.EmacsTop |
| prettyInstalledLibraries | Mikan.Interaction.Library.Base |
| prettyInterestingConstraints | Mikan.TypeChecking.Pretty.Constraint |
| prettyInterval | Mikan.Syntax.Common.Pretty |
| prettyLineColumn | Mikan.Syntax.Common.Pretty |
| prettyList | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| prettyList_ | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| prettyMap | Mikan.Syntax.Common.Pretty |
| prettyMap_ | Mikan.TypeChecking.CompiledClause |
| prettyNameSpace | Mikan.Syntax.Scope.Base |
| prettyOpApp | Mikan.Syntax.Concrete.Pretty |
| prettyPrec | Mikan.Syntax.Common.Pretty |
| prettyR | Mikan.TypeChecking.Pretty |
| prettyRangeConstraint | Mikan.TypeChecking.Pretty.Constraint |
| prettyResponseContext | Mikan.Interaction.EmacsTop |
| prettySet | Mikan.Syntax.Common.Pretty |
| prettyShadowedModule | Mikan.TypeChecking.Errors |
| prettyShow | Mikan.Syntax.Common.Pretty |
| prettySrcLoc | Mikan.Utils.CallStack |
| prettyTactic | Mikan.Syntax.Concrete.Pretty |
| prettyTactic' | Mikan.Syntax.Concrete.Pretty |
| PrettyTCM | Mikan.TypeChecking.Pretty |
| prettyTCM | Mikan.TypeChecking.Pretty |
| prettyTCMCtx | Mikan.TypeChecking.Pretty |
| prettyTCMPatternList | Mikan.TypeChecking.Pretty |
| prettyTCMPatterns | Mikan.TypeChecking.Pretty |
| PrettyTCMWithNode | Mikan.TypeChecking.Pretty |
| prettyTCMWithNode | Mikan.TypeChecking.Pretty |
| prettyTCWarnings | Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors |
| prettyTCWarnings' | Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors |
| prettyTooManyFields | Mikan.TypeChecking.Pretty.Warning |
| prettyTypeOfMeta | Mikan.Interaction.EmacsTop |
| prettyWarning | Mikan.TypeChecking.Pretty.Warning |
| prettyWarningModeError | Mikan.Interaction.Options.Warnings |
| PrettyWithBindingSite | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| PrettyWithInstance | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| PreviousInput | Mikan.Syntax.Parser.Alex |
| Prim | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAbs | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAbsAbs | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAbstr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaBlocker | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaBlockerAll | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaBlockerAny | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaBlockerMeta | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaClause | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaClauseAbsurd | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaClauseClause | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinition | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinitionDataConstructor | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinitionDataDef | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinitionFunDef | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinitionPostulate | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinitionPrimitive | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaDefinitionRecordDef | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaErrorPart | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaErrorPartName | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaErrorPartPatt | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaErrorPartString | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaErrorPartTerm | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLitChar | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLiteral | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLitFloat | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLitMeta | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLitNat | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLitQName | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaLitString | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaMeta | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPatAbsurd | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPatCon | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPatDot | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPatLit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPatProj | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPattern | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaPatVar | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSort | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSortInf | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSortLit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSortProp | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSortPropLit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSortType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaSortUnsupported | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCM | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMAskExpandLast | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMAskNormalisation | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMAskReconstructed | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMAskReduceDefs | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMBind | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMBlock | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMCatchError | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMCheckFromString | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMCheckType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMCommit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMDebugPrint | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMDeclareData | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMDeclareDef | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMDeclarePostulate | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMDefineData | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMDefineFun | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMExec | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMExtendContext | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMFormatErrorParts | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMFreshName | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMGetContext | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMGetDefinition | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMGetInstances | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMGetType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMInContext | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMInferType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMIsMacro | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMNoConstraints | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMNormalise | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMPragmaCompile | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMPragmaForeign | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMQuoteOmegaTerm | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMQuoteTerm | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMReduce | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMReturn | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMRunSpeculative | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMSolveInstances | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMTypeError | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMUnify | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMUnquoteTerm | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMWithExpandLast | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMWithNormalisation | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMWithReconstructed | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTCMWithReduceDefs | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTerm | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermCon | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermDef | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermExtLam | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermLam | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermLit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermMeta | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermPi | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermSort | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermUnsupported | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAgdaTermVar | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimAppHd | Mikan.TypeChecking.Rules.Application |
| primArg | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primArgArg | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primArgArgInfo | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primArgInfo | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAssoc | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAssocLeft | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAssocNon | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primAssocRight | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primBool | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primChar | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimCharEquality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimCharToNat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimCharToNatInjective | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primCharToNatInjective | Mikan.TypeChecking.Primitive |
| primClauses | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimComp | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primComp | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primCompiled | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primCons | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Prime | Mikan.Utils.Suffix |
| primEquality | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primEqualityName | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primEquiv | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primEquivFun | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primEquivProof | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFaceForall | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFaceForall | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFaceForall' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primFalse | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFixity | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFixityFixity | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFloat | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatACos | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatACosh | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatASin | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatASinh | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatATan | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatATan2 | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatATanh | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatCeiling | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatCos | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatCosh | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatDecode | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatDiv | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatEncode | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatEquality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatExp | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatFloor | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatInequality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatIsInfinite | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatIsNaN | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatIsNegativeZero | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatIsSafeInteger | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatLess | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatLog | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatMinus | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatNegate | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatPlus | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatPow | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatRound | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatSin | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatSinh | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatSqrt | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatTan | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatTanh | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatTimes | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFloatToRatio | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimForce | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primForce | Mikan.TypeChecking.Primitive |
| PrimForceLemma | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primForceLemma | Mikan.TypeChecking.Primitive |
| primFromNat | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFromNeg | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFromString | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimFun | |
| 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 |
| primFun | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFunArgOccurrences | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFunArity | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFunImplementation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primFunName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimGlue | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primGlue | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primGlue' | Mikan.TypeChecking.Primitive.Cubical.Glue, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| PrimHComp | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primHComp | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primHComp' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primHidden | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primHiding | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIMax | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIMax | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIMax' | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| PrimIMin | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIMin | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIMin' | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| PrimImpl | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimINeg | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primINeg | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primINeg' | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primInstance | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primInteger | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIntegerNegSuc | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIntegerPos | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primInterval | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIntervalType | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primIntervalUniv | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIntToFloat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primInv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIOne | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsAlpha | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsAscii | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsDigit | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsHexDigit | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsLatin1 | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsLower | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIsOne | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIsOne1 | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIsOne2 | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primIsOneEmpty | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsPrint | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimIsSpace | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primItIsOne | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Primitive | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| 5 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveBlock | Mikan.Syntax.Concrete.Definitions.Types |
| primitiveById | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveData | |
| 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 |
| PrimitiveDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveFunction | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| primitiveFunctions | Mikan.TypeChecking.Primitive |
| PrimitiveId | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveImpl | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveLibDir | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primitiveLibDir | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primitiveModules | Mikan.Interaction.Library |
| PrimitiveName | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveS | Mikan.Syntax.Abstract |
| PrimitiveSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveSortData | |
| 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 |
| PrimitiveSortDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimitiveType | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| primIZero | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primJust | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primLevel | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimLevelMax | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primLevelMax | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimLevelSuc | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primLevelSuc | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primLevelUniv | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimLevelZero | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primLevelZero | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primList | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primMaybe | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimMetaEquality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimMetaLess | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimMetaToNat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimMetaToNatInjective | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primMetaToNatInjective | Mikan.TypeChecking.Primitive |
| PrimName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| primName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNat | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatDivSucAux | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatDivSucAux | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatEquality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatEquality | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatLess | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatLess | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatMinus | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatMinus | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatModSucAux | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatModSucAux | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatPlus | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatPlus | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatTimes | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNatTimes | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatToChar | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimNatToFloat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNil | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primNothing | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primOpaque | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimPartial | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPartial | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPartial' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| PrimPartialP | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPartialP | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPartialP' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primPath | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPathP | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimPOr | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPOr | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primPrecedence | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPrecRelated | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPrecUnrelated | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primProp | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primPropOmega | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primQName | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimQNameEquality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimQNameFixity | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimQNameLess | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimRatioToFloat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primRefl | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowChar | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowFloat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowInteger | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowMeta | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowNat | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowQName | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimShowString | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSigma | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSortName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSortSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSSetOmega | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primStrictSet | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primString | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimStringAppend | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimStringEquality | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimStringFromList | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimStringFromListInjective | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primStringFromListInjective | Mikan.TypeChecking.Primitive |
| PrimStringToList | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimStringToListInjective | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primStringToListInjective | Mikan.TypeChecking.Primitive |
| PrimStringUncons | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSub | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSubIn | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimSubOut | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSubOut | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primSubOut' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primSuc | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimTerm | Mikan.TypeChecking.Primitive |
| primTerm | Mikan.TypeChecking.Primitive |
| PrimToLower | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimToUpper | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimTrans | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primTrans | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primTrans' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primTransHComp | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| primTranspProof | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primTrue | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| PrimType | Mikan.TypeChecking.Primitive |
| primType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primTypeOmega | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primType_ | Mikan.TypeChecking.Primitive |
| primUnit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primUnitUnit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primVisible | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| primZero | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Prim_glue | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_glue | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_glue' | Mikan.TypeChecking.Primitive.Cubical.Glue, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Prim_glueU | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_glueU | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_glueU' | Mikan.TypeChecking.Primitive.Cubical.HCompU, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Prim_unglue | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_unglue | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_unglue' | Mikan.TypeChecking.Primitive.Cubical.Glue, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Prim_unglueU | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_unglueU | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| prim_unglueU' | Mikan.TypeChecking.Primitive.Cubical.HCompU, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| PrincipalArgTypeMetas | |
| 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 |
| Mikan.TypeChecking.Monad.Benchmark | |
| printAccumulatedWarnings | Mikan.Interaction.BuildLibrary |
| printAppDir | Mikan.Main |
| printDataDir | Mikan.Main |
| printedOptions | Mikan.Interaction.Options.BashCompletion |
| printedOptionsWithHelp | Mikan.Interaction.Options.BashCompletion |
| printEmacsModeFile | Mikan.Setup.EmacsMode |
| printErrorInfo | Mikan.Interaction.Highlighting.Generate |
| printHighlightingInfo | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Interaction.Highlighting.Generate, Mikan.Compiler.Backend |
| printLocals | Mikan.Syntax.Scope.Monad |
| PrintNumericVersion | Mikan.Interaction.Options |
| printOptions | |
| 1 (Function) | Mikan.Interaction.Options.BashCompletion |
| 2 (Function) | Mikan.Main |
| PrintRange | |
| 1 (Type/Class) | Mikan.Syntax.Position |
| 2 (Data Constructor) | Mikan.Syntax.Position |
| printScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| printStatistics | Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| printSyntaxInfo | Mikan.Interaction.Highlighting.Generate |
| printTreeAnsi | Mikan.Syntax.Common.Pretty.ANSI |
| printUnsolvedInfo | Mikan.Interaction.Highlighting.Generate |
| printUsage | Mikan.Main |
| PrintVersion | |
| 1 (Type/Class) | Mikan.Interaction.Options |
| 2 (Data Constructor) | Mikan.Interaction.Options |
| printVersion | Mikan.Main |
| Private | Mikan.Syntax.Concrete |
| PrivateAccess | Mikan.Syntax.Common |
| privateAccessInserted | Mikan.Syntax.Common |
| PrivateNS | Mikan.Syntax.Scope.Base |
| PrivateRecordField | Mikan.Syntax.Scope.Errors |
| PrivateRecordField_ | Mikan.Interaction.Options.Errors |
| Problem | |
| 1 (Type/Class) | Mikan.TypeChecking.Rules.LHS.Problem |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Problem |
| ProblemConstraint | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| problemCont | Mikan.TypeChecking.Rules.LHS.Problem |
| ProblemEq | |
| 1 (Type/Class) | Mikan.Syntax.Abstract, Mikan.TypeChecking.Rules.LHS.Problem |
| 2 (Data Constructor) | Mikan.Syntax.Abstract, Mikan.TypeChecking.Rules.LHS.Problem |
| problemEqs | Mikan.TypeChecking.Rules.LHS.Problem |
| ProblemId | |
| 1 (Type/Class) | Mikan.Syntax.Common, Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Common, Mikan.Syntax.Internal.Term |
| problemInPat | Mikan.Syntax.Abstract, Mikan.TypeChecking.Rules.LHS.Problem |
| problemInPats | Mikan.TypeChecking.Rules.LHS.Problem |
| problemInst | Mikan.Syntax.Abstract, Mikan.TypeChecking.Rules.LHS.Problem |
| problemRestPats | Mikan.TypeChecking.Rules.LHS.Problem |
| problemType | |
| 1 (Function) | Mikan.Syntax.Abstract, Mikan.TypeChecking.Rules.LHS.Problem |
| 2 (Function) | Mikan.TypeChecking.MetaVars |
| Processor | Mikan.Syntax.Parser.Literate |
| productOfEdgesInBoundedWalk | Mikan.TypeChecking.Positivity.Warnings |
| Products | Mikan.Utils.TypeLevel |
| profileArg | Mikan.Interaction.Options.Arguments |
| ProfileOption | Mikan.Interaction.Options.ProfileOptions |
| ProfileOptions | Mikan.Interaction.Options.ProfileOptions |
| profileOptionsFromList | Mikan.Interaction.Options.ProfileOptions |
| profileOptionsToList | Mikan.Interaction.Options.ProfileOptions |
| profileValues | Mikan.Interaction.Options.Arguments |
| Profunctor | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Proj | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| projArgInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| projCase | Mikan.TypeChecking.CompiledClause |
| projDropPars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| projDropParsApply | Mikan.TypeChecking.Substitute |
| ProjectConfig | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| projectConfigs | Mikan.Interaction.Library.Base |
| ProjectedVar | |
| 1 (Type/Class) | Mikan.TypeChecking.MetaVars |
| 2 (Data Constructor) | Mikan.TypeChecking.MetaVars |
| Projection | |
| 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 |
| projectionArgs | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ProjectionLikeness | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| ProjectionLikenessMissing | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ProjectionReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ProjectionView | |
| 1 (Type/Class) | Mikan.TypeChecking.ProjectionLike |
| 2 (Data Constructor) | Mikan.TypeChecking.ProjectionLike |
| projectRoot | Mikan.Syntax.TopLevelModuleName |
| projectTyped | Mikan.TypeChecking.Records |
| projFromType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| projIndex | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ProjLams | |
| 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 |
| projLams | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| projOrig | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ProjOrigin | Mikan.Syntax.Common |
| ProjP | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| projPatterns | Mikan.TypeChecking.CompiledClause |
| ProjPostfix | Mikan.Syntax.Common |
| ProjPrefix | Mikan.Syntax.Common |
| projProper | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ProjSystem | Mikan.Syntax.Common |
| ProjT | Mikan.TypeChecking.Records |
| projTField | Mikan.TypeChecking.Records |
| projTRec | Mikan.TypeChecking.Records |
| ProjVar | Mikan.TypeChecking.MetaVars |
| projView | Mikan.TypeChecking.ProjectionLike |
| projViewProj | Mikan.TypeChecking.ProjectionLike |
| projViewSelf | Mikan.TypeChecking.ProjectionLike |
| projViewSpine | Mikan.TypeChecking.ProjectionLike |
| Prop | Mikan.Syntax.Internal.Term |
| properlyMatching | Mikan.TypeChecking.Patterns.Match |
| properlyMatching' | Mikan.TypeChecking.Patterns.Match |
| properSplit | Mikan.TypeChecking.CompiledClause.Compile |
| PropLitS | Mikan.Syntax.Reflected |
| PropS | Mikan.Syntax.Reflected |
| propToType | Mikan.Syntax.Internal.Term |
| prProjs | Mikan.TypeChecking.MetaVars |
| prune | Mikan.TypeChecking.MetaVars.Occurs |
| PrunedEverything | Mikan.TypeChecking.MetaVars.Occurs |
| PrunedNothing | Mikan.TypeChecking.MetaVars.Occurs |
| PrunedSomething | Mikan.TypeChecking.MetaVars.Occurs |
| PruneResult | Mikan.TypeChecking.MetaVars.Occurs |
| pruneTemporaryInstances | Mikan.TypeChecking.InstanceArguments |
| pshow | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| PState | Mikan.Syntax.Parser.Monad |
| PStr | Mikan.Syntax.Common.Pretty |
| ptext | Mikan.Syntax.Common.Pretty |
| PTSInstance | Mikan.Interaction.Base |
| PublicAccess | Mikan.Syntax.Common |
| publicModules | Mikan.Syntax.Scope.Base |
| publicNames | Mikan.Syntax.Scope.Base |
| publicNamesOfModules | Mikan.Syntax.Scope.Base |
| PublicNS | Mikan.Syntax.Scope.Base |
| publicOpen | Mikan.Syntax.Common |
| punctuate | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| pureBlockOrEqualTerm | Mikan.TypeChecking.Conversion.Pure |
| pureBlockOrEqualTermPureTCM | Mikan.TypeChecking.Conversion.Pure |
| pureBlockOrEqualType | Mikan.TypeChecking.Conversion.Pure |
| pureBlockOrEqualTypePureTCM | Mikan.TypeChecking.Conversion.Pure |
| pureCompareAs | Mikan.TypeChecking.Conversion.Pure |
| pureConversion | Mikan.TypeChecking.Conversion.Pure |
| pureEqualTerm | Mikan.TypeChecking.Conversion.Pure |
| PureTCM | Mikan.TypeChecking.Monad.Pure, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| pureTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| purgeNonvariant | Mikan.TypeChecking.Polarity |
| pushBlock | Mikan.Syntax.Parser.Monad |
| pushLexState | Mikan.Syntax.Parser.Monad |
| pushPrecedence | Mikan.Syntax.Fixity |
| Put | |
| 1 (Type/Class) | Mikan.Utils.Serialize |
| 2 (Data Constructor) | Mikan.Utils.Serialize |
| put | |
| 1 (Function) | Mikan.Utils.StrictState |
| 2 (Function) | Mikan.Utils.Serialize |
| 3 (Function) | Mikan.Utils.StrictState2 |
| put1 | Mikan.Utils.StrictState2 |
| put2 | Mikan.Utils.StrictState2 |
| putAbsoluteIncludePaths | Mikan.Interaction.Options.Lenses |
| putAllConstraintsToSleep | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| putAllowedReductions | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| putBenchmark | Mikan.Utils.Benchmark |
| putByteArray# | Mikan.Utils.Serialize |
| putConstraintsToSleep | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| putDocLn | Mikan.Syntax.Common.Pretty.ANSI |
| putDocTree | Mikan.Syntax.Common.Pretty.ANSI |
| putDocTreeLn | Mikan.Syntax.Common.Pretty.ANSI |
| putPersistentVerbosity | Mikan.Interaction.Options.Lenses |
| putResponse | |
| 1 (Function) | Mikan.Interaction.Emacs.Lisp |
| 2 (Function) | Mikan.Interaction.InteractionTop |
| putSafeMode | Mikan.Interaction.Options.Lenses |
| putTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| putTCPreservingStats | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| putVerbosity | Mikan.Interaction.Options.Lenses |
| pvIndex | Mikan.TypeChecking.MetaVars |
| pwords | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |