idris-1.1.1: Functional Programming Language with Dependent Types

Index - G

GDIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
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.Options
getCCIRTS.System
getCGAllNamesIdris.AbsSyntax
getClauseIdris.CaseSplit
getClientIdris.Options, Idris.CmdOptions
getCmdLineIdris.AbsSyntax
getCodegenIdris.Options
getCodegenArgsIdris.Options
getCoercionsToIdris.AbsSyntax
getColourIdris.Options
getConsoleWidthIdris.Options
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.AbsSyntax
getCPUIdris.Options
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.Options
getExecScriptIdris.Options
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.Parser.Helpers, Idris.Parser
getFileIdris.Options
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFragileIdris.AbsSyntax
getFromHideListIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIBCSubDirIdris.Options, Idris.CmdOptions
getIdrisCCIdris.Info
getIdrisCRTSDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisDataDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisDataFileByName 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisDocDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisFlagsEnvIdris.Info
getIdrisFlagsIncIdris.Info
getIdrisFlagsLibIdris.Info
getIdrisHistoryFileIdris.Info
getIdrisInitScriptIdris.Info
getIdrisInstalledPackagesIdris.Info
getIdrisJSRTSDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisLibDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisLoggingCategoriesIdris.Info
getIdrisUserDataDirIdris.Info
GetIdrisVersionIdris.IdeMode
getIdrisVersionIdris.Info
getIdrisVersionNoGitIdris.Info
getImportDirIdris.Options
getImportedIdris.AbsSyntax
getImportsIdris.Chaser
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getIndentClauseIdris.AbsSyntax
getIndentWithIdris.AbsSyntax
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInternalAppIdris.AbsSyntax
getIStateIdris.AbsSyntax
getLanguageExtIdris.Options
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.Options
getOptimiseIdris.AbsSyntax
getOptLevelIdris.Options
GetOptsIdris.IdeMode
getOutputIdris.Options
getOutputTyIdris.Options
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.Options, Idris.CmdOptions
getPkgCheckIdris.Options, Idris.CmdOptions
getPkgCleanIdris.Options, Idris.CmdOptions
getPkgDescIdris.Package
getPkgDirIdris.Options
getPkgIndexIdris.Options
getPkgMkDocIdris.Options, Idris.CmdOptions
getPkgREPLIdris.Options, Idris.CmdOptions
getPkgTestIdris.Options, Idris.CmdOptions
getPortIdris.Options, 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.Options
getSpecAppsIdris.PartialEval
getStaticNamesIdris.Elab.Utils
getStaticsIdris.Elab.Utils
getSymbolIdris.AbsSyntax
getTCinjIdris.Elab.Utils
getTCParamsInTypeIdris.Elab.Utils
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.AbsSyntax
getTripleIdris.Options
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
globlToConIRTS.JavaScript.LangTransforms
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.Termination
GuardednessIdris.Termination
GuessIdris.Core.TT