idris-0.10.2: 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
getCCIRTS.System
getClauseIdris.CaseSplit
getClientIdris.REPL
getCmdLineIdris.AbsSyntax
getCoercionsToIdris.AbsSyntax
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.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
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.Parser.Helpers, Idris.Parser
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFromHideListIdris.AbsSyntax
getFunctionErrorHandlersIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIdrisLibDirIRTS.System
GetIdrisVersionIdris.IdeMode
getImportedIdris.AbsSyntax
getImportsIdris.Chaser
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInternalAppIdris.AbsSyntax
getIStateIdris.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
getOptimiseIdris.AbsSyntax
GetOptsIdris.IdeMode
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.REPL
getPkgCheckIdris.REPL
getPkgCleanIdris.REPL
getPkgMkDocIdris.REPL
getPkgREPLIdris.REPL
getPkgTestIdris.REPL
getPortIdris.REPL
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
getSpecAppsIdris.PartialEval
getStaticNamesIdris.Elab.Utils
getStaticsIdris.Elab.Utils
getSymbolIdris.AbsSyntax
getTargetDirIRTS.System
getTCinjIdris.Elab.Utils
getTCParamsInTypeIdris.Elab.Utils
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.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_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
get_usednsIdris.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.Elab.Term
groupsOfIRTS.Defunctionalise
gtePropIdris.Parser.Helpers, Idris.Parser
gtPropIdris.Parser.Helpers, Idris.Parser
GuardedIdris.Coverage
GuardednessIdris.Coverage
GuessIdris.Core.TT