idris-0.9.17: 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
generateDocsIdris.IdrisDoc
getAllIdris.AbsSyntaxTree, Idris.AbsSyntax
getAllNamesIdris.AbsSyntax
getArgTysIdris.Core.TT
getAutoImportsIdris.AbsSyntax
getAuxIdris.Core.Elaborate
getBCIdris.REPL
getCCIRTS.System
getClauseIdris.CaseSplit
getClientIdris.REPL
getCmdLineIdris.AbsSyntax
getCodegenIdris.REPL
getCoercionsToIdris.AbsSyntax
getColourIdris.REPL
getConsoleWidthIdris.REPL
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.AbsSyntax
getCPUIdris.REPL
getDataDirIRTS.System
getDataFileNameIRTS.System
getDocsIdris.Docs
getDumpCasesIdris.AbsSyntax
getDumpDefunIdris.AbsSyntax
getErasureInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
getErasureUsageIdris.AbsSyntax
getErrSpanIdris.Error
getEvalExprIdris.REPL
getExecScriptIdris.REPL
getExecutablePomIRTS.System
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.ParseHelpers, Idris.Parser
getFileIdris.REPL
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFunctionErrorHandlersIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIBCSubDirIdris.REPL
getIdrisLibDirIRTS.System
getIdrisUserDataDirIdris.REPL
GetIdrisVersionIdris.IdeMode
getImportDirIdris.REPL
getImportedIdris.AbsSyntax
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInitScriptIdris.REPL
getInternalAppIdris.AbsSyntax
getIStateIdris.AbsSyntax
getLanguageExtIdris.REPL
getLenIdris.IdeMode
getLibFlagsIRTS.System
getLibsIdris.AbsSyntax
getLogIdris.Core.Elaborate
getModuleFilesIdris.Chaser
getMvnIRTS.System
getNameIdris.AbsSyntax
getNameFromIdris.Core.Elaborate
getNameHintsIdris.AbsSyntax
getNCharIdris.IdeMode
getNextNameIRTS.Lang, IRTS.Defunctionalise
getNoBannerIdris.AbsSyntax
getObjectFilesIdris.AbsSyntax
getOptimisationIdris.REPL
getOptimiseIdris.AbsSyntax
getOptLevelIdris.REPL
GetOptsIdris.IdeMode
getOutputIdris.REPL
getOutputTyIdris.REPL
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.REPL
getPkgCheckIdris.REPL
getPkgCleanIdris.REPL
getPkgDirIdris.REPL
getPkgIndexIdris.REPL
getPkgMkDocIdris.REPL
getPkgREPLIdris.REPL
getPkgTestIdris.REPL
getPortIdris.REPL
getPriorityIdris.AbsSyntax
getProofClauseIdris.CaseSplit
getProofTermIdris.Core.ProofTerm
getProvenanceIdris.Core.ProofState, Idris.Core.Elaborate
getProvidedIdris.Providers
getQuietIdris.AbsSyntax
getRetTyIdris.Core.TT
getScreenWidthUtil.ScreenSize
getScriptIdris.AbsSyntaxTree, Idris.AbsSyntax
getShowArgsIdris.AbsSyntaxTree, Idris.AbsSyntax
getSOIdris.AbsSyntax
getSpecAppsIdris.PartialEval
getStaticNamesIdris.Elab.Utils
getStaticsIdris.Elab.Utils
getSymbolIdris.AbsSyntax
getTargetDirIRTS.System
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.AbsSyntax
getTripleIdris.REPL
getUnboundImplicitsIdris.AbsSyntax
getUndefinedIdris.AbsSyntax
getUnifyLogIdris.Core.Elaborate
getUniqIdris.CaseSplit
getUniqueUsedIdris.Elab.Utils
getUnmatchableIdris.ElabTerm
getWidthIdris.AbsSyntax
get_autosIdris.Core.Elaborate
get_contextIdris.Core.Elaborate
get_deferredIdris.Core.Elaborate
get_dottermIdris.Core.Elaborate
get_envIdris.Core.Elaborate
get_guessIdris.Core.Elaborate
get_holesIdris.Core.Elaborate
get_injIdris.Core.Elaborate
get_instancesIdris.Core.Elaborate
get_probsIdris.Core.Elaborate
get_recentsIdris.Core.Elaborate
get_termIdris.Core.Elaborate
get_typeIdris.Core.Elaborate
get_type_valIdris.Core.Elaborate
GHoleIdris.Core.TT
GivenValIdris.Core.TT
GlobIRTS.Lang, IRTS.Defunctionalise
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.ElabTerm
groupsOfIRTS.Defunctionalise
gtePropIdris.ParseHelpers, Idris.Parser
gtPropIdris.ParseHelpers, Idris.Parser
GuardedIdris.Coverage
GuardednessIdris.Coverage
GuessIdris.Core.TT