unison-parser-typechecker-0.0.0

Index

!Unison.Util.EnumContainers
<|Unison.Typechecker.Context.Structure
AbilityCheckFailure 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
abilityCheckFailure 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
abilityCheckFailureSiteUnison.Typechecker.TypeError
AbilityConcreteSubsetUnison.Typechecker.Context
AbilityEqFailure 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
abilityEqFailure 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
AbilityEqFailureFromApUnison.Typechecker.TypeError
AbilityInstantiationFailureUnison.Typechecker.TypeError
abilitySubFailureUnison.Typechecker.TypeError
AbilitySubtypeFailureUnison.Typechecker.TypeError
AbilityTypeUnison.PatternMatchCoverage.Class
abortMigrationUnison.Codebase.SqliteCodebase.Migrations.Helpers
Absolute 
1 (Type/Class)Unison.Codebase.Path
2 (Data Constructor)Unison.Codebase.Path
AbsolutePath'Unison.Codebase.Path
absoluteToPath'Unison.Codebase.Path
absPathUnison.Codebase.ProjectPath
absPath_ 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.ProjectPath
AccessorNameUnison.Syntax.DeclPrinter
actUnison.Typechecker.Variance
actionRestrictionUnison.Typechecker.TypeError
ActionRestrictionFailureUnison.Typechecker.TypeError
ActualArgCountUnison.Typechecker.Context
addBufferDependentUnison.Codebase.SqliteCodebase.Operations
addDeclComponentTypeIndexUnison.Codebase.SqliteCodebase.Operations
addDefsToCodebaseUnison.Codebase
addedTermsUnison.Codebase.Branch.BranchDiff
addedTypesUnison.Codebase.Branch.BranchDiff
addFallback 
1 (Function)Unison.PrettyPrintEnv
2 (Function)Unison.PrettyPrintEnvDecl
additionalInfoUnison.Typechecker.TypeError
addNamesFromTypeCheckedUnisonFileUnison.UnisonFile.Names
addPathUnison.Codebase.Runtime.Profile
addsU.Codebase.Branch.Diff
addTermNameUnison.Codebase.Branch
addTypeNameUnison.Codebase.Branch
addTypeVarsUnison.PrettyPrintEnv.MonadPretty
addUnconstrainedVarUnison.KindInference.Solve.Monad
aggregatePrunedUnison.Codebase.Runtime.Profile
allBoundVarsUnison.Typechecker.Context.Structure
allErrorsUnison.Typechecker.TypeError
allNameChangesU.Codebase.Branch.Diff
AllowRewritingHistoryUnison.Codebase.Branch
allTermNamesUnison.PrettyPrintEnv
allTermsUnison.UnisonFile
allTypeDeclsUnison.UnisonFile.Summary
allTypeNamesUnison.PrettyPrintEnv
allWatches 
1 (Function)Unison.UnisonFile
2 (Function)Unison.UnisonFile.Summary
AlphaNumUnison.Util.Text.Pattern
alterUnison.PatternMatchCoverage.UFMap
alterFUnison.PatternMatchCoverage.UFMap
ambientUnison.Typechecker.TypeError
ambientAbilitiesUnison.Typechecker
AmbiguousUnison.Codebase.MainTerm
ancestorsUnison.Codebase.Path
andUnison.Typechecker.TypeError
AndMismatchUnison.Typechecker.TypeError
AnnUnison.Typechecker.Context.Structure, Unison.Typechecker.Context
annihilateTermNameUnison.Codebase.Branch
annihilateTypeNameUnison.Codebase.Branch
Annotation 
1 (Data Constructor)Unison.KindInference.Constraint.Context
2 (Data Constructor)Unison.Syntax.Precedence
annotation 
1 (Function)Unison.Syntax.DeclParser
2 (Function)Unison.Syntax.DeclParser
Any 
1 (Data Constructor)Unison.Typechecker.Variance
2 (Data Constructor)Unison.Util.Text.Pattern
AppAbsUnison.KindInference.Constraint.Context
AppArgUnison.KindInference.Constraint.Context
AppArrowUnison.KindInference.Constraint.Context
appendCapturesUnison.Util.Text.Pattern
appendUnbalancedUnison.Util.Text
ApplicationUnison.Syntax.Precedence
applyUnison.Typechecker.Context.Structure, Unison.Typechecker.Context
applyingFunctionUnison.Typechecker.TypeError
applyingNonFunctionUnison.Typechecker.TypeError
argUnison.Typechecker.TypeError
argNumUnison.Typechecker.TypeError
argsUnison.Typechecker.TypeError
ArgumentMismatchUnison.KindInference.Error, Unison.KindInference.Solve
ArgumentMismatchArrowUnison.KindInference.Error, Unison.KindInference.Solve
arithmeticFailureRefUnison.Builtin.Decls
arrayFailureRefUnison.Builtin.Decls
AsUnison.Typechecker.Variance
ascendUnison.Codebase.Path
asPathExtractorUnison.Typechecker.Extractor
asUnconflictedUnison.Codebase.Branch.Type, Unison.Codebase.Branch
asyncCancelledFailureRefUnison.Builtin.Decls
at 
1 (Function)Unison.Util.Logger
2 (Function)Unison.Util.Text
atDebugUnison.Util.Logger
atErrorUnison.Util.Logger
atInfoUnison.Util.Logger
atomicUnison.Util.Logger
atTraceUnison.Util.Logger
atWarnUnison.Util.Logger
avroArrayUnison.Builtin.Decls
avroBooleanUnison.Builtin.Decls
avroBytesUnison.Builtin.Decls
avroDecimalRefUnison.Builtin.Decls
avroDefaultArrayUnison.Builtin.Decls
avroDefaultBooleanUnison.Builtin.Decls
avroDefaultBytesUnison.Builtin.Decls
avroDefaultDoubleUnison.Builtin.Decls
avroDefaultEnumUnison.Builtin.Decls
avroDefaultFixedUnison.Builtin.Decls
avroDefaultFloatUnison.Builtin.Decls
avroDefaultIntUnison.Builtin.Decls
avroDefaultLongUnison.Builtin.Decls
avroDefaultMapUnison.Builtin.Decls
avroDefaultNamedTypeUnison.Builtin.Decls
avroDefaultNullUnison.Builtin.Decls
avroDefaultRecordUnison.Builtin.Decls
avroDefaultRefUnison.Builtin.Decls
avroDefaultStringUnison.Builtin.Decls
avroDefaultUnionUnison.Builtin.Decls
avroDefaultValueArrayUnison.Builtin.Decls
avroDefaultValueBooleanUnison.Builtin.Decls
avroDefaultValueBytesUnison.Builtin.Decls
avroDefaultValueDoubleUnison.Builtin.Decls
avroDefaultValueEnumUnison.Builtin.Decls
avroDefaultValueFixedUnison.Builtin.Decls
avroDefaultValueFloatUnison.Builtin.Decls
avroDefaultValueInt32Unison.Builtin.Decls
avroDefaultValueInt64Unison.Builtin.Decls
avroDefaultValueMapUnison.Builtin.Decls
avroDefaultValueNullUnison.Builtin.Decls
avroDefaultValueRecordUnison.Builtin.Decls
avroDefaultValueRefUnison.Builtin.Decls
avroDefaultValueStringUnison.Builtin.Decls
avroDefaultValueUnionUnison.Builtin.Decls
avroDoubleUnison.Builtin.Decls
avroEnumUnison.Builtin.Decls
avroEnumRefUnison.Builtin.Decls
avroFieldRefUnison.Builtin.Decls
avroFieldStatusAsIsUnison.Builtin.Decls
avroFieldStatusDefaultedUnison.Builtin.Decls
avroFieldStatusIgnoredUnison.Builtin.Decls
avroFieldStatusRefUnison.Builtin.Decls
avroFixedUnison.Builtin.Decls
avroFixedRefUnison.Builtin.Decls
avroFloatUnison.Builtin.Decls
avroIntUnison.Builtin.Decls
avroLogicalBytesDecimalUnison.Builtin.Decls
avroLogicalBytesRefUnison.Builtin.Decls
avroLogicalFixedDecimalUnison.Builtin.Decls
avroLogicalFixedDurationUnison.Builtin.Decls
avroLogicalFixedRefUnison.Builtin.Decls
avroLogicalIntDateUnison.Builtin.Decls
avroLogicalIntDecimalUnison.Builtin.Decls
avroLogicalIntRefUnison.Builtin.Decls
avroLogicalIntTimeUnison.Builtin.Decls
avroLogicalLongDecimalUnison.Builtin.Decls
avroLogicalLongLocalTimestampMicrosUnison.Builtin.Decls
avroLogicalLongLocalTimestampMillisUnison.Builtin.Decls
avroLogicalLongRefUnison.Builtin.Decls
avroLogicalLongTimeMicrosUnison.Builtin.Decls
avroLogicalLongTimestampMicrosUnison.Builtin.Decls
avroLogicalLongTimestampMillisUnison.Builtin.Decls
avroLogicalStringRefUnison.Builtin.Decls
avroLogicalStringUUIDUnison.Builtin.Decls
avroLongUnison.Builtin.Decls
avroMapUnison.Builtin.Decls
avroNullUnison.Builtin.Decls
avroOrderAscendingUnison.Builtin.Decls
avroOrderDescendingUnison.Builtin.Decls
avroOrderIgnoreUnison.Builtin.Decls
avroOrderRefUnison.Builtin.Decls
avroReadDoubleUnison.Builtin.Decls
avroReadDoubleFromFloatUnison.Builtin.Decls
avroReadDoubleInt32Unison.Builtin.Decls
avroReadDoubleInt64Unison.Builtin.Decls
avroReadDoubleRefUnison.Builtin.Decls
avroReadFieldRefUnison.Builtin.Decls
avroReadFloatUnison.Builtin.Decls
avroReadFloatInt32Unison.Builtin.Decls
avroReadFloatInt64Unison.Builtin.Decls
avroReadFloatRefUnison.Builtin.Decls
avroReadLongUnison.Builtin.Decls
avroReadLongInt32Unison.Builtin.Decls
avroReadLongRefUnison.Builtin.Decls
avroReadRecordRefUnison.Builtin.Decls
avroReadSchemaArrayUnison.Builtin.Decls
avroReadSchemaBooleanUnison.Builtin.Decls
avroReadSchemaBytesUnison.Builtin.Decls
avroReadSchemaDoubleUnison.Builtin.Decls
avroReadSchemaEnumUnison.Builtin.Decls
avroReadSchemaFixedUnison.Builtin.Decls
avroReadSchemaFloatUnison.Builtin.Decls
avroReadSchemaFreeUnionUnison.Builtin.Decls
avroReadSchemaIntUnison.Builtin.Decls
avroReadSchemaLongUnison.Builtin.Decls
avroReadSchemaMapUnison.Builtin.Decls
avroReadSchemaNamedTypeUnison.Builtin.Decls
avroReadSchemaNullUnison.Builtin.Decls
avroReadSchemaRecordUnison.Builtin.Decls
avroReadSchemaRefUnison.Builtin.Decls
avroReadSchemaStringUnison.Builtin.Decls
avroReadSchemaUnionUnison.Builtin.Decls
avroRecordUnison.Builtin.Decls
avroRecordRefUnison.Builtin.Decls
avroRefUnison.Builtin.Decls
avroSchemaArrayUnison.Builtin.Decls
avroSchemaBooleanUnison.Builtin.Decls
avroSchemaBytesUnison.Builtin.Decls
avroSchemaDoubleUnison.Builtin.Decls
avroSchemaEnumUnison.Builtin.Decls
avroSchemaFixedUnison.Builtin.Decls
avroSchemaFloatUnison.Builtin.Decls
avroSchemaIntUnison.Builtin.Decls
avroSchemaLongUnison.Builtin.Decls
avroSchemaMapUnison.Builtin.Decls
avroSchemaNamedTypeUnison.Builtin.Decls
avroSchemaNullUnison.Builtin.Decls
avroSchemaRecordUnison.Builtin.Decls
avroSchemaRefUnison.Builtin.Decls
avroSchemaStringUnison.Builtin.Decls
avroSchemaUnionUnison.Builtin.Decls
avroStringUnison.Builtin.Decls
avroTypeNameRefUnison.Builtin.Decls
avroUnionUnison.Builtin.Decls
awaitSizeUnison.Util.TQueue
BackupUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
backupCodebaseIfNecessaryUnison.Codebase.SqliteCodebase.Migrations
backupCodebasePathUnison.Codebase.SqliteCodebase.Paths
BackupStrategyUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
BadContextUnison.Typechecker.Context.Structure
badEffectInstantiationUnison.Typechecker.TypeError
BadTypeUnison.Codebase.MainTerm
BasementUnison.Syntax.Precedence
batchUpdatesUnison.Codebase.Branch
batchUpdatesMUnison.Codebase.Branch
beComponentUnison.Codebase.SqliteCodebase.Operations
beComponentTargetSizeUnison.Codebase.SqliteCodebase.Operations
before 
1 (Function)Unison.Codebase.Causal.Type, Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
3 (Function)Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase
beforeHashUnison.Codebase.Causal
beMissingDependenciesUnison.Codebase.SqliteCodebase.Operations
beWaitingDependentsUnison.Codebase.SqliteCodebase.Operations
biasTo 
1 (Function)Unison.PrettyPrintEnv
2 (Function)Unison.PrettyPrintEnvDecl
bindingUnison.Syntax.TermParser
blockTermUnison.Syntax.TermParser
BlockUntilLockUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
BooleanUnison.PatternMatchCoverage.PmLit
BooleanMismatch 
1 (Data Constructor)Unison.Typechecker.TypeError
2 (Type/Class)Unison.Typechecker.TypeError
booleanMismatch0Unison.Typechecker.TypeError
BooleanTypeUnison.PatternMatchCoverage.Class
bothEqUnison.Util.CyclicEq
bothEq'Unison.Util.CyclicEq
bothOrdUnison.Util.CyclicOrd
bothOrd'Unison.Util.CyclicOrd
BottomUnison.Syntax.Precedence
boundExistentialVarsUnison.Typechecker.Context.Structure
boundTermsUnison.PrettyPrintEnv.MonadPretty
boundTypesUnison.PrettyPrintEnv.MonadPretty
boundUniversalVarsUnison.Typechecker.Context.Structure
Branch 
1 (Type/Class)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
2 (Data Constructor)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
branch 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.Codebase.ProjectPath
Branch0Unison.Codebase.Branch.Type, Unison.Codebase.Branch
branch0Unison.Codebase.Branch.Type, Unison.Codebase.Branch
branch2to1Unison.Codebase.SqliteCodebase.Conversions
BranchCache 
1 (Type/Class)Unison.Codebase.SqliteCodebase.Branch.Cache
2 (Data Constructor)Unison.Codebase.SqliteCodebase.Branch.Cache
BranchDiff 
1 (Type/Class)Unison.Codebase.BranchDiff
2 (Data Constructor)Unison.Codebase.BranchDiff
3 (Type/Class)Unison.Codebase.Branch.BranchDiff
4 (Data Constructor)Unison.Codebase.Branch.BranchDiff
branchesUnison.Codebase.SqliteCodebase.SyncEphemeral
branchExistsUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
branchHash1to2Unison.Codebase.SqliteCodebase.Conversions
branchHash2to1Unison.Codebase.SqliteCodebase.Conversions
branchHashLengthUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
branchIdUnison.Codebase.ProjectPath
BufferEntry 
1 (Type/Class)Unison.Codebase.SqliteCodebase.Operations
2 (Data Constructor)Unison.Codebase.SqliteCodebase.Operations
bufferModeBlockBufferingIdUnison.Builtin.Decls
bufferModeLineBufferingIdUnison.Builtin.Decls
bufferModeNoBufferingIdUnison.Builtin.Decls
bufferModeRefUnison.Builtin.Decls
bufferModeSizedBlockBufferingIdUnison.Builtin.Decls
bufferModeTypeUnison.Builtin.Decls
bugsUnison.Typechecker
BuiltinUnison.KindInference.Constraint.Context
BuiltinAnnotationUnison.Codebase.BuiltinAnnotation
builtinAnnotationUnison.Codebase.BuiltinAnnotation
builtinConstraintsUnison.KindInference.Generate
builtinConstructorTypeUnison.Builtin
builtinDataDecls 
1 (Function)Unison.Builtin.Decls
2 (Function)Unison.Builtin
builtinEffectDecls 
1 (Function)Unison.Builtin.Decls
2 (Function)Unison.Builtin
builtinIOTestTypesUnison.Codebase.MainTerm
builtinMainUnison.Codebase.MainTerm
builtinMainWithResultTypeUnison.Codebase.MainTerm
BuiltinObjectUnison.Codebase.Editor.DisplayObject
builtinTermsByTypeUnison.Builtin
builtinTermsByTypeMentionUnison.Builtin
builtinTermsRefUnison.Builtin.Terms
builtinTermsSrcUnison.Builtin.Terms
builtinTypeDependentsUnison.Builtin
builtinTypeDependentsOfComponentUnison.Builtin
builtinTypesUnison.Builtin
CanonicalUnison.PatternMatchCoverage.UFMap
CaptureUnison.Util.Text.Pattern
CaptureAsUnison.Util.Text.Pattern
CapturesUnison.Util.Text.Pattern
capturesToListUnison.Util.Text.Pattern
CaseBodyUnison.Typechecker.TypeError
casIORefUnison.Util.RefPromise
catchAnyUnison.Util.Exception
CausalUnison.Codebase.Causal.Type, Unison.Codebase.Causal
causalbranch1to2Unison.Codebase.SqliteCodebase.Conversions
causalbranch2to1Unison.Codebase.SqliteCodebase.Conversions
causalbranch2to1'Unison.Codebase.SqliteCodebase.Conversions
causalHashesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
CauseUnison.Typechecker.Context
cause 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker.Extractor
chainUnison.Typechecker.Variance
Char 
1 (Data Constructor)Unison.PatternMatchCoverage.PmLit
2 (Data Constructor)Unison.Util.Text.Pattern
CharClass 
1 (Type/Class)Unison.Util.Text.Pattern
2 (Data Constructor)Unison.Util.Text.Pattern
charClassPredUnison.Util.Text.Pattern
charInPredUnison.Util.Text.Pattern
charNotInPredUnison.Util.Text.Pattern
CharPatternUnison.Util.Text.Pattern
charPatternPredUnison.Util.Text.Pattern
CharRangeUnison.Util.Text.Pattern
CharSetUnison.Util.Text.Pattern
checkUnison.Typechecker
checkCodebaseIsUpToDateUnison.Codebase.SqliteCodebase.Migrations
checkFinishedUnison.Typechecker.Variance
checkMatchUnison.PatternMatchCoverage
children0Unison.Codebase.Branch
children_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
Chunk 
1 (Type/Class)Unison.Util.Text
2 (Data Constructor)Unison.Util.Text
chunkUnison.Util.Text
chunkToTextUnison.Util.Text
classifyUnison.PatternMatchCoverage.Solve
clearWatchesUnison.Codebase
Codebase 
1 (Type/Class)Unison.Codebase.Type, Unison.Codebase
2 (Data Constructor)Unison.Codebase.Type
codebaseExistsUnison.Codebase.FileCodebase
CodebaseInitOptionsUnison.Codebase.Init
CodebaseLockOptionUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
CodebasePathUnison.CodebasePath, Unison.Codebase.Type, Unison.Codebase
codebasePath 
1 (Function)Unison.Codebase.SqliteCodebase.Paths
2 (Function)Unison.Codebase.Init.Type
3 (Function)Unison.Codebase.Init
CodebaseRequiresMigrationUnison.Codebase.SqliteCodebase.Migrations
CodebaseUnknownSchemaVersionUnison.Codebase.SqliteCodebase.Migrations
CodebaseUpToDateUnison.Codebase.SqliteCodebase.Migrations
CodebaseVersionStatusUnison.Codebase.SqliteCodebase.Migrations
CodeLookup 
1 (Type/Class)Unison.Codebase.CodeLookup
2 (Data Constructor)Unison.Codebase.CodeLookup
codeLookupUnison.Builtin
collectDeclVarianceUnison.Typechecker.Variance
collectVarianceUnison.Typechecker.Variance
combineUnison.Typechecker.Variance
compileUnison.Util.Text.Pattern
CompiledUnison.Util.Text.Pattern
CompileOptsUnison.Codebase.Runtime
CompilerBug 
1 (Type/Class)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.Context
3 (Type/Class)Unison.Result
4 (Data Constructor)Unison.Result
compilerBugUnison.Result
compileToUnison.Codebase.Runtime
complementUnison.PatternMatchCoverage.IntervalSet
componentReferencesForReferenceUnison.Codebase
CompressHistoryUnison.Codebase.Branch
computationTypeUnison.Syntax.TypeParser
computeTypecheckingEnvironmentUnison.FileParsers
ConcatPatternWithoutConstantLengthUnison.Typechecker.Context
condUnison.Typechecker.TypeError
CondMismatchUnison.Typechecker.TypeError
conflictedConstraintUnison.KindInference.Error, Unison.KindInference.Solve
conflictedVarUnison.KindInference.Error, Unison.KindInference.Solve
Cons 
1 (Data Constructor)Unison.Codebase.Causal.Type, Unison.Codebase.Causal
2 (Data Constructor)Unison.PatternMatchCoverage.ListPat
cons 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
consBranchSnapshotUnison.Codebase.Branch
consDistinctUnison.Codebase.Causal
Constraint 
1 (Type/Class)Unison.KindInference.Constraint.Unsolved
2 (Type/Class)Unison.KindInference.Constraint.Solved
3 (Type/Class)Unison.PatternMatchCoverage.Constraint
ConstraintConflict 
1 (Data Constructor)Unison.KindInference.Error, Unison.KindInference.Solve
2 (Type/Class)Unison.KindInference.Error, Unison.KindInference.Solve
ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
ConstraintContextUnison.KindInference.Constraint.Context
ConstraintMapUnison.KindInference.Solve.Monad
constraintMapUnison.PatternMatchCoverage.NormalizedConstraints
constraintsUnison.KindInference.Solve.Monad
ConstraintUpdateUnison.PatternMatchCoverage.NormalizedConstraints
ConstructorIdUnison.Typechecker.Context
constructorIdUnison.Builtin.Decls
constructors 
1 (Function)Unison.Syntax.DeclParser
2 (Function)Unison.Syntax.DeclParser
constructorsForDeclsUnison.UnisonFile
constructorsIdUnison.UnisonFile
ConstructorTypeUnison.PatternMatchCoverage.Class
constructorType 
1 (Function)Unison.Typechecker.TypeLookup
2 (Function)Unison.Builtin
constructorType1to2Unison.Codebase.SqliteCodebase.Conversions
constructorType2to1Unison.Codebase.SqliteCodebase.Conversions
Context 
1 (Type/Class)Unison.Typechecker.Context.Structure, Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.Context.Structure, Unison.Typechecker.Context
context0Unison.Typechecker.Context.Structure
ContextLookupUnison.KindInference.Constraint.Context
Control 
1 (Data Constructor)Unison.Syntax.Precedence
2 (Data Constructor)Unison.Util.Text.Pattern
COptsUnison.Codebase.Runtime
copyCodebaseUnison.Codebase.SqliteCodebase
CouldntCreateCodebaseUnison.Codebase.Init
CPUnison.Util.Text.Pattern
CPatternUnison.Util.Text.Pattern
cpatternUnison.Util.Text.Pattern
crashOnHashingWarningUnison.Hashing.V2.Convert
createCodebaseUnison.Codebase.Init
createCodebase'Unison.Codebase.Init.Type
CreateCodebaseAlreadyExistsUnison.Codebase.Init.CreateCodebaseError
CreateCodebaseErrorUnison.Codebase.Init.CreateCodebaseError
CreatedCodebaseUnison.Codebase.Init
createSchemaUnison.Codebase.SqliteCodebase.Operations
CreateWhenMissingUnison.Codebase.Init
cryptoFailureRefUnison.Builtin.Decls
CtxSegmentUnison.Typechecker.Context.Structure
culpritUnison.Typechecker.Context.Structure
CurrentUnison.Codebase.Path
Current'Unison.Codebase.Path
currentHashUnison.Codebase.Causal.Type, Unison.Codebase.Causal
CustomCodeserverUnison.Codebase.Editor.RemoteRepo
cycleUnison.Typechecker.TypeError
CycleDetectedUnison.KindInference.Error, Unison.KindInference.Solve
cycleLocsUnison.Typechecker.TypeError
CycleTable 
1 (Type/Class)Unison.Util.CycleTable
2 (Data Constructor)Unison.Util.CycleTable
CyclicEqUnison.Util.CyclicEq
cyclicEqUnison.Util.CyclicEq
CyclicOrdUnison.Util.CyclicOrd
cyclicOrdUnison.Util.CyclicOrd
d1Unison.Util.Star2
d2Unison.Util.Star2
DataUnison.Typechecker.Context
dataDeclarationsUnison.UnisonFile
dataDeclarations'Unison.UnisonFile
dataDeclarationsIdUnison.UnisonFile.Type, Unison.UnisonFile
dataDeclarationsId'Unison.UnisonFile.Type, Unison.UnisonFile
dataDeclsUnison.Typechecker.TypeLookup
dataDeclsByReferenceUnison.UnisonFile.Summary
dataDeclsBySymbolUnison.UnisonFile.Summary
DataEffectMismatchUnison.Typechecker.Context
datasUnison.UnisonFile.Env
datasIdUnison.UnisonFile.Env
dbBranchHashUnison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers
dbPatchHashUnison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers
debugUnison.Util.Logger
debug'Unison.Util.Logger
debugLevelUnison.Util.Logger
DebugNameUnison.Codebase.Init
DecisionUnison.Typechecker.Context
decl1to2Unison.Codebase.SqliteCodebase.Conversions
decl2to1Unison.Codebase.SqliteCodebase.Conversions
declarationPPEUnison.PrettyPrintEnv.Util
DeclBufferEntryUnison.Codebase.SqliteCodebase.Operations
declComponentConstraintsUnison.KindInference.Generate
DeclDefinitionUnison.KindInference.Constraint.Context
declExistsUnison.Codebase.SqliteCodebase.Operations
declsToTypeLookupUnison.UnisonFile
decltype1to2Unison.Codebase.SqliteCodebase.Conversions
decltype2to1Unison.Codebase.SqliteCodebase.Conversions
declTypeDependenciesUnison.DataDeclaration.Dependencies
declVarUnison.PatternMatchCoverage.NormalizedConstraints
DecompErrsUnison.Codebase.Runtime
decrementUnison.Util.Logger
deepDefnsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deepDefnsIdsUnison.Codebase.Branch
deepDefnsRefsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deepPathsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deepReferentsUnison.Codebase.Branch
deepTermReferenceIdsUnison.Codebase.Branch
deepTermReferencesUnison.Codebase.Branch
deepTermsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deepTypeReferenceIdsUnison.Codebase.Branch
deepTypeReferencesUnison.Codebase.Branch
deepTypesUnison.Codebase.Branch.Type, Unison.Codebase.Branch
DefaultUnison.KindInference.Constraint.TypeProvenance
DefaultCodeserverUnison.Codebase.Editor.RemoteRepo
defaultCompileOptsUnison.Codebase.Runtime
defaultUnconstrainedVarsUnison.KindInference.Solve
defaultVariancesUnison.Typechecker.Variance
defaultWidthUnison.PrintError
DefinitionDiffs 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
definitionLocationUnison.UnisonFile
definitions 
1 (Function)Unison.Codebase.SqliteCodebase.SyncEphemeral
2 (Function)Unison.Typechecker.TypeError
defnReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations
defns 
1 (Function)Unison.UnconflictedLocalDefnsView
2 (Function)Unison.Typechecker.TypeError
delayTermUnison.Builtin.Decls
delete 
1 (Function)Unison.PatternMatchCoverage.IntervalSet
2 (Function)Unison.Codebase.Metadata
deleteD1Unison.Util.Star2
deleteD2Unison.Util.Star2
deleteFactUnison.Util.Star2
deleteLibdepUnison.Codebase.Branch
deleteLibdepsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deletePrimaryD1Unison.Util.Star2
deleteTermNameUnison.Codebase.Branch
deleteTypeNameUnison.Codebase.Branch
Dependencies 
1 (Type/Class)Unison.Codebase.SqliteCodebase.SyncEphemeral
2 (Data Constructor)Unison.Codebase.SqliteCodebase.SyncEphemeral
dependenciesUnison.UnisonFile
dependentsUnison.Codebase
dependentsImplUnison.Codebase.SqliteCodebase.Operations
dependentsOfComponentUnison.Codebase
dependentsOfComponentImplUnison.Codebase.SqliteCodebase.Operations
dependentsWithinBranchScopeUnison.Codebase
Deprecate 
1 (Data Constructor)Unison.Codebase.TermEdit
2 (Data Constructor)Unison.Codebase.TypeEdit
dequeueUnison.Util.TQueue
dequeueNUnison.Util.TQueue
descendUnison.Codebase.Path
Descriptor 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
descriptorConstraintUnison.KindInference.Solve.Monad
DestWrongSchemaUnison.Codebase.SqliteCodebase.SyncEphemeral
desugarMatchUnison.PatternMatchCoverage.Desugar
Diff 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
diff0 
1 (Function)Unison.Codebase.BranchDiff
2 (Function)Unison.Codebase.Branch.BranchDiff
diffBranchesU.Codebase.Branch.Diff
difference 
1 (Function)Unison.PatternMatchCoverage.IntervalSet
2 (Function)Unison.Util.Star2
DifferentUnison.Codebase.TermEdit
DiffSlice 
1 (Type/Class)Unison.Codebase.BranchDiff
2 (Data Constructor)Unison.Codebase.BranchDiff
directDependenciesUnison.Codebase
dirtySetUnison.PatternMatchCoverage.NormalizedConstraints
DisappearingBranchUnison.Codebase.SqliteCodebase.SyncEphemeral
discardHistoryUnison.Codebase.Branch
discardHistory0Unison.Codebase.Branch
discardTypesUnison.UnisonFile
DisplayObjectUnison.Codebase.Editor.DisplayObject
displayShareCodeserverUnison.Codebase.Editor.RemoteRepo
DistinctRanged 
1 (Type/Class)Unison.Typechecker.Extractor
2 (Data Constructor)Unison.Typechecker.Extractor
DocUnison.Builtin.Decls
doc2BlockUnison.Syntax.TermParser
DocBlobUnison.Builtin.Decls
DocBlobIdUnison.Builtin.Decls
docBlobIdUnison.Builtin.Decls
DocEvaluateUnison.Builtin.Decls
DocEvaluateIdUnison.Builtin.Decls
docEvaluateIdUnison.Builtin.Decls
DocJoinUnison.Builtin.Decls
DocJoinIdUnison.Builtin.Decls
docJoinIdUnison.Builtin.Decls
DocLinkUnison.Builtin.Decls
DocLinkIdUnison.Builtin.Decls
docLinkIdUnison.Builtin.Decls
DocRefUnison.Builtin.Decls
docRefUnison.Builtin.Decls
DocSignatureUnison.Builtin.Decls
DocSignatureIdUnison.Builtin.Decls
docSignatureIdUnison.Builtin.Decls
DocSourceUnison.Builtin.Decls
DocSourceIdUnison.Builtin.Decls
docSourceIdUnison.Builtin.Decls
DoLockUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
DontCreateWhenMissingUnison.Codebase.Init
DontLockUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
DontMigrateUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
dontSuffixifyUnison.PrettyPrintEnv.Names
dropUnison.Util.Text
dropTextWhileMaxUnison.Util.Text
dropWhileMaxUnison.Util.Text
dtype1to2Unison.Codebase.SqliteCodebase.Conversions
dtype2to1Unison.Codebase.SqliteCodebase.Conversions
DuplicateDefinitions 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
duplicateDefinitions 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
EditHashUnison.Codebase.Branch.Raw
edits_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
EffUnison.Typechecker.TypeError
Effect 
1 (Data Constructor)Unison.PatternMatchCoverage.EffectHandler
2 (Data Constructor)Unison.Typechecker.Context
EffectConstructorHadMultipleEffectsUnison.Typechecker.Context
EffectConstructorWrongArgCountUnison.Typechecker.Context
effectConstructorWrongArgCountUnison.Typechecker.Extractor
effectDeclarationsUnison.UnisonFile
effectDeclarations'Unison.UnisonFile
effectDeclarationsIdUnison.UnisonFile.Type, Unison.UnisonFile
effectDeclarationsId'Unison.UnisonFile.Type, Unison.UnisonFile
effectDeclsUnison.Typechecker.TypeLookup
effectDeclsByReferenceUnison.UnisonFile.Summary
effectDeclsBySymbolUnison.UnisonFile.Summary
Effectful 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
EffectHandlerUnison.PatternMatchCoverage.EffectHandler
effectIdUnison.Builtin.Decls
EffectInfoUnison.PatternMatchCoverage.NormalizedConstraints
EffectListMismatchUnison.KindInference.Error, Unison.KindInference.Solve
effectsIdUnison.UnisonFile.Env
EffectsListUnison.KindInference.Constraint.Context
EffInstUnison.Typechecker.TypeError
EitherLeft'Unison.Builtin.Decls
EitherLeftIdUnison.Builtin.Decls
eitherLeftIdUnison.Builtin.Decls
EitherRefUnison.Builtin.Decls
eitherRefUnison.Builtin.Decls
EitherRight'Unison.Builtin.Decls
EitherRightIdUnison.Builtin.Decls
eitherRightIdUnison.Builtin.Decls
eitherTypeUnison.Builtin.Decls
ElementUnison.Typechecker.Context.Structure, Unison.Typechecker.Context
elideFQNUnison.PrettyPrintEnv.FQN
EmptyUnison.Util.Text.Pattern
empty 
1 (Function)Unison.PatternMatchCoverage.IntervalSet
2 (Function)Unison.PatternMatchCoverage.UFMap
3 (Function)Unison.PrettyPrintEnv
4 (Function)Unison.PrettyPrintEnvDecl
5 (Function)Unison.UnconflictedLocalDefnsView
6 (Function)Unison.Util.Star2
7 (Function)Unison.Codebase.Branch
8 (Function)Unison.Util.Text
empty0Unison.Codebase.Branch
emptyAcUnison.Syntax.TermPrinter
emptyCapturesUnison.Util.Text.Pattern
emptyCausalHashUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
EmptyLetRecUnison.Typechecker.Context
emptyNormalizedConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
emptyProfileUnison.Codebase.Runtime.Profile
EmptyResponseUnison.Codebase.Runtime
emptyStateUnison.KindInference.Solve.Monad
emptyUnisonFileUnison.UnisonFile
endUnison.Typechecker.Extractor
enqueueUnison.Util.TQueue
enqueueCountUnison.Util.TQueue
ensureCodebaseIsUpToDateUnison.Codebase.SqliteCodebase.Migrations
EnumeratedConstructorsUnison.PatternMatchCoverage.Class
EnumKeyUnison.Util.EnumContainers
EnumMapUnison.Util.EnumContainers
EnumSetUnison.Util.EnumContainers
Env 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
3 (Type/Class)Unison.PrettyPrintEnv.MonadPretty
4 (Data Constructor)Unison.PrettyPrintEnv.MonadPretty
5 (Type/Class)Unison.UnisonFile.Env
6 (Data Constructor)Unison.UnisonFile.Env
7 (Type/Class)Unison.Typechecker
8 (Data Constructor)Unison.Typechecker
9 (Type/Class)Unison.PrintError
environmentForUnison.UnisonFile.Names
EofUnison.Util.Text.Pattern
EqUnison.PatternMatchCoverage.Constraint
ErrorUnison.Codebase.SqliteCodebase.SyncEphemeral
errorUnison.Util.Logger
error'Unison.Util.Logger
ErrorExtractorUnison.Typechecker.Extractor
errorLevelUnison.Util.Logger
ErrorNote 
1 (Type/Class)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.Context
errorNoteUnison.Typechecker.Extractor
errorsUnison.Typechecker
errorTermsUnison.Typechecker.Context
evaluateUnison.Codebase.Runtime
evaluateTermUnison.Codebase.Runtime
evaluateTerm'Unison.Codebase.Runtime
evaluateWatchesUnison.Codebase.Runtime
Exact 
1 (Data Constructor)Unison.Typechecker.Variance
2 (Data Constructor)Unison.Typechecker.Context
exceptionRaiseIdUnison.Builtin.Decls
exceptionRefUnison.Builtin.Decls
exceptionTypeUnison.Builtin.Decls
ExistentialUnison.Typechecker.TypeVar
ExistentialMismatch 
1 (Data Constructor)Unison.Typechecker.TypeError
2 (Type/Class)Unison.Typechecker.TypeError
existentialMismatch0Unison.Typechecker.TypeError
expandSolutionUnison.PatternMatchCoverage.Solve
expectBranchForHashUnison.Codebase
expectBranchForHashTxUnison.Codebase
expectBuiltinConstructorTypeUnison.Builtin
expectBuiltinTermTypeUnison.Builtin
expectCanonUnison.PatternMatchCoverage.NormalizedConstraints
expectCausalBranchByCausalHashUnison.Codebase
expectCurrentProjectPathUnison.Codebase
expectDeclNumConstructorsUnison.Codebase.Type, Unison.Codebase
expectDeclTypeByIdUnison.Codebase.SqliteCodebase.Operations
ExpectedArgCountUnison.Typechecker.Context
expectedLeafUnison.Typechecker.TypeError
expectedLocUnison.Typechecker.TypeError
expectedSiteUnison.Typechecker.TypeError
expectedTypeUnison.Typechecker.TypeError
expectProjectBranchRootUnison.Codebase
expectProjectBranchRootCausalUnison.Codebase
expectShallowProjectBranchRootUnison.Codebase
expectTypeDeclarationComponentUnison.Codebase
expectTypeOfConstructorUnison.Codebase
expectTypeOfReferentUnison.Codebase
expectTypeOfTermUnison.Codebase
exprWatchSummaryUnison.UnisonFile.Summary
externalTypeDependenciesUnison.UnisonFile
extractUnison.Typechecker.Extractor
ExtractorUnison.Typechecker.Extractor
extractorUnison.Typechecker.Extractor
extractSingletonUnison.PatternMatchCoverage.IntervalSet
FUnison.PatternMatchCoverage.Literal
fUnison.Typechecker.TypeError
factUnison.Util.Star2
failConstructorIdUnison.Builtin.Decls
failConstructorReferentUnison.Builtin.Decls
failureRefUnison.Builtin.Decls
failureTypeUnison.Builtin.Decls
fieldsUnison.Syntax.DeclParser
fileUnison.Syntax.FileParser
fileDefLocationsUnison.UnisonFile.Summary
fileModeAppendIdUnison.Builtin.Decls
fileModeReadIdUnison.Builtin.Decls
fileModeReadWriteIdUnison.Builtin.Decls
fileModeRefUnison.Builtin.Decls
fileModeTypeUnison.Builtin.Decls
fileModeWriteIdUnison.Builtin.Decls
fileNamesUnison.UnisonFile.Summary
filePathRefUnison.Builtin.Decls
filePathTypeUnison.Builtin.Decls
FileSummary 
1 (Type/Class)Unison.UnisonFile.Summary
2 (Data Constructor)Unison.UnisonFile.Summary
filterUnison.Typechecker.Context.Structure
filterReferencesHavingTypeImplUnison.Codebase.SqliteCodebase.Operations
filterReferentsHavingTypeImplUnison.Codebase.SqliteCodebase.Operations
filterTermsByReferenceIdHavingTypeUnison.Codebase
filterTermsByReferenceIdHavingTypeImplUnison.Codebase.Type
filterTermsByReferentHavingTypeUnison.Codebase
filterTermsByReferentIdHavingTypeImplUnison.Codebase.Type
findUnison.KindInference.Solve.Monad
findMinUnison.Util.EnumContainers
fitsScheme 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker
FloatUnison.PatternMatchCoverage.PmLit
flushUnison.Util.TQueue
fmap'Unison.Typechecker.Context.Structure
fmtUnison.Syntax.NamePrinter
focusProblemUnison.Typechecker.Context.Structure
foldedProfileUnison.Codebase.Runtime.Profile
foldlWithKeyUnison.Util.EnumContainers
foldMapChunksUnison.Util.Text
foldMapWithKeyUnison.Util.EnumContainers
foldrUnison.PatternMatchCoverage.IntervalSet
foldrSetUnison.Util.EnumContainers
ForcePushUnison.Codebase.PushBehavior
forceRawStringsUnison.PrettyPrintEnv.MonadPretty
forceTermUnison.Builtin.Decls
ForkUnison.PatternMatchCoverage.GrdTree
ForkFUnison.PatternMatchCoverage.GrdTree
Format 
1 (Type/Class)Unison.Codebase.Serialization
2 (Data Constructor)Unison.Codebase.Serialization
foundLeafUnison.Typechecker.TypeError
foundTypeUnison.Typechecker.TypeError
FoundV1CodebaseUnison.Codebase.Init
fqnUnison.Typechecker
fqnTypeUnison.Typechecker
freeExistentialVarsUnison.Typechecker.Context.Structure
freeNameToFuzzyTermsByShortNameUnison.Typechecker
freeTermsUnison.PrettyPrintEnv.MonadPretty
freeUniversalVarsUnison.Typechecker.Context.Structure
FreeVarsInTypeAnnotationUnison.Typechecker.Context
freshUnison.PatternMatchCoverage.Class
freshDeclUnison.Typechecker.Variance
freshenGroupUnison.Typechecker.Variance
freshVarUnison.KindInference.Generate.Monad
fromDefnsUnison.UnconflictedLocalDefnsView
fromFullHashUnison.Codebase.ShortCausalHash
fromHashUnison.Codebase.ShortCausalHash
fromLazyTextUnison.Util.Text
fromList 
1 (Function)Unison.Typechecker.Context.Structure
2 (Function)Unison.Codebase.Path
3 (Function)Unison.PatternMatchCoverage.IntervalSet
fromNameUnison.Codebase.Path
fromName'Unison.Codebase.Path
fromNamesUnison.Codebase.BranchUtil
fromNametreeUnison.Codebase.Branch
fromParsingUnison.Result
fromPath'Unison.Codebase.Path
fromProjectAndBranchUnison.Codebase.ProjectPath
fromText 
1 (Function)Unison.Codebase.ShortCausalHash
2 (Function)Unison.Util.Text
fromTextUnchunkedUnison.Util.Text
fromTypecheckedUnisonFileUnison.Codebase.CodeLookup.Util
fromTypeLookupUnison.Typechecker.Variance
fromUnconflictedDefnsUnison.Codebase.Branch
fromUtf8Unison.Util.Text
ftUnison.Typechecker.TypeError
FullProfUnison.Codebase.Runtime.Profile
fullProfileUnison.Codebase.Runtime.Profile
FunctionApplicationUnison.Typechecker.TypeError
FunctionUnderAppliedUnison.Typechecker.TypeError
Gen 
1 (Type/Class)Unison.KindInference.Generate.Monad
2 (Data Constructor)Unison.KindInference.Generate.Monad
generalizeAndUnTypeVarUnison.Typechecker.Context
generalMismatchUnison.Typechecker.TypeError
GeneratedConstraintUnison.KindInference.Generate.Monad
generateInhabitantsUnison.PatternMatchCoverage.Solve
GenErrorUnison.KindInference.Generate.Monad
GenState 
1 (Type/Class)Unison.KindInference.Generate.Monad
2 (Data Constructor)Unison.KindInference.Generate.Monad
GetUnison.Codebase.Serialization
get 
1 (Function)Unison.Codebase.Serialization
2 (Function)Unison.Typechecker.Extractor
getAtUnison.Codebase.Branch
getAt'Unison.Codebase.Branch
getAt0Unison.Codebase.Branch
getBooleanMismatchUnison.Typechecker.TypeError
getBranchUnison.Codebase.BranchUtil
getBranchAtProjectPathUnison.Codebase
getBranchDeclNameLookupUnison.Codebase.Type, Unison.Codebase
getBranchDeclNumConstructorsUnison.Codebase.Type, Unison.Codebase
getBranchForHash 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
getBranchForHashTxUnison.Codebase.Type
getBranchPartialDeclNameLookupUnison.Codebase.Type, Unison.Codebase
getBufferUnison.Codebase.SqliteCodebase.Operations
getCodebaseDirUnison.CodebasePath, Unison.Codebase
getConstructorsUnison.PatternMatchCoverage.Class
getConstructorVarTypesUnison.PatternMatchCoverage.Class
getDeclComponentUnison.Codebase.SqliteCodebase.Operations
getDeclType 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
getDeprecatedRootReflogUnison.Codebase
getExistentialMismatchUnison.Typechecker.TypeError
getFieldAndAccessorNamesUnison.Syntax.DeclPrinter
getFromBytesUnison.Codebase.Serialization
getFromFileUnison.Codebase.Serialization
getFromFile'Unison.Codebase.Serialization
getGlobalReflogUnison.Codebase
getLevelUnison.Util.Logger
getMainTermUnison.Codebase.MainTerm
getMaybeShallowBranchAtPathUnison.Codebase
getMaybeShallowBranchAtProjectPathUnison.Codebase
getPatchUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
getPrettyPrintEnvUnison.PatternMatchCoverage.Class
getProjectBranchReflogUnison.Codebase
getProjectReflogUnison.Codebase
getResultUnison.Result
getScopeUnison.Util.Logger
getShallowBranchAtPathUnison.Codebase
getShallowBranchAtProjectPathUnison.Codebase
getShallowCausalAtPathUnison.Codebase
getShallowCausalAtPathFromRootHashUnison.Codebase
getShallowProjectBranchRootUnison.Codebase
getShallowProjectRootByNamesUnison.Codebase
getTerm 
1 (Function)Unison.Codebase.CodeLookup
2 (Function)Unison.Codebase.Type, Unison.Codebase
3 (Function)Unison.Codebase.BranchUtil
getTermComponentWithTypes 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
getTypeUnison.Codebase.BranchUtil
getTypeDeclaration 
1 (Function)Unison.Codebase.CodeLookup
2 (Function)Unison.Codebase.Type, Unison.Codebase
getTypeDeclarationComponentUnison.Codebase.Type, Unison.Codebase
getTypeOfReferentUnison.Codebase
getTypeOfTerm 
1 (Function)Unison.Codebase.CodeLookup
2 (Function)Unison.Codebase
getTypeOfTermImplUnison.Codebase.Type
getWatch 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
GrdUnison.PatternMatchCoverage.GrdTree
GrdFUnison.PatternMatchCoverage.GrdTree
GrdTreeUnison.PatternMatchCoverage.GrdTree
GrdTreeFUnison.PatternMatchCoverage.GrdTree
GuardMismatchUnison.Typechecker.TypeError
HandlerOfUnexpectedTypeUnison.Typechecker.Context
hasDefnsInLibUnison.Codebase.Branch
hash64AddTextUnison.Util.Text
hashBranch0Unison.Hashing.V2.Convert
hashCausalUnison.Hashing.V2.Convert
hashClosedTermUnison.Hashing.V2.Convert
hashConstructorsUnison.UnisonFile
hashDataDeclsUnison.Hashing.V2.Convert
hashDeclsUnison.Hashing.V2.Convert
hashFieldAccessorsUnison.DataDeclaration.Dependencies
hashHistoryCommentsMigrationUnison.Codebase.SqliteCodebase.Migrations.MigrateHistoryComments
HashingWarningUnison.Hashing.V2.Convert
hashLengthUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
hashPatchUnison.Hashing.V2.Convert
hashTermComponentsUnison.Hashing.V2.Convert
hashTermComponentsWithoutTypesUnison.Hashing.V2.Convert
hashTermsUnison.UnisonFile
hashTermsIdUnison.UnisonFile.Type, Unison.UnisonFile
hasKeyUnison.Util.EnumContainers
head 
1 (Function)Unison.Codebase.Causal.Type, Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
headHashUnison.Codebase.Branch.Type, Unison.Codebase.Branch
head_ 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
HighestUnison.Syntax.Precedence
history_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
hoistUnison.Result
hoistTreeDiffU.Codebase.Branch.Diff
HomeUnison.Codebase.Init
hqNamerUnison.PrettyPrintEnv.Names
IfBodyUnison.Typechecker.TypeError
ifBodyUnison.Typechecker.TypeError
IgnoreUnison.PatternMatchCoverage.NormalizedConstraints
IllegalContextExtensionUnison.Typechecker.Context
IllFormedTypeUnison.Typechecker.Context
illFormedTypeUnison.Typechecker.Extractor
impliedConstraintUnison.KindInference.Error, Unison.KindInference.Solve
ImportsUnison.PrettyPrintEnv.FQN
importsUnison.Syntax.TermParser
improveErrorUnison.KindInference.Error
InaccessiblePatternUnison.Typechecker.Context
InActionRestrictionUnison.Typechecker.Context
inActionRestrictionUnison.Typechecker.Extractor
InAndAppUnison.Typechecker.Context
inAndAppUnison.Typechecker.Extractor
InCheckUnison.Typechecker.Context
inCheckUnison.Typechecker.Extractor
IncompleteElementOrderingErrorUnison.Hashing.V2.Convert
increment 
1 (Function)Unison.Syntax.Precedence
2 (Function)Unison.Util.Logger
indexByReferenceUnison.UnisonFile
indexOfUnison.Util.Text
IndirectionUnison.PatternMatchCoverage.UFMap
InEquateUnison.Typechecker.Context
inEquateUnison.Typechecker.Extractor
inferDeclGroupVarianceUnison.Typechecker.Variance
inferDeclsUnison.KindInference
inferDeclVariancesUnison.Typechecker.Variance
inferDependencyMountsU.Codebase.Projects
inferredTypeUnison.Typechecker
infixLevelsUnison.Syntax.Precedence
InfixOpUnison.Syntax.Precedence
InfixPrecedenceUnison.Syntax.Precedence
infixRulesUnison.Syntax.Precedence
Info 
1 (Type/Class)Unison.Typechecker.Context.Structure
2 (Data Constructor)Unison.Typechecker.Context.Structure
info 
1 (Function)Unison.Util.Logger
2 (Function)Unison.Typechecker.Context.Structure
info'Unison.Util.Logger
InfoExtractorUnison.Typechecker.Extractor
infoLevelUnison.Util.Logger
InfoNoteUnison.Typechecker.Context
infoNoteUnison.Typechecker.Extractor
infoNotesUnison.Typechecker.Context
infosUnison.Typechecker
InFunctionCallUnison.Typechecker.Context
inFunctionCallUnison.Typechecker.Extractor
InIfBodyUnison.Typechecker.Context
inIfBodyUnison.Typechecker.Extractor
InIfCondUnison.Typechecker.Context
inIfCondUnison.Typechecker.Extractor
InInstantiateLUnison.Typechecker.Context
InInstantiateRUnison.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
initUnison.Codebase.SqliteCodebase
initCodebaseAndExitUnison.Codebase.Init
InitErrorUnison.Codebase.Init
InitErrorOpenUnison.Codebase.Init
initialStateUnison.KindInference.Solve
InitResultUnison.Codebase.Init
initWithSetupUnison.Codebase.SqliteCodebase
InMatchUnison.Typechecker.Context
inMatchUnison.Typechecker.Extractor
InMatchBodyUnison.Typechecker.Context
inMatchBodyUnison.Typechecker.Extractor
InMatchGuardUnison.Typechecker.Context
inMatchGuardUnison.Typechecker.Extractor
innermostErrorTermUnison.Typechecker.Context
innermostTermUnison.Typechecker.Extractor
InOrAppUnison.Typechecker.Context
inOrAppUnison.Typechecker.Extractor
insert 
1 (Function)Unison.PatternMatchCoverage.IntervalSet
2 (Function)Unison.PatternMatchCoverage.UFMap
3 (Function)Unison.Util.CycleTable
4 (Function)Unison.Codebase.Metadata
insertCachedBranchUnison.Codebase.SqliteCodebase.Branch.Cache
insertD1Unison.Util.Star2
insertD2Unison.Util.Star2
insertEndUnison.Util.CycleTable
insertProjectAndBranchUnison.Codebase.SqliteCodebase.Operations
instUnison.Typechecker.TypeError
installUcmDependenciesUnison.Codebase
instantiationUnison.Typechecker.TypeError
instSiteUnison.Typechecker.TypeError
InSubAbilitiesUnison.Typechecker.Context
InSubtypeUnison.Typechecker.Context
inSubtypeUnison.Typechecker.Extractor
inSubtypesUnison.Typechecker.TypeError
InSynthesizeUnison.Typechecker.Context
inSynthesizeUnison.Typechecker.Extractor
InSynthesizeAppUnison.Typechecker.Context
inSynthesizeAppUnison.Typechecker.Extractor
IntUnison.PatternMatchCoverage.PmLit
integrityCheckAllBranchesUnison.Codebase.IntegrityCheck
integrityCheckAllCausalsUnison.Codebase.IntegrityCheck
integrityCheckFullCodebaseUnison.Codebase.IntegrityCheck
IntegrityErrorDetectedUnison.Codebase.IntegrityCheck
IntegrityResultUnison.Codebase.IntegrityCheck
IntersectUnison.Util.Text.Pattern
intersectIntervalsUnison.PatternMatchCoverage.IntervalSet
intersectionUnison.PatternMatchCoverage.IntervalSet
intersectionWithUnison.Util.EnumContainers
IntervalSetUnison.PatternMatchCoverage.IntervalSet
interverseUnison.Util.EnumContainers
intrinsicTermReferencesUnison.Builtin
intrinsicTypeReferencesUnison.Builtin
intToKeyUnison.Util.EnumContainers
InvUnison.Typechecker.Variance
invUnison.Typechecker.Variance
inVectorUnison.Typechecker.Extractor
InVectorAppUnison.Typechecker.Context
ioErrorRefUnison.Builtin.Decls
ioErrorTypeUnison.Builtin.Decls
ioFailureRefUnison.Builtin.Decls
ioTestTypesUnison.Codebase.Runtime
IsAbility 
1 (Data Constructor)Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)Unison.KindInference.Constraint.Solved
isAbsoluteUnison.Codebase.Path
IsArr 
1 (Data Constructor)Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)Unison.KindInference.Constraint.Solved
isBuiltinTypeUnison.Builtin
IsCacheHitUnison.Codebase.Runtime
IsEffectfulUnison.PatternMatchCoverage.NormalizedConstraints
isEmpty 
1 (Function)Unison.Util.Star2
2 (Function)Unison.Codebase.Branch
isEmpty0Unison.Codebase.Branch.Type, Unison.Codebase.Branch
isEqual 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker
isExactUnison.Typechecker.Context
isFailureUnison.Result
isMergeUnison.Codebase.ProjectPath
isMismatchMissingDelayUnison.Typechecker
IsNotEffectfulUnison.PatternMatchCoverage.NormalizedConstraints
isOneUnison.Codebase.Branch
isPropagatedConstructorIdUnison.Builtin.Decls
isPropagatedRefUnison.Builtin.Decls
isPublicUnison.Codebase.Editor.RemoteRepo
isRedundantUnison.Typechecker.Context
isRootUnison.Codebase.Path
isSameUnison.Codebase.TermEdit
isSilentUnison.Codebase.Verbosity
isSubtype 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker
isSuccessUnison.Result
isTermUnison.Codebase
isTestConstructorIdUnison.Builtin.Decls
isTestRefUnison.Builtin.Decls
isTopLevelPrecedenceUnison.Syntax.Precedence
IsType 
1 (Data Constructor)Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)Unison.KindInference.Constraint.Solved
isTypeUnison.Codebase
isTypePreservingUnison.Codebase.TermEdit
isUpdateUnison.Codebase.ProjectPath
isUpgradeUnison.Codebase.ProjectPath
JoinUnison.Util.Text.Pattern
jsonArrUnison.Builtin.Decls
jsonBoolUnison.Builtin.Decls
jsonNullUnison.Builtin.Decls
jsonNumUnison.Builtin.Decls
jsonObjUnison.Builtin.Decls
jsonParseErrorUnison.Builtin.Decls
jsonRefUnison.Builtin.Decls
jsonTextUnison.Builtin.Decls
keys 
1 (Function)Unison.PatternMatchCoverage.UFMap
2 (Function)Unison.Util.EnumContainers
keysSetUnison.Util.EnumContainers
keyToIntUnison.Util.EnumContainers
kindCheckAnnotationsUnison.KindInference
KindErrorUnison.KindInference.Error, Unison.KindInference.Solve, Unison.KindInference
KindInferenceFailure 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
kindInferenceFailure 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
labeledDeclDependenciesIncludingSelfUnison.DataDeclaration.Dependencies
labeledDeclDependenciesIncludingSelfAndFieldAccessorsUnison.DataDeclaration.Dependencies
labeledDeclTypeDependenciesUnison.DataDeclaration.Dependencies
labeledRefNameUnison.PrettyPrintEnv
labeledTypeDependenciesUnison.DataDeclaration.Dependencies
lamUnison.Syntax.TermParser
lca 
1 (Function)Unison.Codebase.Causal.Type, Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
3 (Function)Unison.Codebase
LeafUnison.PatternMatchCoverage.GrdTree
LeafFUnison.PatternMatchCoverage.GrdTree
leafsUnison.Typechecker.TypeError
leftBiasedUnison.PrettyPrintEnvDecl
leftBiasedMergeUnison.UnisonFile
LetUnison.PatternMatchCoverage.Literal
LetterUnison.Util.Text.Pattern
Level 
1 (Data Constructor)Unison.Syntax.Precedence
2 (Type/Class)Unison.Util.Logger
lhsUnison.Typechecker.TypeError
libdeps_Unison.Codebase.Branch
liftGenUnison.KindInference.Solve.Monad
liftTermUnison.Typechecker.TypeVar
liftTypeUnison.Typechecker.TypeVar
LinkRefUnison.Builtin.Decls
linkRefUnison.Builtin.Decls
LinkTermUnison.Builtin.Decls
LinkTermIdUnison.Builtin.Decls
linkTermIdUnison.Builtin.Decls
LinkTypeUnison.Builtin.Decls
LinkTypeIdUnison.Builtin.Decls
linkTypeIdUnison.Builtin.Decls
ListBodyUnison.Typechecker.TypeError
listBodyUnison.Typechecker.TypeError
ListPatUnison.PatternMatchCoverage.ListPat
Literal 
1 (Type/Class)Unison.PatternMatchCoverage.Literal
2 (Data Constructor)Unison.Util.Text.Pattern
loadUniqueTypeGuidUnison.Codebase.UniqueTypeGuidLookup
loc 
1 (Function)Unison.KindInference.Constraint.Provenance
2 (Function)Unison.KindInference.Constraint.Unsolved
3 (Function)Unison.KindInference.Constraint.Solved
LocalUnison.Codebase.Type
LocalOrRemoteUnison.Codebase.Type
lockfilePathUnison.Codebase.SqliteCodebase.Paths
logAtUnison.Util.Logger
logAt'Unison.Util.Logger
Logger 
1 (Type/Class)Unison.Util.Logger
2 (Data Constructor)Unison.Util.Logger
loggerUnison.Util.Logger
logHandleAtUnison.Util.Logger
longestPathPrefixUnison.Codebase.Path
LookaheadUnison.Util.Text.Pattern
lookaheadUnison.Util.Text.Pattern
Lookbehind1Unison.Util.Text.Pattern
lookup 
1 (Function)Unison.Util.CycleTable
2 (Function)Unison.Util.EnumContainers
lookupAnnUnison.Typechecker.Context
lookupCachedBranchUnison.Codebase.SqliteCodebase.Branch.Cache
lookupCanonUnison.PatternMatchCoverage.UFMap
lookupD1Unison.Util.Star2
lookupDeclUnison.UnisonFile
lookupDeclRefUnison.Builtin.Decls
lookupEffectRefUnison.Builtin.Decls
lookupMaxUnison.PatternMatchCoverage.IntervalSet
lookupMinUnison.PatternMatchCoverage.IntervalSet
lookupSolvedUnison.Typechecker.Context
lookupTypeUnison.KindInference.Generate.Monad
lookupVarianceUnison.Typechecker.Variance
lookupWatchCacheUnison.Codebase
lookupWithDefaultUnison.Util.EnumContainers
LowerUnison.Util.Text.Pattern
lowerTermUnison.Typechecker.TypeVar
lowerTypeUnison.Typechecker.TypeVar
LowestUnison.Syntax.Precedence
lspLocUnison.KindInference.Error
MainTermUnison.Codebase.MainTerm
mainTypeUnison.Codebase.Runtime
makeAddTermNameUnison.Codebase.BranchUtil
makeAddTypeNameUnison.Codebase.BranchUtil
makeAnnihilateTermNameUnison.Codebase.BranchUtil
makeAnnihilateTypeNameUnison.Codebase.BranchUtil
makeCachedTransactionUnison.Codebase.SqliteCodebase.Operations
makeCodebaseDirPathUnison.Codebase.SqliteCodebase.Paths
makeCodebasePathUnison.Codebase.SqliteCodebase.Paths
makeDeleteTermNameUnison.Codebase.BranchUtil
makeDeleteTypeNameUnison.Codebase.BranchUtil
makeMaybeCachedTransactionUnison.Codebase.SqliteCodebase.Operations
makePPEUnison.PrettyPrintEnv.Names
makePPEDUnison.PrettyPrintEnvDecl
makeResultUnison.Result
makeSetBranchUnison.Codebase.BranchUtil
makeTermNamesUnison.PrettyPrintEnv.Names
makeTypeNamesUnison.PrettyPrintEnv.Names
MalformedEffectBindUnison.Typechecker.Context
malformedEffectBindUnison.Typechecker.Extractor
MalformedPatternUnison.Typechecker.Context
ManyUnison.Util.Text.Pattern
mapUnison.PatternMatchCoverage.IntervalSet
mapBinUnison.Builtin.Decls
mapD2Unison.Util.Star2
mapDifferenceUnison.Util.EnumContainers
mapFromListUnison.Util.EnumContainers
mapFromSetUnison.Util.EnumContainers
mapInsertUnison.Util.EnumContainers
mapMaybeUnison.Typechecker.Context.Structure
mapRefUnison.Builtin.Decls
mapSingletonUnison.Util.EnumContainers
mapTipUnison.Builtin.Decls
mapToListUnison.Util.EnumContainers
mapWithKeyUnison.Util.EnumContainers
MarkUnison.Util.Text.Pattern
MarkCharUnison.Util.Text.Pattern
markDirtyUnison.PatternMatchCoverage.NormalizedConstraints
MarkerUnison.Typechecker.Context.Structure, Unison.Typechecker.Context
matchBodyUnison.Typechecker.TypeError
matchGuardUnison.Typechecker.TypeError
maybePrefixUnison.Codebase.Path
maybePrefixNameUnison.Codebase.Path
maybePrintPathUnison.Codebase.Editor.RemoteRepo
member 
1 (Function)Unison.PatternMatchCoverage.IntervalSet
2 (Function)Unison.Util.EnumContainers
memberD1Unison.Util.Star2
MergeUnison.Codebase.Causal.Type, Unison.Codebase.Causal
merge''Unison.Codebase.Branch.Merge
MergeModeUnison.Codebase.Branch.Merge
mergeNode 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
MigrateAfterPromptUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
MigrateAutomaticallyUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
migrateSchema11To12Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema11To12
migrateSchema16To17Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema16To17
migrateSchema1To2Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2
migrateSchema3To4Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema3To4
migrateSchema5To6Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema5To6
migrateSchema6To7Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema6To7
migrateSchema7To8Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema7To8
migrationsUnison.Codebase.SqliteCodebase.Migrations
MigrationStrategyUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
minimizeUnison.Typechecker.Components
minimize'Unison.Typechecker.Components
MiniProfUnison.Codebase.Runtime.Profile
miniProfileUnison.Codebase.Runtime.Profile
miscFailureRefUnison.Builtin.Decls
MismatchUnison.Typechecker.TypeError
MismatchInfoUnison.Typechecker.TypeError
mismatchSiteUnison.Typechecker.TypeError
MissingBuiltin 
1 (Data Constructor)Unison.KindInference.Generate.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
MissingDelayUnison.Typechecker.TypeError
MissingObjectUnison.Codebase.Editor.DisplayObject
mkFileSummaryUnison.UnisonFile.Summary
modifier 
1 (Function)Unison.Syntax.DeclParser
2 (Function)Unison.Syntax.DeclParser
modifyAtUnison.Codebase.Branch
modifyAtMUnison.Codebase.Branch
MonadPrettyUnison.PrettyPrintEnv.MonadPretty
NameUnison.Typechecker
name 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.Codebase.ProjectPath
3 (Function)Unison.Syntax.DeclParser
4 (Function)Unison.Syntax.DeclParser
NameBasedDiff 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
nameBasedDiffU.Codebase.Branch.Diff
NameChanges 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
NamedReference 
1 (Type/Class)Unison.Typechecker
2 (Data Constructor)Unison.Typechecker
nameFromSplitUnison.Codebase.Path
Namer 
1 (Type/Class)Unison.PrettyPrintEnv.Names
2 (Data Constructor)Unison.PrettyPrintEnv.Names
namerUnison.PrettyPrintEnv.Names
NameResolutionFailuresUnison.Result
names 
1 (Function)Unison.UnconflictedLocalDefnsView
2 (Function)Unison.UnisonFile.Env
3 (Function)Unison.Builtin
namesDiffUnison.Codebase.Branch.Names
namespaceBindingsUnison.UnisonFile
namespaceBindingsMapUnison.UnisonFile
NamespaceHashUnison.Codebase.Branch.Type, Unison.Codebase.Branch
namespaceHashUnison.Codebase.Branch.Type, Unison.Codebase.Branch
namespaceStatsUnison.Codebase.Branch
namespaceUpdatesUnison.Codebase.BranchDiff
nameTermUnison.PrettyPrintEnv.Names
nametreeUnison.UnconflictedLocalDefnsView
nameTypeUnison.PrettyPrintEnv.Names
NameyUnison.Codebase.Path
NatUnison.PatternMatchCoverage.PmLit
needArgsUnison.Typechecker.TypeError
NegUnison.Typechecker.Variance
NegativeUnison.Typechecker.Variance
NegativeLookaheadUnison.Util.Text.Pattern
NegativeLookbehind1Unison.Util.Text.Pattern
NegCon 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
NegEffect 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
NegListInterval 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
NegLit 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
newUnison.Util.CycleTable
newBranchCacheUnison.Codebase.SqliteCodebase.Branch.Cache
newIOUnison.Util.TQueue
newPromiseUnison.Util.RefPromise
newUnifVarsUnison.KindInference.Solve.Monad
newVarsUnison.KindInference.Generate.Monad
NilUnison.PatternMatchCoverage.ListPat
NoBackupUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
noCacheUnison.Codebase.Runtime
NoEffectUnison.PatternMatchCoverage.EffectHandler
NoIntegrityErrorsUnison.Codebase.IntegrityCheck
noneIdUnison.Builtin.Decls
nonEmptyUnison.UnisonFile
nonEmptyChildrenUnison.Codebase.Branch.Type, Unison.Codebase.Branch
NoProfUnison.Codebase.Runtime.Profile
NormalUnison.Typechecker.TypeError
NormalizedConstraints 
1 (Type/Class)Unison.PatternMatchCoverage.NormalizedConstraints
2 (Data Constructor)Unison.PatternMatchCoverage.NormalizedConstraints
NotUnison.Util.Text.Pattern
NotDefaultUnison.KindInference.Constraint.TypeProvenance
NoteUnison.Result
noteUnison.Typechecker.TypeError
Notes 
1 (Type/Class)Unison.Typechecker
2 (Data Constructor)Unison.Typechecker
NotFoundUnison.Codebase.MainTerm
NotFunctionApplicationUnison.Typechecker.TypeError
NoVacuumUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
NowhereUnison.Typechecker.Context.Structure
nullUnison.PatternMatchCoverage.IntervalSet
NumberUnison.Util.Text.Pattern
okConstructorIdUnison.Builtin.Decls
okConstructorReferentUnison.Builtin.Decls
OneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
one 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
3 (Function)Unison.Util.Text
OnLeftUnison.Typechecker.Context.Structure
OnRightUnison.Typechecker.Context.Structure
OpUnison.Typechecker.Variance
openCodebaseUnison.Codebase.Init.Type
OpenCodebaseDoesntExistUnison.Codebase.Init.OpenCodebaseError
OpenCodebaseErrorUnison.Codebase.Init.OpenCodebaseError
OpenCodebaseFileLockFailedUnison.Codebase.Init.OpenCodebaseError
OpenCodebaseRequiresMigrationUnison.Codebase.Init.OpenCodebaseError
OpenCodebaseUnknownSchemaVersionUnison.Codebase.Init.OpenCodebaseError
OpenedCodebaseUnison.Codebase.Init
operatorPrecedenceUnison.Syntax.Precedence
OptionalNone'Unison.Builtin.Decls
OptionalRefUnison.Builtin.Decls
optionalRefUnison.Builtin.Decls
OptionalSome'Unison.Builtin.Decls
optionalTypeUnison.Builtin.Decls
OrUnison.Util.Text.Pattern
orUnison.Typechecker.TypeError
ordinalUnison.Util.Text
OrMismatchUnison.Typechecker.TypeError
OtherUnison.Typechecker.TypeError
OtherBugUnison.Typechecker.Context
OtherTypeUnison.PatternMatchCoverage.Class
outOfBoundsRefUnison.Builtin.Decls
packUnison.Util.Text
pairCtorRefUnison.Builtin.Decls
PairRefUnison.Builtin.Decls
pairRefUnison.Builtin.Decls
pairTypeUnison.Builtin.Decls
parentBranchIdUnison.Codebase.ProjectPath
parentOfNameUnison.Codebase.Path
parseUnison.Parsers
parseErrorRefUnison.Builtin.Decls
parseFileUnison.Parsers
parseHashOrHQSplit'Unison.Codebase.Path.Parse
parseHQSplitUnison.Codebase.Path.Parse
parseHQSplit'Unison.Codebase.Path.Parse
parsePathUnison.Codebase.Path.Parse
parsePath'Unison.Codebase.Path.Parse
parseProjectPathUnison.Codebase.ProjectPath
parseSplitUnison.Codebase.Path.Parse
parseSplit'Unison.Codebase.Path.Parse
parseTermUnison.Parsers
parseTypeUnison.Parsers
ParsingUnison.Result
partitionUnison.Typechecker.Context.Structure
Patch 
1 (Type/Class)Unison.Codebase.Patch
2 (Data Constructor)Unison.Codebase.Patch
patch1to2Unison.Codebase.SqliteCodebase.Conversions
patch2to1Unison.Codebase.SqliteCodebase.Conversions
patchExistsUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
PathUnison.Codebase.Path
path 
1 (Function)Unison.Codebase.Editor.RemoteRepo
2 (Function)Unison.Codebase.ProjectPath
3 (Function)Unison.Typechecker.Context
4 (Function)Unison.Typechecker.Extractor
Path'Unison.Codebase.Path
PathElementUnison.Typechecker.Context
PathExtractorUnison.Typechecker.Extractor
pathPUnison.Codebase.Path.Parse
pathP'Unison.Codebase.Path.Parse
pathStartUnison.Typechecker.Extractor
PathyUnison.Codebase.Path
path_Unison.Codebase.ProjectPath
PatternUnison.Util.Text.Pattern
PatternArityMismatchUnison.Typechecker.Context
PatternMatchCoverageCheckAndKindInferenceSwitchUnison.Typechecker.Context, Unison.Typechecker
PatternMatchCoverageCheckAndKindInferenceSwitch'DisabledUnison.Typechecker.Context, Unison.Typechecker
PatternMatchCoverageCheckAndKindInferenceSwitch'EnabledUnison.Typechecker.Context, Unison.Typechecker
PatternMatchFailureUnison.Typechecker.Context
patternNameUnison.PrettyPrintEnv
patternsUnison.PrettyPrintEnv
peekUnison.Util.TQueue
peekTicketUnison.Util.RefPromise
peekWhileUnison.Util.TQueue
PmBangUnison.PatternMatchCoverage.PmGrd
PmcUnison.PatternMatchCoverage.Class
PmConUnison.PatternMatchCoverage.PmGrd
PmEffectUnison.PatternMatchCoverage.PmGrd
PmEffectPureUnison.PatternMatchCoverage.PmGrd
PmGrdUnison.PatternMatchCoverage.PmGrd
PmLetUnison.PatternMatchCoverage.PmGrd
PmListHeadUnison.PatternMatchCoverage.PmGrd
PmListIntervalUnison.PatternMatchCoverage.PmGrd
PmListTailUnison.PatternMatchCoverage.PmGrd
PmLit 
1 (Type/Class)Unison.PatternMatchCoverage.PmLit
2 (Data Constructor)Unison.PatternMatchCoverage.PmGrd
PolarityUnison.Typechecker.Variance
popTypeUnison.KindInference.Generate.Monad
PosUnison.Typechecker.Variance
PosCon 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
PosEffect 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
PositionUnison.Typechecker.Context.Structure
PositiveUnison.Typechecker.Variance
PosListHead 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
PosListTail 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
PosLit 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
ppeUnison.PrettyPrintEnv.MonadPretty
PrecedenceUnison.Syntax.Precedence
predecessorsUnison.Codebase.Causal.Type, Unison.Codebase.Causal
Prefix 
1 (Type/Class)Unison.PrettyPrintEnv.FQN
2 (Data Constructor)Unison.Syntax.Precedence
prefix 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Util.Logger
prefixNameIfRelUnison.Codebase.Path
preloadBranchUnison.Codebase.Type
preloadProjectBranchUnison.Codebase
prepareRewriteUnison.UnisonFile
prepopulatedIOUnison.Util.TQueue
PrettyUnison.Codebase.Init.CreateCodebaseError, Unison.Codebase.Init
pretty 
1 (Function)Unison.Syntax.TypePrinter
2 (Function)Unison.Syntax.TermPrinter
pretty'Unison.Syntax.TermPrinter
pretty0 
1 (Function)Unison.Syntax.TypePrinter
2 (Function)Unison.Syntax.TermPrinter
prettyBindingUnison.Syntax.TermPrinter
prettyBinding'Unison.Syntax.TermPrinter
prettyBindingForDiffUnison.Syntax.TermPrinter
prettyBindingWithoutTypeSignatureUnison.Syntax.TermPrinter
prettyBlockUnison.Syntax.TermPrinter
prettyBlock'Unison.Syntax.TermPrinter
prettyBufferEntryUnison.Codebase.SqliteCodebase.Operations
prettyConstraintUnison.PatternMatchCoverage.Constraint
prettyConstructorReferenceUnison.PatternMatchCoverage.Pretty
prettyCyclicUVarKindUnison.KindInference.Constraint.Pretty
prettyDeclUnison.Syntax.DeclPrinter
prettyDeclHeaderUnison.Syntax.DeclPrinter
prettyDeclOrBuiltinHeaderUnison.Syntax.DeclPrinter
prettyDeclWUnison.Syntax.DeclPrinter
prettyDnfUnison.PatternMatchCoverage.NormalizedConstraints
prettyDoc2Unison.Syntax.TermPrinter
prettyEffectHandlerUnison.PatternMatchCoverage.EffectHandler
prettyGrdTreeUnison.PatternMatchCoverage.GrdTree
prettyHashQualifiedUnison.Syntax.NamePrinter
prettyHashQualified'Unison.Syntax.NamePrinter
prettyHashQualified0Unison.Syntax.NamePrinter
prettyHashQualifiedFullUnison.Syntax.NamePrinter
prettyKindErrorUnison.KindInference.Error.Pretty
prettyLabeledDependencyUnison.Syntax.NamePrinter
prettyListPatUnison.PatternMatchCoverage.ListPat
prettyLiteralUnison.PatternMatchCoverage.Literal
prettyNameUnison.Syntax.NamePrinter
prettyNamedReferenceUnison.Syntax.NamePrinter
prettyNamedReferentUnison.Syntax.NamePrinter
prettyNameParensUnison.Syntax.NamePrinter
prettyNormalizedConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
prettyParseErrorUnison.PrintError
prettyPatternUnison.Syntax.TermPrinter
prettyPmGrdUnison.PatternMatchCoverage.PmGrd
prettyPmLitUnison.PatternMatchCoverage.PmLit
PrettyPrintEnv 
1 (Type/Class)Unison.PrettyPrintEnv
2 (Data Constructor)Unison.PrettyPrintEnv
prettyPrintEnvUnison.KindInference.Solve.Monad
PrettyPrintEnvDecl 
1 (Type/Class)Unison.PrettyPrintEnvDecl
2 (Data Constructor)Unison.PrettyPrintEnvDecl
prettyPrintIntegrityErrorsUnison.Codebase.IntegrityCheck
prettyPrintParseErrorUnison.Util.Pretty.MegaParsec
prettyRawUnison.Syntax.TypePrinter
prettyReferenceUnison.Syntax.NamePrinter
prettyReferentUnison.Syntax.NamePrinter
prettyResolutionFailuresUnison.PrintError
prettyShortHashUnison.Syntax.NamePrinter
prettySignaturesAltUnison.Syntax.TypePrinter
prettySignaturesAlt'Unison.Syntax.TypePrinter
prettySignaturesCTUnison.Syntax.TypePrinter
prettySignaturesCTCollapsedUnison.Syntax.TypePrinter
prettySignaturesSTUnison.Syntax.TypePrinter
prettySolvedConstraintUnison.KindInference.Constraint.Pretty
prettySolveErrorUnison.KindInference.Constraint.Pretty
prettyStrUnison.Syntax.TypePrinter
prettySyntaxUnison.Syntax.TypePrinter
prettyUVarKindUnison.KindInference.Constraint.Pretty
prettyVar 
1 (Function)Unison.PatternMatchCoverage.Pretty
2 (Function)Unison.PrintError
PrintableUnison.Util.Text.Pattern
printNoteWithSourceUnison.PrintError
printReadRemoteNamespaceUnison.Codebase.Editor.RemoteRepo
printWriteRemoteNamespaceUnison.Codebase.Editor.RemoteRepo
ProfUnison.Codebase.Runtime.Profile
Profile 
1 (Type/Class)Unison.Codebase.Runtime.Profile
2 (Data Constructor)Unison.Codebase.Runtime
profileUnison.Codebase.Runtime
ProfileSpecUnison.Codebase.Runtime.Profile
ProfTUnison.Codebase.Runtime.Profile
ProfTrieUnison.Codebase.Runtime.Profile
Project 
1 (Type/Class)Unison.Codebase.ProjectPath
2 (Data Constructor)Unison.Codebase.ProjectPath
project 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.Codebase.ProjectPath
ProjectAndBranch 
1 (Type/Class)Unison.Codebase.ProjectPath
2 (Data Constructor)Unison.Codebase.ProjectPath
projectAndBranch_Unison.Codebase.ProjectPath
ProjectBranch 
1 (Type/Class)Unison.Codebase.ProjectPath
2 (Data Constructor)Unison.Codebase.ProjectPath
projectBranchRootUnison.Codebase.ProjectPath
projectId 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.Codebase.ProjectPath
ProjectPath 
1 (Type/Class)Unison.Codebase.ProjectPath
2 (Data Constructor)Unison.Codebase.ProjectPath
ProjectPathGUnison.Codebase.ProjectPath
ProjectPathIdsUnison.Codebase.ProjectPath
ProjectPathNamesUnison.Codebase.ProjectPath
projectPathParserUnison.Codebase.ProjectPath
PromiseUnison.Util.RefPromise
prov 
1 (Function)Unison.KindInference.Constraint.Unsolved
2 (Function)Unison.KindInference.Constraint.TypeProvenance
3 (Function)Unison.KindInference.Constraint.Solved
Provenance 
1 (Type/Class)Unison.KindInference.Constraint.Provenance
2 (Data Constructor)Unison.KindInference.Constraint.Provenance
PunctuationUnison.Util.Text.Pattern
PureUnison.Typechecker.Extractor
PushBehaviorUnison.Codebase.PushBehavior
pushCaptureUnison.Util.Text.Pattern
pushCapturesUnison.Util.Text.Pattern
pushTypeUnison.KindInference.Generate.Monad
PutUnison.Codebase.Serialization
putUnison.Codebase.Serialization
putBranch 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
putBranchTxUnison.Codebase.Type, Unison.Codebase
putBufferUnison.Codebase.SqliteCodebase.Operations
putBytesUnison.Codebase.Serialization
putPatchUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
putTerm 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
putTermComponent 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
putTerm_Unison.Codebase.SqliteCodebase.Operations
putTypeDeclaration 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
putTypeDeclarationComponent 
1 (Function)Unison.Codebase.Type, Unison.Codebase
2 (Function)Unison.Codebase.SqliteCodebase.Operations
putTypeDeclaration_Unison.Codebase.SqliteCodebase.Operations
putWatchUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
putWithParentDirsUnison.Codebase.Serialization
raceIOUnison.Util.TQueue
Ranged 
1 (Type/Class)Unison.Typechecker.Extractor
2 (Data Constructor)Unison.Typechecker.Extractor
Raw 
1 (Type/Class)Unison.Codebase.Branch.Raw, Unison.Codebase.Branch
2 (Data Constructor)Unison.Codebase.Branch.Raw
rawUnison.Util.Logger
readAndParseFileUnison.Parsers
readForCASUnison.Util.RefPromise
readPromiseUnison.Util.RefPromise
ReadRemoteNamespaceUnison.Codebase.Editor.RemoteRepo
ReadShare'LooseCodeUnison.Codebase.Editor.RemoteRepo
ReadShare'ProjectBranchUnison.Codebase.Editor.RemoteRepo
ReadShareLooseCode 
1 (Type/Class)Unison.Codebase.Editor.RemoteRepo
2 (Data Constructor)Unison.Codebase.Editor.RemoteRepo
recordedUnison.Typechecker.Context.Structure
RedundantPattern 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
redundantPattern 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
RedundantTypeAnnotation 
1 (Type/Class)Unison.Typechecker.Extractor
2 (Type/Class)Unison.Typechecker.TypeError
reference1to2Unison.Codebase.SqliteCodebase.Conversions
reference2to1Unison.Codebase.SqliteCodebase.Conversions
reference2toshorthash1Unison.Codebase.SqliteCodebase.Conversions
referenceid1to2Unison.Codebase.SqliteCodebase.Conversions
referenceid2to1Unison.Codebase.SqliteCodebase.Conversions
references 
1 (Function)Unison.Codebase.TermEdit
2 (Function)Unison.Codebase.TypeEdit
referent1to2Unison.Codebase.SqliteCodebase.Conversions
referent2to1Unison.Codebase.SqliteCodebase.Conversions
referent2to1UsingCTUnison.Codebase.SqliteCodebase.Conversions
referent2toshorthash1Unison.Codebase.SqliteCodebase.Conversions
referentid1to2Unison.Codebase.SqliteCodebase.Conversions
referentid2to1Unison.Codebase.SqliteCodebase.Conversions
referentsByPrefixUnison.Codebase.SqliteCodebase.Operations
RegularMergeUnison.Codebase.Branch.Merge
RelativePath'Unison.Codebase.Path
relaxUnison.Typechecker.Context
RemoteUnison.Codebase.Type
removalsU.Codebase.Branch.Diff
removeBufferUnison.Codebase.SqliteCodebase.Operations
removedTermsUnison.Codebase.Branch.BranchDiff
removedTypesUnison.Codebase.Branch.BranchDiff
renderCompilerBugUnison.PrintError
renderDefnsForUnisonFileUnison.Syntax.FilePrinter
renderNoteAsANSIUnison.PrintError
renderParseErrorAsANSIUnison.PrintError
renderParseErrorsUnison.PrintError
renderTypeWarningsUnison.PrintError
RenderUniqueTypeGuidsUnison.Syntax.DeclPrinter
RenderUniqueTypeGuids'NoUnison.Syntax.DeclPrinter
RenderUniqueTypeGuids'YesUnison.Syntax.DeclPrinter
Replace 
1 (Data Constructor)Unison.Codebase.TermEdit
2 (Data Constructor)Unison.Codebase.TypeEdit
replaceFactsUnison.Util.Star2
ReplacementUnison.Typechecker.Context
replacementUnison.Typechecker
ReplacementRefUnison.Typechecker.Context
ReplacementVarUnison.Typechecker.Context
ReplicateUnison.Util.Text.Pattern
replicateUnison.Util.Text
repoUnison.Codebase.Editor.RemoteRepo
requestedUnison.Typechecker.TypeError
RequireEmptyUnison.Codebase.PushBehavior
RequireNonEmptyUnison.Codebase.PushBehavior
Resolution 
1 (Type/Class)Unison.Typechecker
2 (Data Constructor)Unison.Typechecker
ResolutionResultUnison.Hashing.V2.Convert
ResolveUnison.Codebase.Path
resolveUnison.Codebase.Path
resolvedLocUnison.Typechecker
resolvedNameUnison.Typechecker
ResolvedNameNotFoundUnison.Result
resolveProjectPathIdsUnison.Codebase
resolveShortHashUnison.Codebase
ResponseUnison.Codebase.Runtime
restrictKeysUnison.Util.EnumContainers
Result 
1 (Type/Class)Unison.Typechecker.Context
2 (Type/Class)Unison.Result
3 (Data Constructor)Unison.Result
resultUnison.Result
ResultTUnison.Result
RetractFailureUnison.Typechecker.Context
reverseUnison.Util.Text
rewriteUnison.UnisonFile
rewriteCaseUnison.Builtin.Decls
RewriteCase'Unison.Builtin.Decls
rewriteCaseRefUnison.Builtin.Decls
rewritesUnison.Builtin.Decls
Rewrites'Unison.Builtin.Decls
RewriteSignature'Unison.Builtin.Decls
rewritesRefUnison.Builtin.Decls
rewriteTermUnison.Builtin.Decls
RewriteTerm'Unison.Builtin.Decls
rewriteTermRefUnison.Builtin.Decls
rewriteTypeUnison.Builtin.Decls
rewriteTypeRefUnison.Builtin.Decls
rhsUnison.Typechecker.TypeError
RightNameWrongTypeUnison.Typechecker.Context
RootUnison.Codebase.Path
Root'Unison.Codebase.Path
rreference1to2Unison.Codebase.SqliteCodebase.Conversions
rreference2to1Unison.Codebase.SqliteCodebase.Conversions
rreferenceid1to2Unison.Codebase.SqliteCodebase.Conversions
rreferenceid2to1Unison.Codebase.SqliteCodebase.Conversions
rreferent1to2Unison.Codebase.SqliteCodebase.Conversions
rreferent2to1Unison.Codebase.SqliteCodebase.Conversions
run 
1 (Function)Unison.KindInference.Generate.Monad
2 (Function)Unison.Util.Text.Pattern
runGenUnison.KindInference.Solve.Monad
runIntegrityChecksUnison.Codebase.SqliteCodebase.Migrations
runPrettyUnison.PrettyPrintEnv.MonadPretty, Unison.Syntax.TypePrinter, Unison.Syntax.TermPrinter
runPrettyForDiffUnison.PrettyPrintEnv.MonadPretty
runResultTUnison.Result
runSolveUnison.KindInference.Solve.Monad
runSubseqUnison.Typechecker.Extractor
Runtime 
1 (Type/Class)Unison.Codebase.Runtime
2 (Data Constructor)Unison.Codebase.Runtime
runtimeFailureRefUnison.Builtin.Decls
runTransactionUnison.Codebase
runTransactionExceptTUnison.Codebase
runTransactionWithRollbackUnison.Codebase
SameUnison.Codebase.TermEdit
sch1to2Unison.Codebase.SqliteCodebase.Conversions
ScopeUnison.Util.Logger
scopeUnison.Util.Logger
scope'Unison.Util.Logger
scopedTypeUnison.KindInference.Generate.Monad
ScopeReferenceUnison.KindInference.Constraint.Context
SearchResultUnison.Typechecker.Context.Structure
seekModeAbsoluteIdUnison.Builtin.Decls
seekModeEndIdUnison.Builtin.Decls
seekModeRefUnison.Builtin.Decls
seekModeRelativeIdUnison.Builtin.Decls
seekModeTypeUnison.Builtin.Decls
SeparatorUnison.Util.Text.Pattern
SequenceTypeUnison.PatternMatchCoverage.Class
seqViewElemUnison.Builtin.Decls
seqViewEmptyUnison.Builtin.Decls
seqViewRefUnison.Builtin.Decls
serverUnison.Codebase.Editor.RemoteRepo
setChildBranchUnison.Codebase.Branch
setCurrentProjectPathUnison.Codebase
setFromListUnison.Util.EnumContainers
setLibdepsUnison.Codebase.Branch
setRefUnison.Builtin.Decls
setSingletonUnison.Util.EnumContainers
setSizeUnison.Util.EnumContainers
setToListUnison.Util.EnumContainers
setWrapUnison.Builtin.Decls
shadowedVarsUnison.Typechecker.Context.Structure
ShadowingUnison.Typechecker.Context.Structure
ShareCodeserverUnison.Codebase.Editor.RemoteRepo
ShareUserHandle 
1 (Type/Class)Unison.Codebase.Editor.RemoteRepo
2 (Data Constructor)Unison.Codebase.Editor.RemoteRepo
shareUserHandleToTextUnison.Codebase.Editor.RemoteRepo
ShortCausalHash 
1 (Type/Class)Unison.Codebase.ShortCausalHash
2 (Data Constructor)Unison.Codebase.ShortCausalHash
ShouldUseTndrUnison.FileParsers
ShouldUseTndr'NoUnison.FileParsers
ShouldUseTndr'YesUnison.FileParsers
showErrorFancyUnison.Util.Pretty.MegaParsec
showErrorItemUnison.Util.Pretty.MegaParsec
SilentUnison.Codebase.Verbosity
SimilarNameRightTypeUnison.Typechecker.Context
SimilarNameWrongTypeUnison.Typechecker.Context
simplifyUnison.Typechecker.Variance
singleUnison.Typechecker.Context.Structure
singlePathUnison.Codebase.Runtime.Profile
singleton 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.PatternMatchCoverage.IntervalSet
3 (Function)Unison.Util.Text
size 
1 (Function)Unison.Util.CycleTable
2 (Function)Unison.Util.TQueue
3 (Function)Unison.Util.Text
sizeRefUnison.Util.CycleTable
SnocUnison.PatternMatchCoverage.ListPat
Solve 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
solveUnison.Typechecker.Variance
SolvedUnison.Typechecker.Context.Structure, Unison.Typechecker.Context
SolvedBlankUnison.Typechecker.Context
solvedBlankUnison.Typechecker.Extractor
solvedExistentialsUnison.Typechecker.Context.Structure
solvedVarsUnison.Typechecker.TypeError
SolveError 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Error, Unison.KindInference.Solve
SolveState 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
someUnison.Typechecker.Extractor
someIdUnison.Builtin.Decls
SomeProfUnison.Codebase.Runtime.Profile
SomeProfileUnison.Codebase.Runtime.Profile
SpecifiedUnison.Codebase.Init
SpecifiedCodebaseUnison.Codebase.Init
SplitUnison.Codebase.Path
split 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Typechecker.Context.Structure
splitFromNameUnison.Codebase.Path
splitPUnison.Codebase.Path.Parse
splitP'Unison.Codebase.Path.Parse
splitSegUnison.Typechecker.Context.Structure
SquashMergeUnison.Codebase.Branch.Merge
squashMerge'Unison.Codebase.Causal
SrcWrongSchemaUnison.Codebase.SqliteCodebase.SyncEphemeral
StackUnison.Util.Text.Pattern
stackCapturesUnison.Util.Text.Pattern
standardWatchKindsUnison.Codebase.SqliteCodebase.Operations
Star 
1 (Type/Class)Unison.Codebase.Metadata
2 (Type/Class)Unison.Codebase.Branch.Raw
3 (Type/Class)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
Star2 
1 (Type/Class)Unison.Util.Star2
2 (Data Constructor)Unison.Util.Star2
startUnison.Typechecker.Extractor
StatementUnison.Syntax.Precedence
stdErrIdUnison.Builtin.Decls
stdHandleRefUnison.Builtin.Decls
stdHandleTypeUnison.Builtin.Decls
stdInIdUnison.Builtin.Decls
stdOutIdUnison.Builtin.Decls
step 
1 (Function)Unison.KindInference.Solve
2 (Function)Unison.Codebase.Branch
stepDistinctUnison.Codebase.Causal
stepDistinctMUnison.Codebase.Causal
stepEverywhereUnison.Codebase.Branch
stepManyAtUnison.Codebase.Branch
stepManyAtMUnison.Codebase.Branch
stmFailureRefUnison.Builtin.Decls
streamNameChangesU.Codebase.Branch.Diff
styleHashQualifiedUnison.Syntax.NamePrinter
styleHashQualified'Unison.Syntax.NamePrinter
styleHashQualified''Unison.Syntax.NamePrinter
subUnison.Typechecker.TypeError
SubseqExtractorUnison.Typechecker.Extractor
subseqExtractorUnison.Typechecker.Extractor
SubseqExtractor' 
1 (Type/Class)Unison.Typechecker.Extractor
2 (Data Constructor)Unison.Typechecker.Extractor
substImportsUnison.Syntax.TermParser
SubtypeUnison.Codebase.TermEdit
Success 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Codebase.MainTerm
SuffixUnison.PrettyPrintEnv.FQN
suffixifiedPPEUnison.PrettyPrintEnvDecl
SuffixifierUnison.PrettyPrintEnv.Names
suffixifyByHashUnison.PrettyPrintEnv.Names
suffixifyByHashNameUnison.PrettyPrintEnv.Names
suffixifyByHashWithUnhashedTermsInScopeUnison.PrettyPrintEnv.Names
suffixifyByNameUnison.PrettyPrintEnv.Names
Suggestion 
1 (Type/Class)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.Context
SuggestionMatchUnison.Typechecker.Context
suggestionMatchUnison.Typechecker.Context
suggestionNameUnison.Typechecker.Context
suggestionReplacementUnison.Typechecker.Context
suggestions 
1 (Function)Unison.Typechecker
2 (Function)Unison.Typechecker.TypeError
suggestionTypeUnison.Typechecker.Context
supUnison.Typechecker.TypeError
SuperfluousDelayUnison.Typechecker.TypeError
surroundUnison.Typechecker.Context.Structure
SymbolUnison.Util.Text.Pattern
symbol1to2Unison.Codebase.SqliteCodebase.Conversions
symbol2to1Unison.Codebase.SqliteCodebase.Conversions
syncCausalHashUnison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers
SynDataDecl 
1 (Type/Class)Unison.Syntax.DeclParser
2 (Data Constructor)Unison.Syntax.DeclParser
SynDeclUnison.Syntax.DeclParser
SynDecl'DataUnison.Syntax.DeclParser
SynDecl'EffectUnison.Syntax.DeclParser
synDeclConstructorsUnison.Syntax.DeclParser
synDeclNameUnison.Syntax.DeclParser
synDeclsPUnison.Syntax.DeclParser
SynEffectDecl 
1 (Type/Class)Unison.Syntax.DeclParser
2 (Data Constructor)Unison.Syntax.DeclParser
SyntaxTextUnison.Syntax.NamePrinter
synthesizeUnison.Typechecker
synthesizeAndResolveUnison.Typechecker
synthesizeClosedUnison.Typechecker.Context
synthesizeFileUnison.FileParsers
TUnison.PatternMatchCoverage.Literal
tableUnison.Util.CycleTable
tailUnison.Codebase.Causal.Type, Unison.Codebase.Causal
tailsUnison.Codebase.Causal.Type, Unison.Codebase.Causal
takeUnison.Util.Text
takeWhileUnison.Util.TQueue
talladdsUnison.Codebase.BranchDiff
tallnamespaceUpdatesUnison.Codebase.BranchDiff
tallremovesUnison.Codebase.BranchDiff
tell1Unison.Result
tellAndFailUnison.Result
Term 
1 (Type/Class)Unison.Typechecker.Context
2 (Type/Class)Unison.Codebase.Runtime
termUnison.Syntax.TermParser
term1to2Unison.Codebase.SqliteCodebase.Conversions
term2to1Unison.Codebase.SqliteCodebase.Conversions
termBindingsUnison.UnisonFile
TermBufferEntryUnison.Codebase.SqliteCodebase.Operations
termComponent1to2Unison.Codebase.SqliteCodebase.Conversions
termConstraintsUnison.KindInference.Generate
termDiffsU.Codebase.Branch.Diff
termDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TermEditUnison.Codebase.TermEdit
termExistsUnison.Codebase.SqliteCodebase.Operations
termFQNUnison.PrettyPrintEnv
terminateUnison.Codebase.Runtime
termNameUnison.PrettyPrintEnv
termNameAddsU.Codebase.Branch.Diff
termNameOrHashOnlyUnison.PrettyPrintEnv
termNameOrHashOnlyFqUnison.PrettyPrintEnv
termNameRemovalsU.Codebase.Branch.Diff
termNamesUnison.PrettyPrintEnv
termReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
termReferentsByPrefixUnison.Codebase.Type, Unison.Codebase
termReferentsByShortHashUnison.Codebase
termRefTypeReferencesUnison.Builtin
termRefTypesUnison.Builtin
terms 
1 (Function)U.Codebase.Branch.Diff
2 (Function)Unison.PrettyPrintEnv
3 (Function)Unison.UnisonFile.Type, Unison.UnisonFile
termsByReferenceUnison.UnisonFile.Summary
termsByShortnameUnison.Typechecker
termsBySymbolUnison.UnisonFile.Summary
termsDiffUnison.Codebase.BranchDiff
termSignatureExternalLabeledDependenciesUnison.UnisonFile
termSiteUnison.Typechecker.TypeError
termsMentioningTypeUnison.Codebase
termsMentioningTypeImpl 
1 (Function)Unison.Codebase.Type
2 (Function)Unison.Codebase.SqliteCodebase.Operations
termsOfTypeUnison.Codebase
termsOfTypeImpl 
1 (Function)Unison.Codebase.Type
2 (Function)Unison.Codebase.SqliteCodebase.Operations
terms_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
termVarAnnotationsUnison.Typechecker.Context.Structure
testResultListRefUnison.Builtin.Decls
testResultListTypeUnison.Builtin.Decls
testResultRefUnison.Builtin.Decls
testWatchSummaryUnison.UnisonFile.Summary
Text 
1 (Data Constructor)Unison.PatternMatchCoverage.PmLit
2 (Type/Class)Unison.Util.Text
3 (Data Constructor)Unison.Util.Text
threadKilledFailureRefUnison.Builtin.Decls
threeWayMergeUnison.Codebase.Causal
threeWayMerge'Unison.Codebase.Causal
thresholdUnison.Util.Text
thunkArgTypeUnison.Builtin.Decls
TicketUnison.Util.RefPromise
tlhsUnison.Typechecker.TypeError
tlsFailureRefUnison.Builtin.Decls
tlsPrivateKeyRefUnison.Builtin.Decls
tlsSignedCertRefUnison.Builtin.Decls
tlsSignedCertTypeUnison.Builtin.Decls
toAbsoluteSplitUnison.Codebase.Path
toClassesUnison.PatternMatchCoverage.UFMap
toDefnsIdsByNameUnison.UnisonFile
todoHashLengthUnison.PrettyPrintEnv
toEitherUnison.Result
toHandleUnison.Util.Logger
toHashUnison.Codebase.ShortCausalHash
toIdsUnison.Codebase.ProjectPath
toLazyTextUnison.Util.Text
toListUnison.Codebase.Path
toLowercaseUnison.Util.Text
toMaybe 
1 (Function)Unison.Result
2 (Function)Unison.Codebase.Editor.DisplayObject
toNameUnison.Codebase.Path
toNames 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.UnisonFile.Names
3 (Function)Unison.Codebase.Branch.Names
TopUnison.Syntax.Precedence
TopLevelComponent 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
topLevelComponent 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
TopLevelComponentNotFoundUnison.Result
topLevelComponents 
1 (Function)Unison.UnisonFile
2 (Function)Unison.Typechecker
topLevelComponents'Unison.UnisonFile.Type, Unison.UnisonFile
toPrettyPrintEnvDeclUnison.Codebase.Branch.Names
toProjectAndBranchUnison.Codebase.ProjectPath
toReference 
1 (Function)Unison.Codebase.TermEdit
2 (Function)Unison.Codebase.TypeEdit
toRootUnison.Codebase.ProjectPath
toStandardErrorUnison.Util.Logger
toStandardOutUnison.Util.Logger
toString 
1 (Function)Unison.Codebase.ShortCausalHash
2 (Function)Unison.Util.Text
toTermAndWatchNamesUnison.UnisonFile.Names
toText 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.ShortCausalHash
3 (Function)Unison.Util.Text
toUppercaseUnison.Util.Text
toUtf8Unison.Util.Text
TQueue 
1 (Type/Class)Unison.Util.TQueue
2 (Data Constructor)Unison.Util.TQueue
traceUnison.Util.Logger
trace'Unison.Util.Logger
traceLevelUnison.Util.Logger
traceNoteUnison.Typechecker.Extractor
traceSubseqUnison.Typechecker.Extractor
transform 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
transform0Unison.Codebase.Branch
transitiveClosureUnison.Util.TransitiveClosure
transitiveClosure'Unison.Util.TransitiveClosure
transitiveClosure1Unison.Util.TransitiveClosure
transitiveClosure1'Unison.Util.TransitiveClosure
transitiveDependenciesUnison.Codebase.CodeLookup
traverseConstructorTypesUnison.PatternMatchCoverage.Class
traverseSet_Unison.Util.EnumContainers
traverseWithKeyUnison.Util.EnumContainers
TreeDiff 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
trenamesUnison.Codebase.BranchDiff
trhsUnison.Typechecker.TypeError
tryUnison.Util.Text.Pattern
tryAnyUnison.Util.Exception
tryDequeueUnison.Util.TQueue
tryFlushBufferUnison.Codebase.SqliteCodebase.Operations
tryFlushDeclBufferUnison.Codebase.SqliteCodebase.Operations
tryFlushTermBufferUnison.Codebase.SqliteCodebase.Operations
tryPeekWhileUnison.Util.TQueue
tryPrettySolvedConstraintUnison.KindInference.Constraint.Pretty
tryPrettyUVarKindUnison.KindInference.Constraint.Pretty
tryReadPromiseUnison.Util.RefPromise
tsubUnison.Typechecker.TypeError
tsupUnison.Typechecker.TypeError
ttype1to2Unison.Codebase.SqliteCodebase.Conversions
ttype2to1Unison.Codebase.SqliteCodebase.Conversions
tupleConsTermUnison.Builtin.Decls
TuplePatternUnison.Builtin.Decls
tupleTermUnison.Builtin.Decls
TupleTerm'Unison.Builtin.Decls
TupleType'Unison.Builtin.Decls
TypeUnison.Typechecker.Context
type1to2'Unison.Codebase.SqliteCodebase.Conversions
type2to1'Unison.Codebase.SqliteCodebase.Conversions
TypeAnnotationUnison.KindInference.Constraint.Context
typecheckedToNamesUnison.UnisonFile.Names
typecheckedToTypeLookupUnison.UnisonFile
TypecheckedUnisonFile 
1 (Type/Class)Unison.UnisonFile.Type, Unison.UnisonFile
2 (Data Constructor)Unison.UnisonFile.Type
typecheckedUnisonFileUnison.UnisonFile
TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
TypecheckerBugUnison.Result
typecheckingTermUnison.UnisonFile
typeConstraintsUnison.KindInference.Generate
typeDependenciesUnison.DataDeclaration.Dependencies
typeDiffsU.Codebase.Branch.Diff
typeDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TypeEditUnison.Codebase.TypeEdit
TypeError 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Result
3 (Type/Class)Unison.Typechecker.TypeError
typeErrorFromNoteUnison.Typechecker.TypeError
typeErrorsUnison.Typechecker.Context
typeFQNUnison.PrettyPrintEnv
TypeInfo 
1 (Data Constructor)Unison.Result
2 (Type/Class)Unison.Typechecker.TypeError
typeInfoFromNoteUnison.Typechecker.TypeError
TypeLookup 
1 (Type/Class)Unison.Typechecker.TypeLookup
2 (Data Constructor)Unison.Typechecker.TypeLookup
typeLookup 
1 (Function)Unison.Typechecker
2 (Function)Unison.Builtin
typeLookupForDependenciesUnison.Codebase
typeMap 
1 (Function)Unison.KindInference.Generate.Monad
2 (Function)Unison.KindInference.Solve.Monad
TypeMismatchUnison.Typechecker.Context
typeMismatchUnison.Typechecker.Extractor
typeNameUnison.PrettyPrintEnv
typeNameAddsU.Codebase.Branch.Diff
typeNameOrHashOnlyUnison.PrettyPrintEnv
typeNameOrHashOnlyFqUnison.PrettyPrintEnv
typeNameRemovalsU.Codebase.Branch.Diff
typeNamesUnison.PrettyPrintEnv
TypeNoteUnison.Typechecker.TypeError
typeOfUnison.Builtin
typeOfDataConstructorUnison.Typechecker.TypeLookup
typeOfEffectConstructorUnison.Typechecker.TypeLookup
typeOfReferentUnison.Typechecker.TypeLookup
typeOfTermUnison.Typechecker.TypeLookup
typeOfTerm'Unison.Typechecker.TypeLookup
typeOfTermsUnison.Typechecker.TypeLookup
typeProvUnison.KindInference.Constraint.Unsolved
TypeProvenanceUnison.KindInference.Constraint.TypeProvenance
typeReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
typeReferencesByShortHashUnison.Codebase
types 
1 (Function)U.Codebase.Branch.Diff
2 (Function)Unison.PrettyPrintEnv
typesDiffUnison.Codebase.BranchDiff
typeSiteUnison.Typechecker.TypeError
types_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
typeToReferenceUnison.Hashing.V2.Convert
typeToReferenceMentionsUnison.Hashing.V2.Convert
TypeVar 
1 (Type/Class)Unison.Typechecker.TypeVar
2 (Type/Class)Unison.Typechecker.Context
TypeWarningUnison.Result
TypingUnison.Codebase.TermEdit
typingUnison.Codebase.TermEdit.Typing
tyvars 
1 (Function)Unison.Syntax.DeclParser
2 (Function)Unison.Syntax.DeclParser
UFMapUnison.PatternMatchCoverage.UFMap
UFValueUnison.PatternMatchCoverage.UFMap
unabsoluteUnison.Codebase.Path
UnannotatedReferenceUnison.Typechecker.Context
UnboundExUnison.Typechecker.Context.Structure
UnboundUnUnison.Typechecker.Context.Structure
UnconflictedLocalDefnsView 
1 (Type/Class)Unison.UnconflictedLocalDefnsView
2 (Data Constructor)Unison.UnconflictedLocalDefnsView
uncons 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
3 (Function)Unison.Util.Text
unconsChunkUnison.Util.Text
uncoverAnnotateUnison.PatternMatchCoverage.Solve
UncoveredPatterns 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
uncoveredPatterns 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
UndeclaredTermVariableUnison.Typechecker.Context
undequeueUnison.Util.TQueue
underlyingUnison.Typechecker.TypeVar
UnexpectedArgumentUnison.KindInference.Error, Unison.KindInference.Solve
unGenUnison.KindInference.Generate.Monad
unguardedCycleUnison.Typechecker.TypeError
UnguardedLetRecCycle 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
unifVars 
1 (Function)Unison.KindInference.Generate.Monad
2 (Function)Unison.KindInference.Solve.Monad
UnifyUnison.KindInference.Constraint.Unsolved
UnionUnison.Util.Text.Pattern
union 
1 (Function)Unison.PatternMatchCoverage.UFMap
2 (Function)Unison.PrettyPrintEnv
unionWithUnison.Util.EnumContainers
uniqueUnison.Typechecker.Extractor
UnisonFile 
1 (Type/Class)Unison.UnisonFile.Type, Unison.UnisonFile
2 (Data Constructor)Unison.UnisonFile.Type, Unison.UnisonFile
UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
unitCtorRefUnison.Builtin.Decls
UnitRefUnison.Builtin.Decls
unitRefUnison.Builtin.Decls
unitTermUnison.Builtin.Decls
unitTypeUnison.Builtin.Decls
UniversalUnison.Typechecker.TypeVar
UnknownUnison.Typechecker.Context
UnknownConstructorUnison.Typechecker.Context
UnknownDeclUnison.Typechecker.Context
UnknownExistentialVariableUnison.Typechecker.Context
UnknownSymbol 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Result
unknownSymbolUnison.Typechecker.Extractor
UnknownTerm 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
unknownTerm 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
UnknownTermReferenceUnison.Typechecker.Context
unknownTermVUnison.Typechecker.TypeError
UnknownTypeUnison.Typechecker.TypeError
unknownTypeUnison.Typechecker.TypeError
unknownTypeVUnison.Typechecker.TypeError
unLeftTermUnison.Builtin.Decls
unOptionalRefUnison.Builtin.Decls
unpackUnison.Util.Text
unPairRefUnison.Builtin.Decls
unprefixUnison.Codebase.Path
unprefixNameUnison.Codebase.Path
unRewriteCaseUnison.Builtin.Decls
unRewritesUnison.Builtin.Decls
unRewriteSignatureUnison.Builtin.Decls
unRewriteTermUnison.Builtin.Decls
unRightTermUnison.Builtin.Decls
UnsafeConsUnison.Codebase.Causal.Type
unsafeConstructorTypeUnison.Typechecker.TypeLookup
unsafeGetComponentLengthUnison.Codebase
unsafeGetRightFromUnison.Parsers
unsafeGetTermUnison.Codebase
unsafeGetTermComponentUnison.Codebase
unsafeGetTermWithTypeUnison.Codebase
unsafeGetTypeDeclarationUnison.Codebase
unsafeGetTypeOfTermByIdUnison.Codebase
unsafeMapHashPreservingUnison.Codebase.Causal
UnsafeMergeUnison.Codebase.Causal.Type
UnsafeOneUnison.Codebase.Causal.Type
unsafeParseFileUnison.Parsers
unsafeParseFileBuiltinsOnlyUnison.Parsers
unsafeParseTermUnison.Parsers
unsafeParseTextUnison.Codebase.Path
unsafeParseText'Unison.Codebase.Path
unsafeReadAndParseFileUnison.Parsers
unsnocUnison.Util.Text
unsnocChunkUnison.Util.Text
unSolveUnison.KindInference.Solve.Monad
unsolvedExistentialsUnison.Typechecker.Context.Structure
unsplitUnison.Codebase.Path
unsuffixifiedPPEUnison.PrettyPrintEnvDecl
unTreeDiffU.Codebase.Branch.Diff
unTuplePatternUnison.Builtin.Decls
unTupleTermUnison.Builtin.Decls
unTupleTypeUnison.Builtin.Decls
unUnitRefUnison.Builtin.Decls
UnwrappedBranchUnison.Codebase.Branch.Type, Unison.Codebase.Branch
UpdateUnison.PatternMatchCoverage.NormalizedConstraints
updateFUnison.PatternMatchCoverage.NormalizedConstraints
UpdateStrategyUnison.Codebase.Branch
UpperUnison.Util.Text.Pattern
UserObjectUnison.Codebase.Editor.DisplayObject
UVar 
1 (Type/Class)Unison.KindInference.UVar
2 (Data Constructor)Unison.KindInference.UVar
uvarTypeUnison.KindInference.UVar
vUnison.Typechecker
VacuumUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
VacuumStrategyUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
validateSegmentUnison.Typechecker.Context.Structure
ValueUnison.Codebase.Metadata
valueHashUnison.Codebase.Causal.Type, Unison.Codebase.Causal
valueTypeUnison.Syntax.TypeParser
valueTypeLeafUnison.Syntax.TypeParser
VarUnison.Typechecker.Context.Structure, Unison.Typechecker.Context
varUnison.Typechecker.TypeError
VarBindingUnison.Typechecker.Context
VarConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
variableUnison.Typechecker.Context.Structure
VarianceUnison.Typechecker.Variance
variancesUnison.Typechecker
VarInfo 
1 (Type/Class)Unison.PatternMatchCoverage.NormalizedConstraints
2 (Data Constructor)Unison.PatternMatchCoverage.NormalizedConstraints
VarMentionUnison.Typechecker.Context
Vc'BooleanUnison.PatternMatchCoverage.NormalizedConstraints
Vc'CharUnison.PatternMatchCoverage.NormalizedConstraints
Vc'ConstructorUnison.PatternMatchCoverage.NormalizedConstraints
Vc'EffectUnison.PatternMatchCoverage.NormalizedConstraints
Vc'FloatUnison.PatternMatchCoverage.NormalizedConstraints
Vc'IntUnison.PatternMatchCoverage.NormalizedConstraints
Vc'ListRootUnison.PatternMatchCoverage.NormalizedConstraints
Vc'NatUnison.PatternMatchCoverage.NormalizedConstraints
Vc'TextUnison.PatternMatchCoverage.NormalizedConstraints
VerboseUnison.Codebase.Verbosity
VerbosityUnison.Codebase.Verbosity
verifyUnison.KindInference.Solve
verifyRelativeVarNameUnison.Syntax.TermParser
vi_conUnison.PatternMatchCoverage.NormalizedConstraints
vi_effUnison.PatternMatchCoverage.NormalizedConstraints
vi_idUnison.PatternMatchCoverage.NormalizedConstraints
vi_typUnison.PatternMatchCoverage.NormalizedConstraints
WarnUnison.Typechecker.Context
warnUnison.Util.Logger
warn'Unison.Util.Logger
WarningUnison.Typechecker.Context
warnLevelUnison.Util.Logger
watchComponentsUnison.UnisonFile.Type, Unison.UnisonFile
watches 
1 (Function)Unison.UnisonFile.Type, Unison.UnisonFile
2 (Function)Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase
watchesOfKindUnison.UnisonFile
watchKind1to2Unison.Codebase.SqliteCodebase.Conversions
watchKind2to1Unison.Codebase.SqliteCodebase.Conversions
WatchResultsUnison.Codebase.Runtime
wellTypedUnison.Typechecker
WhitespaceUnison.Util.Text.Pattern
willCaptureTypeUnison.PrettyPrintEnv.MonadPretty
withBoundTermUnison.PrettyPrintEnv.MonadPretty
withBoundTermsUnison.PrettyPrintEnv.MonadPretty
withConnectionUnison.Codebase.Type, Unison.Codebase
withConnectionIOUnison.Codebase.Type, Unison.Codebase
withCreatedCodebaseUnison.Codebase.Init
withNewUcmCodebaseOrExitUnison.Codebase.Init
withOpenCodebaseUnison.Codebase.Init
withOpenOrCreateCodebaseUnison.Codebase.Init
withoutKeysUnison.Util.EnumContainers
withoutLibUnison.Codebase.Branch
withoutTransitiveLibsUnison.Codebase.Branch
writePromiseUnison.Util.RefPromise
WrongNameRightTypeUnison.Typechecker.Context
_anyUnison.Typechecker.Extractor
_any'Unison.Typechecker.Extractor
_childrenRUnison.Codebase.Branch.Raw
_editsRUnison.Codebase.Branch.Raw
_historyUnison.Codebase.Branch.Type, Unison.Codebase.Branch
_noUnison.Typechecker.Extractor
_termEditsUnison.Codebase.Patch
_termsRUnison.Codebase.Branch.Raw
_typeEditsUnison.Codebase.Patch
_typesRUnison.Codebase.Branch.Raw
_uvarSymbolUnison.KindInference.UVar
|>Unison.Typechecker.Context.Structure