idris-1.3.1: 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
unboundPiIdris.Parser.Expr
unboundPiNoConstraintIdris.Parser.Expr
Unchecked 
1 (Data Constructor)Idris.Docstrings
2 (Data Constructor)Idris.Core.Evaluate
UndefineIdris.REPL.Commands
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
unfoldIdris.Core.Evaluate
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.Parser.Expr
unifylogIdris.Core.ProofState, Idris.Core.Elaborate
UnifyProblemsIdris.Core.ProofState, Idris.Core.Elaborate
unifyProblemsIdris.Core.Elaborate
UnifyScopeIdris.Core.TT
UnifyTermsIdris.Core.ProofState, Idris.Core.Elaborate
unifyTermsIdris.Core.Elaborate
unify_allIdris.Core.Elaborate
unInitializedPkgNameIdris.Imports
uniqueBindersIdris.Core.TT
uniqueBindersCtxtIdris.Core.Evaluate
UniqueErrorIdris.Core.TT
UniqueKindErrorIdris.Core.TT
uniqueNameIdris.Core.TT
uniqueNameCtxtIdris.Core.Evaluate
uniqueNameFromIdris.Core.TT
uniqueNameSetIdris.Core.TT
UniquenessTypesIdris.Options
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.REPL.Commands
UnknownIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImpIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImplicitIdris.Core.TT
unListIdris.Core.TT
unlitIdris.Unlit
UnmatchedCaseIdris.Core.CaseTree
unPkgNameIdris.Imports
unquoteIdris.Parser.Expr
unrecoverableIdris.Core.Unify
UnsetOptIdris.REPL.Commands
unwrapFCIdris.Core.TT
upairConIdris.AbsSyntaxTree, Idris.AbsSyntax
upairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
UpdatableIdris.Core.CaseTree
UPDATEIRTS.Bytecode
updateAuxIdris.Core.Elaborate
updateContextIdris.AbsSyntax
updateDefIdris.Core.TT
updateIMethodsIdris.AbsSyntax
updateIStateIdris.AbsSyntax
updateNIdris.AbsSyntaxTree, Idris.AbsSyntax
updateNsIdris.AbsSyntaxTree, Idris.AbsSyntax
updatePSIdris.Core.Elaborate
updateSolvedIdris.Core.ProofTerm
updateSolvedTermIdris.Core.ProofTerm
updateSolvedTerm'Idris.Core.ProofTerm
updateSynMatchIdris.Parser.Expr
updateSyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
update_termIdris.Core.Elaborate
updsubstIdris.Core.ProofTerm
UsageReasonIdris.AbsSyntaxTree, Idris.AbsSyntax
UseCodegenIdris.Options
UseConsoleWidthIdris.Options
usedArgIRTS.Lang, IRTS.Defunctionalise
usedBigIntIRTS.JavaScript.Codegen
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
UTypeIdris.Core.TT
UValIdris.Core.TT
UVarIdris.Core.TT