Index - I
| I | Idris.Core.TT |
| IA | Idris.ElabDecls |
| 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 |
| IBCFile | |
| 1 (Type/Class) | Idris.IBC |
| 2 (Data Constructor) | Idris.IBC |
| IBCFix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCFlags | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCFunctionErrorHandler | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCHeader | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCImp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCImport | 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 |
| IBCNameHint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCObj | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ibcPath | Idris.Imports |
| ibcPathNoFallback | Idris.Imports |
| ibcPathWithFallback | Idris.Imports |
| IBCStatic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCSubDir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| IBCTrans | 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_fixes | Idris.IBC |
| ibc_flags | Idris.IBC |
| ibc_function_errorhandlers | Idris.IBC |
| ibc_hdrs | Idris.IBC |
| ibc_implicits | 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_namehints | Idris.IBC |
| ibc_objs | Idris.IBC |
| ibc_optimise | Idris.IBC |
| ibc_patdefs | Idris.IBC |
| ibc_statics | Idris.IBC |
| ibc_syntax | Idris.IBC |
| ibc_total | Idris.IBC |
| ibc_transforms | Idris.IBC |
| ibc_write | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| identifier | Idris.ParseHelpers, Idris.Parser |
| IdeSlave | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Ideslave | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ideslave | Idris.REPL |
| IdeSlaveCommand | Idris.IdeSlave |
| ideslaveProcess | Idris.REPL |
| ideslavePutSExp | Idris.Output |
| ideSlaveReturnAnnotated | Idris.Output |
| ideslaveStart | Idris.REPL |
| idiom | Idris.ParseExpr, Idris.Parser |
| IDR | Idris.Imports |
| Idris | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris | Idris.REPL |
| idrisCatch | Idris.Error |
| idrisClosureType | IRTS.Java.JTypes |
| 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 |
| idrisObjectType | IRTS.Java.JTypes |
| IdrisParser | Idris.ParseHelpers, Idris.Parser |
| idrisStyle | Idris.ParseHelpers, Idris.Parser |
| idrisTailCallClosureType | IRTS.Java.JTypes |
| idris_calledgraph | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_callgraph | 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_errorhandlers | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_errRev | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_flags | 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_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_outh | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_outputmode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_patdefs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_scprims | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_statics | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_totcheck | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_transforms | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| idris_tyinfodata | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ierror | Idris.Error |
| ifail | Idris.Error |
| IFileType | Idris.Imports |
| ihPrintError | Idris.Output |
| ihPrintFunTypes | Idris.Output |
| ihPrintResult | Idris.Output |
| ihPrintTermWithType | Idris.Output |
| ihputStrLn | Idris.Output |
| ihRenderError | Idris.Output |
| ihRenderResult | Idris.Output |
| ihWarn | Idris.Output |
| iLOG | Idris.AbsSyntax |
| Imp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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 |
| implicitise | 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 |
| Inaccessible | Idris.Core.TT |
| iName | Idris.ParseHelpers, Idris.Parser |
| inblock | Idris.ElabTerm |
| 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.ElabDecls |
| 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 |
| Info | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| infP | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| infTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| initContext | Idris.Core.Evaluate |
| initDSL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| initElaborator | Idris.Core.Elaborate |
| initEval | Idris.Core.Evaluate |
| initIBC | Idris.IBC |
| 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 | IRTS.Lang, IRTS.Defunctionalise |
| inline | IRTS.Inliner |
| inlineDef | Idris.Inliner |
| inlineTerm | Idris.Inliner |
| inPattern | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| insertScript | Idris.REPL |
| installIBC | 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.IdeSlave |
| integerType | IRTS.Java.JTypes |
| interMap | IRTS.DumpBC |
| internalExpr | Idris.ParseExpr, Idris.Parser |
| InternalMsg | Idris.Core.TT |
| Interpret | Idris.IdeSlave |
| 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 |
| intTyToJType | IRTS.Java.JTypes |
| intTyWidth | Idris.Core.TT |
| InvocationTarget | IRTS.Java.ASTBuilding |
| IOption | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| iPrintError | Idris.Output |
| iPrintResult | Idris.Output |
| iputGoal | Idris.Output |
| iputStrLn | Idris.Output |
| ir | IRTS.Compiler |
| iRender | Idris.Output |
| irMain | IRTS.Compiler |
| isApropos | Idris.Apropos |
| isArray | IRTS.Java.JTypes |
| isCon | IRTS.Compiler |
| isConName | Idris.Core.Evaluate |
| isConst | IRTS.Bytecode |
| isDConName | Idris.Core.Evaluate |
| isEol | Idris.ParseHelpers, Idris.Parser |
| isetPrompt | Idris.AbsSyntax |
| isFloating | IRTS.Java.JTypes |
| isFnName | Idris.Core.Evaluate |
| isHole | Idris.Core.Typecheck |
| isInjective | Idris.Core.TT |
| isMetavarName | Idris.AbsSyntax |
| isnewtype | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isPrimitive | IRTS.Java.JTypes |
| isString | IRTS.Java.JTypes |
| IState | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isTConName | Idris.Core.Evaluate |
| IsTerm | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isTyInferred | Idris.AbsSyntax |
| IsType | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| isType | Idris.Core.Typecheck |
| isUndefined | 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 |