idris-0.9.20: Functional Programming Language with Dependent Types

Index - U

ucheckIdris.Core.Constraints
UConstraint 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
uconstraintIdris.Core.TT
UCsIdris.Core.TT
UExpIdris.Core.TT
ufcIdris.Core.TT
UImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
ULEIdris.Core.TT
ULTIdris.Core.TT
UNIdris.Core.TT
unApplyIdris.Core.TT
unApplyRawIdris.Reflection
unboundPiIdris.ParseExpr, Idris.Parser
Unchecked 
1 (Data Constructor)Idris.Core.Evaluate
2 (Data Constructor)Idris.Docstrings
UndefineIdris.AbsSyntaxTree, Idris.AbsSyntax
underlineIdris.Colours
UnderlineTextIdris.Core.TT
Undo 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
undoIdris.Core.Elaborate
UnfocusIdris.AbsSyntaxTree, Idris.AbsSyntax
UnguardedIdris.Coverage
unIdiomIdris.DSL
unifiedIdris.Core.ProofState, Idris.Core.Elaborate
UnifiedDIdris.PartialEval
UnifyIdris.Core.Unify
unifyIdris.Core.Unify
UnifyAllIdris.Core.ProofState, Idris.Core.Elaborate
UnifyGoalIdris.Core.ProofState, Idris.Core.Elaborate
unifyGoalIdris.Core.Elaborate
unifyLog 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.ParseExpr, Idris.Parser
unifylogIdris.Core.ProofState, Idris.Core.Elaborate
UnifyProblemsIdris.Core.ProofState, Idris.Core.Elaborate
unifyProblemsIdris.Core.Elaborate
UnifyScopeIdris.Core.TT
unify_allIdris.Core.Elaborate
uniqueBindersIdris.Core.TT
uniqueBindersCtxtIdris.Core.Evaluate
UniqueErrorIdris.Core.TT
UniqueKindErrorIdris.Core.TT
uniqueNameIdris.Core.TT
uniqueNameCtxtIdris.Core.Evaluate
uniqueNameFromIdris.Core.TT
uniqueNameSetIdris.Core.TT
UniqueTypeIdris.Core.TT
UniqueUseIdris.Core.Typecheck
unique_holeIdris.Core.Elaborate
unique_hole'Idris.Core.Elaborate
unitConIdris.AbsSyntaxTree, Idris.AbsSyntax
unitTyIdris.AbsSyntaxTree, Idris.AbsSyntax
UniverseIdris.Core.TT
UniverseErrorIdris.Core.TT
UniversesIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImpIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImplicitIdris.Core.TT
unListIdris.Core.TT
unlitIdris.Unlit
UnmatchedCaseIdris.Core.CaseTree
unquoteIdris.ParseExpr, Idris.Parser
unrecoverableIdris.Core.Unify
UnsetOptIdris.AbsSyntaxTree, Idris.AbsSyntax
unwrapFCIdris.Core.TT
upairConIdris.AbsSyntaxTree, Idris.AbsSyntax
upairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
updIdris.Coverage
UpdatableIdris.Core.CaseTree
UPDATEIRTS.Bytecode
updateAuxIdris.Core.Elaborate
updateContextIdris.AbsSyntax
updateDefIdris.Core.TT
updateIStateIdris.AbsSyntax
updateNIdris.AbsSyntaxTree, Idris.AbsSyntax
updateNsIdris.AbsSyntaxTree, Idris.AbsSyntax
updatePSIdris.Core.Elaborate
updateSolvedIdris.Core.ProofTerm
updateSolvedTermIdris.Core.ProofTerm
updateSolvedTerm'Idris.Core.ProofTerm
updateSynMatchIdris.ParseExpr, Idris.Parser
updateSyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
update_termIdris.Core.Elaborate
updsubstIdris.Core.ProofTerm
UsageReasonIdris.AbsSyntaxTree, Idris.AbsSyntax
UseCodegenIdris.AbsSyntaxTree, Idris.AbsSyntax
UseConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
usedArgIRTS.Lang, IRTS.Defunctionalise
usedInIRTS.Lang, IRTS.Defunctionalise
usedNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
usednsIdris.Core.ProofState, Idris.Core.Elaborate
usedposIdris.AbsSyntaxTree, Idris.AbsSyntax
useREPLIdris.AbsSyntax
UseUndefIdris.Core.Evaluate
UsingIdris.AbsSyntaxTree, Idris.AbsSyntax
usingIdris.AbsSyntaxTree, Idris.AbsSyntax
usingDeclIdris.Parser
usingDeclListIdris.Parser
using_Idris.Parser
UTypeIdris.Core.TT
UValIdris.Core.TT
UVarIdris.Core.TT