Index - I
| I | Idris.Core.TT |
| IBC | Idris.Imports |
| ibc | Idris.IBC |
| IBCAccess | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCCG | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCCGFlag | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCClass | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCCoercion | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCData | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCDef | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCDoc | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCDSL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCDyLib | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCErrorHandler | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCErrRev | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCExport | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCFile | |
| 1 (Type/Class) | Idris.IBC |
| 2 (Data Constructor) | Idris.IBC |
| IBCFix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCFlags | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCFnInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCFunctionErrorHandler | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCHeader | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCImport | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCImportDir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCInstance | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCKeyword | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCLib | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCLineApp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCMetaInformation | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCMetavar | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCModDocs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCNameHint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCObj | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCParsedRegion | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ibcPath | Idris.Imports |
| ibcPathNoFallback | Idris.Imports |
| ibcPathWithFallback | Idris.Imports |
| IBCPostulate | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCStatic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCSubDir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCTotCheckErr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCTrans | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCUsage | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ibcVersion | Idris.IBC |
| IBCWrite | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ibc_access | Idris.IBC |
| ibc_cg | Idris.IBC |
| ibc_cgflags | Idris.IBC |
| ibc_classes | Idris.IBC |
| ibc_coercions | Idris.IBC |
| ibc_datatypes | Idris.IBC |
| ibc_defs | Idris.IBC |
| ibc_docstrings | Idris.IBC |
| ibc_dsls | Idris.IBC |
| ibc_dynamic_libs | Idris.IBC |
| ibc_errorhandlers | Idris.IBC |
| ibc_errRev | Idris.IBC |
| ibc_exports | Idris.IBC |
| ibc_fixes | Idris.IBC |
| ibc_flags | Idris.IBC |
| ibc_fninfo | Idris.IBC |
| ibc_function_errorhandlers | Idris.IBC |
| ibc_hdrs | Idris.IBC |
| ibc_implicits | Idris.IBC |
| ibc_importdirs | Idris.IBC |
| ibc_imports | Idris.IBC |
| ibc_instances | Idris.IBC |
| ibc_keywords | Idris.IBC |
| ibc_libs | Idris.IBC |
| ibc_lineapps | Idris.IBC |
| ibc_metainformation | Idris.IBC |
| ibc_metavars | Idris.IBC |
| ibc_moduledocs | Idris.IBC |
| ibc_namehints | Idris.IBC |
| ibc_objs | Idris.IBC |
| ibc_optimise | Idris.IBC |
| ibc_parsedSpan | Idris.IBC |
| ibc_patdefs | Idris.IBC |
| ibc_postulates | Idris.IBC |
| ibc_statics | Idris.IBC |
| ibc_syntax | Idris.IBC |
| ibc_total | Idris.IBC |
| ibc_totcheckfail | Idris.IBC |
| ibc_transforms | Idris.IBC |
| ibc_usage | Idris.IBC |
| ibc_write | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IdeMode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Idemode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idemode | Idris.REPL |
| IdeModeCommand | Idris.IdeMode |
| ideModeEpoch | Idris.IdeMode |
| ideModeForceTermImplicits | Idris.REPL |
| idemodeProcess | Idris.REPL |
| idemodePutSExp | Idris.Output |
| ideModeReturnAnnotated | Idris.Output |
| ideModeReturnWithStatus | Idris.Output |
| IdemodeSocket | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idemodeStart | Idris.REPL |
| identifier | Idris.ParseHelpers, Idris.Parser |
| iderr | Idris.Elab.Utils |
| idiom | Idris.ParseExpr, Idris.Parser |
| IDR | Idris.Imports |
| Idris | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris | Idris.REPL |
| idrisCatch | Idris.Error |
| IdrisColour | |
| 1 (Type/Class) | Idris.Colours |
| 2 (Data Constructor) | Idris.Colours |
| idrisInit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IdrisInnerParser | |
| 1 (Type/Class) | Idris.ParseHelpers, Idris.Parser |
| 2 (Data Constructor) | Idris.ParseHelpers, Idris.Parser |
| idrisMain | Idris.REPL |
| IdrisParser | Idris.ParseHelpers, Idris.Parser |
| idrisStyle | Idris.ParseHelpers, Idris.Parser |
| idris_calledgraph | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_callgraph | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_callswho | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_cgflags | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_classes | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_coercions | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_colourRepl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_colourTheme | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_consolewidth | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_constraints | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_datatypes | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_defertotcheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_docstrings | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_dsls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_dynamic_libs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_erasureUsed | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_errorhandlers | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_errRev | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_exports | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_fixities | Idris.ASTUtils |
| idris_flags | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_fninfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_function_errorhandlers | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_hdrs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_implicits | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_imported | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_infixes | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_language_extensions | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_libs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_lineapps | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_metavars | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_moduledocs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_name | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_namehints | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_nameIdx | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_objs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_optimisation | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_options | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_outputmode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_parsedSpan | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_patdefs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_postulates | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_repl_defs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_scprims | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_statics | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_symbols | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_totcheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_totcheckfail | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_transforms | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_tyinfodata | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_whocalls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ierror | Idris.Error |
| ifail | Idris.Error |
| IFileType | Idris.Imports |
| iLOG | Idris.AbsSyntax |
| Image | Idris.Docstrings |
| Imp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Impl | Idris.Core.TT |
| impl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Implicit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| implicit | Idris.AbsSyntax |
| implicit' | Idris.AbsSyntax |
| implicitable | Idris.Core.TT |
| implicitAllowed | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| implicitArg | Idris.ParseExpr, Idris.Parser |
| ImplicitColour | Idris.Colours |
| implicitColour | Idris.Colours |
| ImplicitD | Idris.PartialEval |
| ImplicitInfo | Idris.Core.TT |
| implicitise | Idris.AbsSyntax |
| implicitNamesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ImplicitS | Idris.PartialEval |
| ImportDir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| importDirs | IRTS.CodegenCommon |
| imported | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| import_ | Idris.Parser |
| Impossible | Idris.Core.TT |
| ImpossibleCase | Idris.Core.CaseTree |
| impShow | Idris.AbsSyntax |
| imp_methods | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Inaccessible | Idris.Core.TT |
| inaccessible | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| InaccessibleArg | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| inaccessibleArgs | Idris.Elab.Utils |
| inaccessibleImps | Idris.Elab.Utils |
| iName | Idris.ParseHelpers, Idris.Parser |
| inblock | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| includes | IRTS.CodegenCommon |
| IncompleteTerm | Idris.Core.TT |
| indent | |
| 1 (Function) | IRTS.DumpBC |
| 2 (Function) | Idris.ParseHelpers, Idris.Parser |
| indented | Idris.ParseHelpers, Idris.Parser |
| indentedBlock | Idris.ParseHelpers, Idris.Parser |
| indentedBlock1 | Idris.ParseHelpers, Idris.Parser |
| indentedBlockS | Idris.ParseHelpers, Idris.Parser |
| IndentProperty | |
| 1 (Type/Class) | Idris.ParseHelpers, Idris.Parser |
| 2 (Data Constructor) | Idris.ParseHelpers, Idris.Parser |
| indentPropHolds | Idris.ParseHelpers, Idris.Parser |
| indent_stack | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| index_first | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| index_next | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Induction | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| induction | Idris.Core.Elaborate |
| inferCon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| inferDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| inferOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| inferredDiff | Idris.Elab.Utils |
| InferredVal | Idris.Core.TT |
| inferTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| InfinitelyWide | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| InfiniteUnify | Idris.Core.TT |
| Infixl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| InfixN | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Infixr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| infP | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| infTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| initContext | Idris.Core.Evaluate |
| initDSL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| initElabCtxt | Idris.ElabTerm |
| initElaborator | Idris.Core.Elaborate |
| initEState | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| initEval | Idris.Core.Evaluate |
| initIBC | Idris.IBC |
| initIdemodeSocket | Idris.REPL |
| initNextNameFrom | Idris.Core.Elaborate |
| initScript | Idris.REPL |
| initsEndAt | Idris.ParseHelpers, Idris.Parser |
| injective | Idris.Core.ProofState, Idris.Core.Elaborate |
| inl | IRTS.Inliner |
| Inlinable | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| inlinable | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Inline | |
| 1 (Data Constructor) | IRTS.Lang, IRTS.Defunctionalise |
| 2 (Type/Class) | Idris.Docstrings |
| inline | IRTS.Inliner |
| inlineAll | IRTS.LangOpts |
| inlineDef | Idris.Inliner |
| inlineTerm | Idris.Inliner |
| inPattern | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| insertScript | Idris.REPL |
| installedPackages | Idris.Imports |
| installIBC | Pkg.Package |
| installIdx | Pkg.Package |
| installObj | Pkg.Package |
| installPkg | Pkg.Package |
| Instance | Idris.Core.ProofState, Idris.Core.Elaborate |
| instanceArg | Idris.Core.Elaborate |
| instanceBlock | Idris.Parser |
| InstanceCtorN | Idris.Core.TT |
| InstanceN | Idris.Core.TT |
| instanceName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| instances | Idris.Core.ProofState, Idris.Core.Elaborate |
| instance_ | Idris.Parser |
| instantiate | Idris.Core.TT |
| integer | Idris.ParseHelpers, Idris.Parser |
| IntegerAtom | Idris.IdeMode |
| integerReader | Idris.CmdOptions |
| Interface | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| interfaces | IRTS.CodegenCommon |
| interMap | IRTS.DumpBC |
| internalExpr | Idris.ParseExpr, Idris.Parser |
| InternalMsg | Idris.Core.TT |
| Interpret | Idris.IdeMode |
| InterpretScript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Intro | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| intro | Idris.Core.Elaborate |
| Intros | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IntroTy | Idris.Core.ProofState, Idris.Core.Elaborate |
| introTy | Idris.Core.Elaborate |
| IntTy | Idris.Core.TT |
| intTyName | Idris.Core.TT |
| intTyWidth | Idris.Core.TT |
| invalidOperators | Idris.ParseHelpers, Idris.Parser |
| InvalidTCArg | Idris.Core.TT |
| IOption | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| iPrintError | Idris.Output |
| iPrintFunTypes | Idris.Output |
| iPrintResult | Idris.Output |
| iPrintTermWithType | Idris.Output |
| iPrintWithStatus | Idris.Output |
| iputGoal | Idris.Output |
| iputStrLn | Idris.Output |
| iRender | Idris.Output |
| iRenderError | Idris.Output |
| iRenderOutput | Idris.Output |
| iRenderResult | Idris.Output |
| isConName | Idris.Core.Evaluate |
| isConst | IRTS.Bytecode |
| isDConName | Idris.Core.Evaluate |
| isEol | Idris.ParseHelpers, Idris.Parser |
| isetLoadedRegion | Idris.AbsSyntax |
| isetPrompt | Idris.AbsSyntax |
| isFnName | Idris.Core.Evaluate |
| isHole | Idris.Core.Typecheck |
| isHoleName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isInjective | Idris.Core.TT |
| isMetavarName | Idris.AbsSyntax |
| isPostulateName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IState | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isTCDict | Idris.Core.Evaluate |
| isTConName | Idris.Core.Evaluate |
| IsTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isTyInferred | Idris.AbsSyntax |
| IsType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isType | Idris.Core.Typecheck |
| isTypeConst | Idris.Core.TT |
| ist_callgraph | Idris.ASTUtils |
| ist_optimisation | Idris.ASTUtils |
| isUndefined | Idris.AbsSyntax |
| isUniverse | Idris.Core.Evaluate |
| isWindows | Util.System |
| is_guess | Idris.Core.Elaborate |
| is_scoped | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IT16 | Idris.Core.TT |
| IT32 | Idris.Core.TT |
| IT64 | Idris.Core.TT |
| IT8 | Idris.Core.TT |
| italic | Idris.Colours |
| ItalicText | Idris.Core.TT |
| ITBig | Idris.Core.TT |
| itBitsName | Idris.Core.TT |
| ITChar | Idris.Core.TT |
| ITFixed | Idris.Core.TT |
| ITNative | Idris.Core.TT |
| Itself | Idris.Core.Evaluate |
| ITVec | Idris.Core.TT |
| iucheck | Idris.Error |
| iWarn | Idris.Output |