idris-0.12.3: Functional Programming Language with Dependent Types

Index - G

GDIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
genAllIdris.Coverage
genArgsIRTS.Defunctionalise
genClausesIdris.Coverage
generateIRTS.Compiler
GeneratedIdris.Core.Evaluate
generateDocsIdris.IdrisDoc
getAllIdris.AbsSyntaxTree, Idris.AbsSyntax
getAllNamesIdris.AbsSyntax
getArgsIdris.Reflection
getArgTysIdris.Core.TT
getAutoHintsIdris.AbsSyntax
getAutoImplsIdris.AbsSyntax
getAutoImportsIdris.AbsSyntax
getAuxIdris.Core.Elaborate
getBCIdris.AbsSyntax
getCCIRTS.System
getClauseIdris.CaseSplit
getClientIdris.AbsSyntax, Idris.CmdOptions
getCmdLineIdris.AbsSyntax
getCodegenIdris.AbsSyntax
getCodegenArgsIdris.AbsSyntax
getCoercionsToIdris.AbsSyntax
getColourIdris.AbsSyntax
getConsoleWidthIdris.AbsSyntax
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.AbsSyntax
getCPUIdris.AbsSyntax
getDataDirIRTS.System
getDataFileNameIRTS.System
getDefinedNamesIdris.AbsSyntax
getDeprecatedIdris.AbsSyntax
getDesugarNatsIdris.AbsSyntax
getDocsIdris.Docs
getDumpCasesIdris.AbsSyntax
getDumpDefunIdris.AbsSyntax
getDumpHighlightingIdris.AbsSyntax
getEnvFlagsIRTS.System
getErasureInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
getErasureUsageIdris.AbsSyntax
getErrSpanIdris.Error
getEvalExprIdris.AbsSyntax
getExecScriptIdris.AbsSyntax
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.Parser.Helpers, Idris.Parser
getFileIdris.AbsSyntax
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFragileIdris.AbsSyntax
getFromHideListIdris.AbsSyntax
getFunctionErrorHandlersIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIBCSubDirIdris.AbsSyntax, Idris.CmdOptions
getIdrisCCIdris.Info
getIdrisFlagsEnvIdris.Info
getIdrisFlagsIncIdris.Info
getIdrisFlagsLibIdris.Info
getIdrisHistoryFileIdris.Info
getIdrisInitScriptIdris.Info
getIdrisInstalledPackagesIdris.Info
getIdrisLibDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisLoggingCategoriesIdris.Info
getIdrisUserDataDirIdris.Info
GetIdrisVersionIdris.IdeMode
getIdrisVersionIdris.Info
getIdrisVersionNoGitIdris.Info
getImportDirIdris.AbsSyntax
getImportedIdris.AbsSyntax
getImportsIdris.Chaser
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInternalAppIdris.AbsSyntax
getIStateIdris.AbsSyntax
getLanguageExtIdris.AbsSyntax
getLastTokenSpanIdris.Parser.Helpers, Idris.Parser
getLenIdris.IdeMode
getLibFlagsIRTS.System
getLibsIdris.AbsSyntax
getLogIdris.Core.Elaborate
getModuleFilesIdris.Chaser
getNameIdris.AbsSyntax
getNameFromIdris.Core.Elaborate
getNameHintsIdris.AbsSyntax
getNCharIdris.IdeMode
getNextNameIRTS.Lang, IRTS.Defunctionalise
getNoBannerIdris.AbsSyntax
getObjectFilesIdris.AbsSyntax
getOpenImplIdris.AbsSyntax
getOptimisationIdris.AbsSyntax
getOptimiseIdris.AbsSyntax
getOptLevelIdris.AbsSyntax
GetOptsIdris.IdeMode
getOutputIdris.AbsSyntax
getOutputTyIdris.AbsSyntax
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.AbsSyntax, Idris.CmdOptions
getPkgCheckIdris.AbsSyntax, Idris.CmdOptions
getPkgCleanIdris.AbsSyntax, Idris.CmdOptions
getPkgDescIdris.Package
getPkgDirIdris.AbsSyntax
getPkgIndexIdris.AbsSyntax
getPkgMkDocIdris.AbsSyntax, Idris.CmdOptions
getPkgREPLIdris.AbsSyntax, Idris.CmdOptions
getPkgTestIdris.AbsSyntax, Idris.CmdOptions
getPortIdris.AbsSyntax, Idris.CmdOptions
getPriorityIdris.AbsSyntax
getProofClauseIdris.CaseSplit
getProofTermIdris.Core.ProofTerm
getProvenanceIdris.Core.ProofState, Idris.Core.Elaborate
getProvidedIdris.Providers
getPSnamesIdris.Core.Elaborate
getQuietIdris.AbsSyntax
getRetTyIdris.Core.TT
getScreenWidthUtil.ScreenSize
getScriptIdris.AbsSyntaxTree, Idris.AbsSyntax
getShowArgsIdris.AbsSyntaxTree, Idris.AbsSyntax
getSOIdris.AbsSyntax
getSourceDirIdris.AbsSyntax
getSpecAppsIdris.PartialEval
getStaticNamesIdris.Elab.Utils
getStaticsIdris.Elab.Utils
getSymbolIdris.AbsSyntax
getTargetDirIRTS.System
getTCinjIdris.Elab.Utils
getTCParamsInTypeIdris.Elab.Utils
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.AbsSyntax
getTripleIdris.AbsSyntax
getUnboundImplicitsIdris.AbsSyntax
getUndefinedIdris.AbsSyntax
getUnifyLogIdris.Core.Elaborate
getUniqIdris.CaseSplit
getUniqueUsedIdris.Elab.Utils
getUnmatchableIdris.Elab.Term
getWidthIdris.AbsSyntax
get_autosIdris.Core.Elaborate
get_contextIdris.Core.Elaborate
get_datatypesIdris.Core.Elaborate
get_deferredIdris.Core.Elaborate
get_dottermIdris.Core.Elaborate
get_envIdris.Core.Elaborate
get_global_nextnameIdris.Core.Elaborate
get_guessIdris.Core.Elaborate
get_holesIdris.Core.Elaborate
get_implementationsIdris.Core.Elaborate
get_injIdris.Core.Elaborate
get_probsIdris.Core.Elaborate
get_recentsIdris.Core.Elaborate
get_termIdris.Core.Elaborate
get_typeIdris.Core.Elaborate
get_type_valIdris.Core.Elaborate
get_usednsIdris.Core.Elaborate
GHoleIdris.Core.TT
GivenValIdris.Core.TT
GlobIRTS.Lang, IRTS.Defunctionalise
global_nextnameIdris.Core.ProofState, Idris.Core.Elaborate
GoalIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
goal 
1 (Function)Idris.Core.ProofTerm
2 (Function)Idris.Core.Elaborate
goalAtFocusIdris.Core.ProofState, Idris.Core.Elaborate
GoalTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
goalTypeIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
goal_polymorphicIdris.Elab.Term
groupsOfIRTS.Defunctionalise
gtePropIdris.Parser.Helpers, Idris.Parser
gtPropIdris.Parser.Helpers, Idris.Parser
GuardedIdris.Coverage
GuardednessIdris.Coverage
GuessIdris.Core.TT