unison-parser-typechecker-0.0.0
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
:
!
$
_
All
Index - I
IfBody
Unison.Typechecker.TypeError
ifBody
Unison.Typechecker.TypeError
Ignore
Unison.PatternMatchCoverage.NormalizedConstraints
IllegalContextExtension
Unison.Typechecker.Context
IllFormedType
Unison.Typechecker.Context
illFormedType
Unison.Typechecker.Extractor
Imports
Unison.PrettyPrintEnv.FQN
imports
Unison.Syntax.TermParser
improveError
Unison.KindInference.Error
InaccessiblePattern
Unison.Typechecker.Context
InAndApp
Unison.Typechecker.Context
inAndApp
Unison.Typechecker.Extractor
InCheck
Unison.Typechecker.Context
inCheck
Unison.Typechecker.Extractor
increment
1 (Function)
Unison.Syntax.Precedence
2 (Function)
Unison.Util.Logger
indexByReference
Unison.UnisonFile
indexOf
Unison.Util.Text
Indirection
Unison.PatternMatchCoverage.UFMap
InEquate
Unison.Typechecker.Context
inEquate
Unison.Typechecker.Extractor
inferDecls
Unison.KindInference
inferDependencyMounts
U.Codebase.Projects
infixLevels
Unison.Syntax.Precedence
InfixOp
Unison.Syntax.Precedence
InfixPrecedence
Unison.Syntax.Precedence
infixRules
Unison.Syntax.Precedence
info
Unison.Util.Logger
info'
Unison.Util.Logger
InfoExtractor
Unison.Typechecker.Extractor
infoLevel
Unison.Util.Logger
InfoNote
Unison.Typechecker.Context
infoNote
Unison.Typechecker.Extractor
infoNotes
Unison.Typechecker.Context
InFunctionCall
Unison.Typechecker.Context
inFunctionCall
Unison.Typechecker.Extractor
InIfBody
Unison.Typechecker.Context
inIfBody
Unison.Typechecker.Extractor
InIfCond
Unison.Typechecker.Context
inIfCond
Unison.Typechecker.Extractor
InInstantiateL
Unison.Typechecker.Context
InInstantiateR
Unison.Typechecker.Context
Init
1 (Type/Class)
Unison.Codebase.Init.Type
2 (Data Constructor)
Unison.Codebase.Init.Type
3 (Type/Class)
Unison.Codebase.Init
4 (Data Constructor)
Unison.Codebase.Init
init
Unison.Codebase.SqliteCodebase
initCodebaseAndExit
Unison.Codebase.Init
InitError
Unison.Codebase.Init
InitErrorOpen
Unison.Codebase.Init
initialState
Unison.KindInference.Solve
InitResult
Unison.Codebase.Init
initWithSetup
Unison.Codebase.SqliteCodebase
InMatch
Unison.Typechecker.Context
inMatch
Unison.Typechecker.Extractor
InMatchBody
Unison.Typechecker.Context
inMatchBody
Unison.Typechecker.Extractor
InMatchGuard
Unison.Typechecker.Context
inMatchGuard
Unison.Typechecker.Extractor
innermostErrorTerm
Unison.Typechecker.Context
innermostTerm
Unison.Typechecker.Extractor
InOrApp
Unison.Typechecker.Context
inOrApp
Unison.Typechecker.Extractor
insert
1 (Function)
Unison.PatternMatchCoverage.IntervalSet
2 (Function)
Unison.PatternMatchCoverage.UFMap
3 (Function)
Unison.Util.CycleTable
4 (Function)
Unison.Codebase.Metadata
insertD1
Unison.Util.Star2
insertD2
Unison.Util.Star2
insertEnd
Unison.Util.CycleTable
insertProjectAndBranch
Unison.Codebase.SqliteCodebase.Operations
installUcmDependencies
Unison.Codebase
InSubtype
Unison.Typechecker.Context
inSubtype
Unison.Typechecker.Extractor
inSubtypes
Unison.Typechecker.TypeError
InSynthesize
Unison.Typechecker.Context
inSynthesize
Unison.Typechecker.Extractor
InSynthesizeApp
Unison.Typechecker.Context
inSynthesizeApp
Unison.Typechecker.Extractor
Int
Unison.PatternMatchCoverage.PmLit
integrityCheckAllBranches
Unison.Codebase.IntegrityCheck
integrityCheckAllCausals
Unison.Codebase.IntegrityCheck
integrityCheckFullCodebase
Unison.Codebase.IntegrityCheck
IntegrityErrorDetected
Unison.Codebase.IntegrityCheck
IntegrityResult
Unison.Codebase.IntegrityCheck
Intersect
Unison.Util.Text.Pattern
intersectIntervals
Unison.PatternMatchCoverage.IntervalSet
intersection
Unison.PatternMatchCoverage.IntervalSet
intersectionWith
Unison.Util.EnumContainers
IntervalSet
Unison.PatternMatchCoverage.IntervalSet
interverse
Unison.Util.EnumContainers
intrinsicTermReferences
Unison.Builtin
intrinsicTypeReferences
Unison.Builtin
intToKey
Unison.Util.EnumContainers
inVector
Unison.Typechecker.Extractor
InVectorApp
Unison.Typechecker.Context
ioErrorRef
Unison.Builtin.Decls
ioErrorType
Unison.Builtin.Decls
ioFailureRef
Unison.Builtin.Decls
IsAbility
1 (Data Constructor)
Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)
Unison.KindInference.Constraint.Solved
isAbsolute
Unison.Codebase.Path
IsArr
1 (Data Constructor)
Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)
Unison.KindInference.Constraint.Solved
isBuiltinType
Unison.Builtin
IsCacheHit
Unison.Codebase.Runtime
isCurrentPath
Unison.Codebase.Path
IsEffectful
Unison.PatternMatchCoverage.NormalizedConstraints
isEmpty
1 (Function)
Unison.Codebase.Patch
2 (Function)
Unison.Codebase.Branch
isEmpty0
Unison.Codebase.Branch.Type
,
Unison.Codebase.Branch
isEqual
1 (Function)
Unison.Typechecker.Context
2 (Function)
Unison.Typechecker
isExact
Unison.Typechecker.Context
isFailure
Unison.Result
IsNotEffectful
Unison.PatternMatchCoverage.NormalizedConstraints
isOne
Unison.Codebase.Branch
isPropagatedConstructorId
Unison.Builtin.Decls
isPropagatedRef
Unison.Builtin.Decls
isPublic
Unison.Codebase.Editor.RemoteRepo
isRedundant
Unison.Typechecker.Context
isRelative
Unison.Codebase.Path
isRoot
Unison.Codebase.Path
isRoot'
Unison.Codebase.Path
isSame
Unison.Codebase.TermEdit
isSilent
Unison.Codebase.Verbosity
isSubtype
1 (Function)
Unison.Typechecker.Context
2 (Function)
Unison.Typechecker
isSuccess
Unison.Result
isTerm
Unison.Codebase
isTestConstructorId
Unison.Builtin.Decls
isTestRef
Unison.Builtin.Decls
isTopLevelPrecedence
Unison.Syntax.Precedence
IsType
1 (Data Constructor)
Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)
Unison.KindInference.Constraint.Solved
isType
Unison.Codebase
isTypePreserving
Unison.Codebase.TermEdit