unison-parser-typechecker-0.0.0

Index

!Unison.Util.EnumContainers
$sel:abilityCheckFailureSite:MismatchUnison.Typechecker.TypeError
$sel:absPath:ProjectPathUnison.Codebase.ProjectPath
$sel:addedTerms:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:addedTypes:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:adds:DiffU.Codebase.Branch.Diff
$sel:ambient:MismatchUnison.Typechecker.TypeError
$sel:ambientAbilities:EnvUnison.Typechecker
$sel:arg:MismatchUnison.Typechecker.TypeError
$sel:argNum:MismatchUnison.Typechecker.TypeError
$sel:beComponent:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:beComponentTargetSize:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:beMissingDependencies:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:beWaitingDependents:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:branch:ProjectPathUnison.Codebase.ProjectPath
$sel:branches:DependenciesUnison.Codebase.SqliteCodebase.SyncEphemeral
$sel:branchId:ProjectBranchUnison.Codebase.ProjectPath
$sel:bugs:NotesUnison.Typechecker
$sel:cause:ErrorNoteUnison.Typechecker.Context
$sel:changedPatches:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:codebasePath:Init 
1 (Function)Unison.Codebase.Init.Type
2 (Function)Unison.Codebase.Init
$sel:codeserverId:CodeserverIdUnison.Share.Types
$sel:codeserverPath:CodeserverURIUnison.Share.Types
$sel:codeserverPort:CodeserverURIUnison.Share.Types
$sel:codeserverRegName:CodeserverURIUnison.Share.Types
$sel:codeserverScheme:CodeserverURIUnison.Share.Types
$sel:codeserverUserInfo:CodeserverURIUnison.Share.Types
$sel:compileTo:RuntimeUnison.Codebase.Runtime
$sel:conflictedConstraint:ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
$sel:conflictedVar:ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
$sel:constraintMap:NormalizedConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
$sel:constraints:SolveStateUnison.KindInference.Solve.Monad
$sel:createCodebase':InitUnison.Codebase.Init.Type
$sel:currentHash:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:cycle:MismatchUnison.Typechecker.TypeError
$sel:cycleLocs:MismatchUnison.Typechecker.TypeError
$sel:d1:Star2Unison.Util.Star2
$sel:d2:Star2Unison.Util.Star2
$sel:dataDeclarationsId':TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:dataDeclarationsId:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:dataDecls:TypeLookupUnison.Typechecker.TypeLookup
$sel:dataDeclsByReference:FileSummaryUnison.UnisonFile.Summary
$sel:dataDeclsBySymbol:FileSummaryUnison.UnisonFile.Summary
$sel:datasId:EnvUnison.UnisonFile.Env
$sel:decls':Dependencies'Unison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:decls:DependenciesUnison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:definitions:DependenciesUnison.Codebase.SqliteCodebase.SyncEphemeral
$sel:definitions:TopLevelComponentUnison.Typechecker.TypeError
$sel:defns:MismatchUnison.Typechecker.TypeError
$sel:descriptorConstraint:DescriptorUnison.KindInference.Solve.Monad
$sel:dirtySet:NormalizedConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
$sel:effectDeclarationsId':TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:effectDeclarationsId:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:effectDecls:TypeLookupUnison.Typechecker.TypeLookup
$sel:effectDeclsByReference:FileSummaryUnison.UnisonFile.Summary
$sel:effectDeclsBySymbol:FileSummaryUnison.UnisonFile.Summary
$sel:effectsId:EnvUnison.UnisonFile.Env
$sel:end:PureUnison.Typechecker.Extractor
$sel:errors:NotesUnison.Typechecker
$sel:evaluate:RuntimeUnison.Codebase.Runtime
$sel:expectedLeaf:MismatchUnison.Typechecker.TypeError
$sel:expectedLoc:MismatchUnison.Typechecker.TypeError
$sel:expectedSite:MismatchUnison.Typechecker.TypeError
$sel:expectedType:MismatchUnison.Typechecker.TypeError
$sel:exprWatchSummary:FileSummaryUnison.UnisonFile.Summary
$sel:f:MismatchUnison.Typechecker.TypeError
$sel:fact:Star2Unison.Util.Star2
$sel:fileNames:FileSummaryUnison.UnisonFile.Summary
$sel:filterTermsByReferenceIdHavingTypeImpl:CodebaseUnison.Codebase.Type
$sel:filterTermsByReferentIdHavingTypeImpl:CodebaseUnison.Codebase.Type
$sel:foundLeaf:MismatchUnison.Typechecker.TypeError
$sel:foundType:MismatchUnison.Typechecker.TypeError
$sel:fqn:NamedReferenceUnison.Typechecker
$sel:fqnType:NamedReferenceUnison.Typechecker
$sel:ft:MismatchUnison.Typechecker.TypeError
$sel:get:FormatUnison.Codebase.Serialization
$sel:get:PureUnison.Typechecker.Extractor
$sel:getBooleanMismatch:MismatchUnison.Typechecker.TypeError
$sel:getBranchForHash:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getDeclType:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getExistentialMismatch:MismatchUnison.Typechecker.TypeError
$sel:getLevel:LoggerUnison.Util.Logger
$sel:getScope:LoggerUnison.Util.Logger
$sel:getTerm:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getTerm:CodeLookupUnison.Codebase.CodeLookup
$sel:getTermComponentWithTypes:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getTypeDeclaration:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getTypeDeclaration:CodeLookupUnison.Codebase.CodeLookup
$sel:getTypeOfTermImpl:CodebaseUnison.Codebase.Type
$sel:getWatch:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:hashTermsId:TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:head:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:impliedConstraint:ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
$sel:inferredType:ResolutionUnison.Typechecker
$sel:infos:NotesUnison.Typechecker
$sel:insertCachedBranch:BranchCacheUnison.Codebase.SqliteCodebase.Branch.Cache
$sel:ioTestTypes:RuntimeUnison.Codebase.Runtime
$sel:leafs:MismatchUnison.Typechecker.TypeError
$sel:lhs:MismatchUnison.Typechecker.TypeError
$sel:lookupCachedBranch:BranchCacheUnison.Codebase.SqliteCodebase.Branch.Cache
$sel:mainType:RuntimeUnison.Codebase.Runtime
$sel:mismatchSite:MismatchUnison.Typechecker.TypeError
$sel:name:ProjectUnison.Codebase.ProjectPath
$sel:name:ProjectBranchUnison.Codebase.ProjectPath
$sel:names:EnvUnison.UnisonFile.Env
$sel:nameTerm:NamerUnison.PrettyPrintEnv.Names
$sel:nameType:NamerUnison.PrettyPrintEnv.Names
$sel:newUnifVars:SolveStateUnison.KindInference.Solve.Monad
$sel:newVars:GenStateUnison.KindInference.Generate.Monad
$sel:note:MismatchUnison.Typechecker.TypeError
$sel:openCodebase:InitUnison.Codebase.Init.Type
$sel:parentBranchId:ProjectBranchUnison.Codebase.ProjectPath
$sel:patches':Dependencies'Unison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:patches:DependenciesUnison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:patchesDiff:BranchDiffUnison.Codebase.BranchDiff
$sel:path:ErrorNoteUnison.Typechecker.Context
$sel:path:ReadShareLooseCodeUnison.Codebase.Editor.RemoteRepo
$sel:prefix:LoggerUnison.Util.Logger
$sel:preloadBranch:CodebaseUnison.Codebase.Type
$sel:prettyPrintEnv:EnvUnison.KindInference.Solve.Monad
$sel:profile:COptsUnison.Codebase.Runtime
$sel:project:ProjectPathUnison.Codebase.ProjectPath
$sel:projectId:ProjectUnison.Codebase.ProjectPath
$sel:projectId:ProjectBranchUnison.Codebase.ProjectPath
$sel:put:FormatUnison.Codebase.Serialization
$sel:putBranch:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTerm:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTermComponent:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTypeDeclaration:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTypeDeclarationComponent:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:raw:LoggerUnison.Util.Logger
$sel:removals:DiffU.Codebase.Branch.Diff
$sel:removedTerms:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:removedTypes:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:replacement:NamedReferenceUnison.Typechecker
$sel:repo:ReadShareLooseCodeUnison.Codebase.Editor.RemoteRepo
$sel:requested:MismatchUnison.Typechecker.TypeError
$sel:resolvedLoc:ResolutionUnison.Typechecker
$sel:resolvedName:ResolutionUnison.Typechecker
$sel:rhs:MismatchUnison.Typechecker.TypeError
$sel:runSubseq:SubseqExtractor'Unison.Typechecker.Extractor
$sel:server:ReadShareLooseCodeUnison.Codebase.Editor.RemoteRepo
$sel:shareUserHandleToText:ShareUserHandleUnison.Codebase.Editor.RemoteRepo
$sel:sizeRef:CycleTableUnison.Util.CycleTable
$sel:solvedVars:MismatchUnison.Typechecker.TypeError
$sel:start:PureUnison.Typechecker.Extractor
$sel:suffixifiedPPE:PrettyPrintEnvDeclUnison.PrettyPrintEnvDecl
$sel:suggestionMatch:SuggestionUnison.Typechecker.Context
$sel:suggestionName:SuggestionUnison.Typechecker.Context
$sel:suggestionReplacement:SuggestionUnison.Typechecker.Context
$sel:suggestions:MismatchUnison.Typechecker.TypeError
$sel:suggestions:ResolutionUnison.Typechecker
$sel:suggestionType:SuggestionUnison.Typechecker.Context
$sel:table:CycleTableUnison.Util.CycleTable
$sel:tail:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:tails:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:talladds:DiffSliceUnison.Codebase.BranchDiff
$sel:tallnamespaceUpdates:DiffSliceUnison.Codebase.BranchDiff
$sel:tallremoves:DiffSliceUnison.Codebase.BranchDiff
$sel:termDiffs:DefinitionDiffsU.Codebase.Branch.Diff
$sel:terminate:RuntimeUnison.Codebase.Runtime
$sel:termNameAdds:NameChangesU.Codebase.Branch.Diff
$sel:termNameRemovals:NameChangesU.Codebase.Branch.Diff
$sel:termNames:PrettyPrintEnvUnison.PrettyPrintEnv
$sel:termReferentsByPrefix:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:terms':Dependencies'Unison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:terms:DependenciesUnison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:terms:NameBasedDiffU.Codebase.Branch.Diff
$sel:terms:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:termsByReference:FileSummaryUnison.UnisonFile.Summary
$sel:termsByShortname:EnvUnison.Typechecker
$sel:termsBySymbol:FileSummaryUnison.UnisonFile.Summary
$sel:termsDiff:BranchDiffUnison.Codebase.BranchDiff
$sel:termSite:MismatchUnison.Typechecker.TypeError
$sel:termsMentioningTypeImpl:CodebaseUnison.Codebase.Type
$sel:termsOfTypeImpl:CodebaseUnison.Codebase.Type
$sel:testWatchSummary:FileSummaryUnison.UnisonFile.Summary
$sel:tlhs:MismatchUnison.Typechecker.TypeError
$sel:topLevelComponents':TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:toSeq:PathUnison.Codebase.Path
$sel:toText:ShortCausalHashUnison.Codebase.ShortCausalHash
$sel:trenames:DiffSliceUnison.Codebase.BranchDiff
$sel:trhs:MismatchUnison.Typechecker.TypeError
$sel:typeDiffs:DefinitionDiffsU.Codebase.Branch.Diff
$sel:typeLookup:EnvUnison.Typechecker
$sel:typeMap:GenStateUnison.KindInference.Generate.Monad
$sel:typeMap:SolveStateUnison.KindInference.Solve.Monad
$sel:typeNameAdds:NameChangesU.Codebase.Branch.Diff
$sel:typeNameRemovals:NameChangesU.Codebase.Branch.Diff
$sel:typeNames:PrettyPrintEnvUnison.PrettyPrintEnv
$sel:typeOfTerms:TypeLookupUnison.Typechecker.TypeLookup
$sel:types:NameBasedDiffU.Codebase.Branch.Diff
$sel:typesDiff:BranchDiffUnison.Codebase.BranchDiff
$sel:typeSite:MismatchUnison.Typechecker.TypeError
$sel:unabsolute:AbsoluteUnison.Codebase.Path
$sel:unGen:GenUnison.KindInference.Generate.Monad
$sel:unifVars:GenStateUnison.KindInference.Generate.Monad
$sel:unifVars:SolveStateUnison.KindInference.Solve.Monad
$sel:unknownTermV:MismatchUnison.Typechecker.TypeError
$sel:unknownTypeV:MismatchUnison.Typechecker.TypeError
$sel:unPath':Path'Unison.Codebase.Path
$sel:unrelative:RelativeUnison.Codebase.Path
$sel:unSolve:SolveUnison.KindInference.Solve.Monad
$sel:unsuffixifiedPPE:PrettyPrintEnvDeclUnison.PrettyPrintEnvDecl
$sel:unTreeDiff:TreeDiffU.Codebase.Branch.Diff
$sel:uvarType:UVarUnison.KindInference.UVar
$sel:v:ResolutionUnison.Typechecker
$sel:valueHash:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:vi_con:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:vi_eff:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:vi_id:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:vi_typ:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:watchComponents:TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:watches:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:withConnection:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:withConnectionIO:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:withCreatedCodebase:InitUnison.Codebase.Init
$sel:withOpenCodebase:InitUnison.Codebase.Init
$sel:_addedTermEdits:PatchDiffUnison.Codebase.Patch
$sel:_addedTypeEdits:PatchDiffUnison.Codebase.Patch
$sel:_childrenR:RawUnison.Codebase.Branch.Raw
$sel:_editsR:RawUnison.Codebase.Branch.Raw
$sel:_history:BranchUnison.Codebase.Branch.Type, Unison.Codebase.Branch
$sel:_removedTermEdits:PatchDiffUnison.Codebase.Patch
$sel:_removedTypeEdits:PatchDiffUnison.Codebase.Patch
$sel:_termEdits:PatchUnison.Codebase.Patch
$sel:_termsR:RawUnison.Codebase.Branch.Raw
$sel:_typeEdits:PatchUnison.Codebase.Patch
$sel:_typesR:RawUnison.Codebase.Branch.Raw
$sel:_uvarSymbol:UVarUnison.KindInference.UVar
:<Unison.Codebase.Path
:>Unison.Codebase.Path
AbilityCheckFailure 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
abilityCheckFailure 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
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
AbilityTypeUnison.PatternMatchCoverage.Class
abortMigrationUnison.Codebase.SqliteCodebase.Migrations.Helpers
Absolute 
1 (Type/Class)Unison.Codebase.Path
2 (Data Constructor)Unison.Codebase.Path
absoluteEmptyUnison.Codebase.Path
absoluteEmpty'Unison.Codebase.Path
AbsolutePath'Unison.Codebase.Path
absoluteToPath'Unison.Codebase.Path
absPath_ 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.ProjectPath
AbsSplitUnison.Codebase.Path
absToTextUnison.Codebase.Path
AccessorNameUnison.Syntax.DeclPrinter
ActualArgCountUnison.Typechecker.Context
addBufferDependentUnison.Codebase.SqliteCodebase.Operations
addDeclComponentTypeIndexUnison.Codebase.SqliteCodebase.Operations
addDefsToCodebaseUnison.Codebase
addedTermEditsUnison.Codebase.Patch
addedTypeEditsUnison.Codebase.Patch
addFallback 
1 (Function)Unison.PrettyPrintEnv
2 (Function)Unison.PrettyPrintEnvDecl
addNamesFromTypeCheckedUnisonFileUnison.UnisonFile.Names
addTermNameUnison.Codebase.Branch
addTypeNameUnison.Codebase.Branch
addTypeVarsUnison.PrettyPrintEnv.MonadPretty
addUnconstrainedVarUnison.KindInference.Solve.Monad
allErrorsUnison.Typechecker.TypeError
allNameChangesU.Codebase.Branch.Diff
AllowRewritingHistoryUnison.Codebase.Branch
allReferencesUnison.Codebase.Patch
allReferenceTargetsUnison.Codebase.Patch
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
ancestorsUnison.Codebase.Path
andUnison.Typechecker.TypeError
AndMismatchUnison.Typechecker.TypeError
AnnUnison.Typechecker.Context
annihilateTermNameUnison.Codebase.Branch
annihilateTypeNameUnison.Codebase.Branch
Annotation 
1 (Data Constructor)Unison.KindInference.Constraint.Context
2 (Data Constructor)Unison.Syntax.Precedence
AnyUnison.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
applyingFunctionUnison.Typechecker.TypeError
applyingNonFunctionUnison.Typechecker.TypeError
applyPPEUnison.PrettyPrintEnv.MonadPretty
applyPPE2Unison.PrettyPrintEnv.MonadPretty
applyPPE3Unison.PrettyPrintEnv.MonadPretty
ArgumentMismatchUnison.KindInference.Error, Unison.KindInference.Solve
ArgumentMismatchArrowUnison.KindInference.Error, Unison.KindInference.Solve
arithmeticFailureRefUnison.Builtin.Decls
arrayFailureRefUnison.Builtin.Decls
asPathExtractorUnison.Typechecker.Extractor
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
awaitSizeUnison.Util.TQueue
BackupUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
backupCodebaseIfNecessaryUnison.Codebase.SqliteCodebase.Migrations
backupCodebasePathUnison.Codebase.SqliteCodebase.Paths
BackupStrategyUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
BadTypeUnison.Codebase.MainTerm
BasementUnison.Syntax.Precedence
batchUpdatesUnison.Codebase.Branch
batchUpdatesMUnison.Codebase.Branch
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
biasTo 
1 (Function)Unison.PrettyPrintEnv
2 (Function)Unison.PrettyPrintEnvDecl
bindingUnison.Syntax.TermParser
blockTermUnison.Syntax.TermParser
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
Branch 
1 (Type/Class)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
2 (Data Constructor)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
branchUnison.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.Branch.Dependencies
branchExistsUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
branchHash1to2Unison.Codebase.SqliteCodebase.Conversions
branchHash2to1Unison.Codebase.SqliteCodebase.Conversions
branchHashLengthUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
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
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
causeUnison.Typechecker.Extractor
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
checkMatchUnison.PatternMatchCoverage
childrenUnison.Codebase.Branch.Type, Unison.Codebase.Branch
children0Unison.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
codebasePathUnison.Codebase.SqliteCodebase.Paths
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
codeserverBaseURLUnison.Share.Types
codeserverFromURIUnison.Share.Types
CodeserverId 
1 (Type/Class)Unison.Share.Types
2 (Data Constructor)Unison.Share.Types
codeserverIdFromCodeserverURIUnison.Share.Types
codeserverIdFromURIUnison.Share.Types
codeserverToURIUnison.Share.Types
CodeserverURI 
1 (Type/Class)Unison.Share.Types
2 (Data Constructor)Unison.Share.Types
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
complementUnison.PatternMatchCoverage.IntervalSet
componentReferencesForReferenceUnison.Codebase
CompressHistoryUnison.Codebase.Branch
computationTypeUnison.Syntax.TypeParser
computeSlicesUnison.Codebase.BranchDiff
computeTypecheckingEnvironmentUnison.FileParsers
ConcatPatternWithoutConstantLengthUnison.Typechecker.Context
condUnison.Typechecker.TypeError
CondMismatchUnison.Typechecker.TypeError
conflictsUnison.Codebase.Patch
Cons 
1 (Data Constructor)Unison.Codebase.Causal.Type, Unison.Codebase.Causal
2 (Data Constructor)Unison.PatternMatchCoverage.ListPat
cons 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.Causal
3 (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
ConstraintUpdateUnison.PatternMatchCoverage.NormalizedConstraints
ConstructorIdUnison.Typechecker.Context
constructorIdUnison.Builtin.Decls
constructorsForDeclsUnison.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
2 (Data Constructor)Unison.Typechecker.Context
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
CreateUnison.Codebase.BranchDiff
createCodebaseUnison.Codebase.Init
CreateCodebaseAlreadyExistsUnison.Codebase.Init.CreateCodebaseError
CreateCodebaseErrorUnison.Codebase.Init.CreateCodebaseError
CreatedCodebaseUnison.Codebase.Init
createSchemaUnison.Codebase.SqliteCodebase.Operations
CreateWhenMissingUnison.Codebase.Init
cryptoFailureRefUnison.Builtin.Decls
currentPathUnison.Codebase.Path
CustomCodeserverUnison.Codebase.Editor.RemoteRepo
CycleDetectedUnison.KindInference.Error, Unison.KindInference.Solve
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
DataUnison.Typechecker.Context
dataDeclarationsUnison.UnisonFile
dataDeclarations'Unison.UnisonFile
DataEffectMismatchUnison.Typechecker.Context
datasUnison.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
declarationPPEDeclUnison.PrettyPrintEnv.Util
declarationsUnison.Syntax.DeclParser
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
decrementUnison.Util.Logger
deepDefnsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deepEditsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
deepEdits'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
defaultWidthUnison.PrintError
DefinitionDiffs 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
definitionLocationUnison.UnisonFile
defnReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations
delayTermUnison.Builtin.Decls
DeleteUnison.Codebase.BranchDiff
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
deletePatchUnison.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
3 (Type/Class)Unison.Codebase.SqliteCodebase.Branch.Dependencies
4 (Data Constructor)Unison.Codebase.SqliteCodebase.Branch.Dependencies
dependenciesUnison.UnisonFile
Dependencies' 
1 (Type/Class)Unison.Codebase.SqliteCodebase.Branch.Dependencies
2 (Data Constructor)Unison.Codebase.SqliteCodebase.Branch.Dependencies
dependentsUnison.Codebase
dependentsImplUnison.Codebase.SqliteCodebase.Operations
dependentsOfComponentUnison.Codebase
dependentsOfComponentImplUnison.Codebase.SqliteCodebase.Operations
Deprecate 
1 (Data Constructor)Unison.Codebase.TermEdit
2 (Data Constructor)Unison.Codebase.TypeEdit
dequeueUnison.Util.TQueue
dequeueNUnison.Util.TQueue
Descriptor 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.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
diffUnison.Codebase.Patch
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
DiffTypeUnison.Codebase.BranchDiff
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
editsUnison.Codebase.Branch.Type, Unison.Codebase.Branch
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
Effectful 
1 (Data Constructor)Unison.PatternMatchCoverage.Constraint
2 (Data Constructor)Unison.PatternMatchCoverage.Literal
EffectHandlerUnison.PatternMatchCoverage.EffectHandler
EffectInfoUnison.PatternMatchCoverage.NormalizedConstraints
EffectListMismatchUnison.KindInference.Error, Unison.KindInference.Solve
EffectsListUnison.KindInference.Constraint.Context
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
elideFQNUnison.PrettyPrintEnv.FQN
Empty 
1 (Data Constructor)Unison.Codebase.Path
2 (Data Constructor)Unison.Util.Text.Pattern
empty 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.Patch
3 (Function)Unison.PatternMatchCoverage.IntervalSet
4 (Function)Unison.PatternMatchCoverage.UFMap
5 (Function)Unison.PrettyPrintEnv
6 (Function)Unison.PrettyPrintEnvDecl
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
emptyStateUnison.KindInference.Solve.Monad
emptyUnisonFileUnison.UnisonFile
enqueueUnison.Util.TQueue
enqueueCountUnison.Util.TQueue
ensureCodebaseIsUpToDateUnison.Codebase.SqliteCodebase.Migrations
ensureNameLookupForBranchHashUnison.Codebase.SqliteCodebase.Operations
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.UnisonFile.Env
4 (Data Constructor)Unison.UnisonFile.Env
5 (Type/Class)Unison.Typechecker
6 (Data Constructor)Unison.Typechecker
7 (Type/Class)Unison.PrintError
environmentForUnison.UnisonFile.Names
EofUnison.Util.Text.Pattern
EqUnison.PatternMatchCoverage.Constraint
Error 
1 (Type/Class)Unison.Codebase.SqliteCodebase.SyncEphemeral
2 (Type/Class)Unison.Codebase.Runtime
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
errorTermsUnison.Typechecker.Context
evaluateTermUnison.Codebase.Runtime
evaluateTerm'Unison.Codebase.Runtime
evaluateWatchesUnison.Codebase.Runtime
ExactUnison.Typechecker.Context
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
expectCanonUnison.PatternMatchCoverage.NormalizedConstraints
expectCausalBranchByCausalHashUnison.Codebase
expectCurrentProjectPathUnison.Codebase
expectDeclComponentUnison.Codebase.SqliteCodebase.Operations
expectDeclTypeByIdUnison.Codebase.SqliteCodebase.Operations
ExpectedArgCountUnison.Typechecker.Context
expectProjectBranchRootUnison.Codebase
expectShallowProjectBranchRootUnison.Codebase
extractUnison.Typechecker.Extractor
ExtractorUnison.Typechecker.Extractor
extractorUnison.Typechecker.Extractor
extractSingletonUnison.PatternMatchCoverage.IntervalSet
FUnison.PatternMatchCoverage.Literal
failConstructorIdUnison.Builtin.Decls
failConstructorReferentUnison.Builtin.Decls
failureRefUnison.Builtin.Decls
failureTypeUnison.Builtin.Decls
fileUnison.Syntax.FileParser
fileDefLocationsUnison.UnisonFile.Summary
fileModeRefUnison.Builtin.Decls
fileModeTypeUnison.Builtin.Decls
filePathRefUnison.Builtin.Decls
filePathTypeUnison.Builtin.Decls
FileSummary 
1 (Type/Class)Unison.UnisonFile.Summary
2 (Data Constructor)Unison.UnisonFile.Summary
filterReferencesHavingTypeImplUnison.Codebase.SqliteCodebase.Operations
filterReferentsHavingTypeImplUnison.Codebase.SqliteCodebase.Operations
filterTermsByReferenceIdHavingTypeUnison.Codebase
filterTermsByReferentHavingTypeUnison.Codebase
findUnison.KindInference.Solve.Monad
findMinUnison.Util.EnumContainers
fitsScheme 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker
FloatUnison.PatternMatchCoverage.PmLit
flushUnison.Util.TQueue
fmtUnison.Syntax.NamePrinter
foldMapWithKeyUnison.Util.EnumContainers
foldrUnison.PatternMatchCoverage.IntervalSet
ForcePushUnison.Codebase.PushBehavior
forceTermUnison.Builtin.Decls
ForkUnison.PatternMatchCoverage.GrdTree
ForkFUnison.PatternMatchCoverage.GrdTree
Format 
1 (Type/Class)Unison.Codebase.Serialization
2 (Data Constructor)Unison.Codebase.Serialization
FoundV1CodebaseUnison.Codebase.Init
FreeVarsInTypeAnnotationUnison.Typechecker.Context
freshUnison.PatternMatchCoverage.Class
freshVarUnison.KindInference.Generate.Monad
fromBranchUnison.Codebase.SqliteCodebase.Branch.Dependencies
fromBranch0Unison.Codebase.SqliteCodebase.Branch.Dependencies
fromFullHashUnison.Codebase.ShortCausalHash
fromHashUnison.Codebase.ShortCausalHash
fromList 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.PatternMatchCoverage.IntervalSet
fromNameUnison.Codebase.Path
fromName'Unison.Codebase.Path
fromNamesUnison.Codebase.BranchUtil
fromParsingUnison.Result
fromPath'Unison.Codebase.Path
fromProjectAndBranchUnison.Codebase.ProjectPath
fromText 
1 (Function)Unison.Codebase.ShortCausalHash
2 (Function)Unison.Util.Text
fromTypecheckedUnisonFileUnison.Codebase.CodeLookup.Util
fromUtf8Unison.Util.Text
FunctionApplicationUnison.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
GenState 
1 (Type/Class)Unison.KindInference.Generate.Monad
2 (Data Constructor)Unison.KindInference.Generate.Monad
genStateLUnison.KindInference.Solve.Monad
GetUnison.Codebase.Serialization
getAtUnison.Codebase.Branch
getAt'Unison.Codebase.Branch
getAt0Unison.Codebase.Branch
getBranchUnison.Codebase.BranchUtil
getBranchAtProjectPathUnison.Codebase
getBranchForHashUnison.Codebase.SqliteCodebase.Operations
getBufferUnison.Codebase.SqliteCodebase.Operations
getCodebaseDirUnison.CodebasePath, Unison.Codebase
getConstructorsUnison.PatternMatchCoverage.Class
getConstructorVarTypesUnison.PatternMatchCoverage.Class
getDeclComponentUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
getDeclTypeUnison.Codebase.SqliteCodebase.Operations
getDeprecatedRootReflogUnison.Codebase
getFieldAndAccessorNamesUnison.Syntax.DeclPrinter
getFromBytesUnison.Codebase.Serialization
getFromFileUnison.Codebase.Serialization
getFromFile'Unison.Codebase.Serialization
getGlobalReflogUnison.Codebase
getMainTermUnison.Codebase.MainTerm
getMaybePatchUnison.Codebase.Branch
getMaybeShallowBranchAtPathUnison.Codebase
getMaybeShallowBranchAtProjectPathUnison.Codebase
getPatch 
1 (Function)Unison.Codebase.Branch
2 (Function)Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase
getPPEUnison.PrettyPrintEnv.MonadPretty
getPrettyPrintEnvUnison.PatternMatchCoverage.Class
getProjectBranchReflogUnison.Codebase
getProjectReflogUnison.Codebase
getResultUnison.Result
getShallowBranchAtPathUnison.Codebase
getShallowBranchAtProjectPathUnison.Codebase
getShallowCausalAtPathUnison.Codebase
getShallowCausalAtPathFromRootHashUnison.Codebase
getShallowProjectBranchRootUnison.Codebase
getShallowProjectRootByNamesUnison.Codebase
getTerm 
1 (Function)Unison.Codebase.SqliteCodebase.Operations
2 (Function)Unison.Codebase.BranchUtil
getTermComponentWithTypesUnison.Codebase.SqliteCodebase.Operations
getTypeUnison.Codebase.BranchUtil
getTypeDeclarationUnison.Codebase.SqliteCodebase.Operations
getTypeOfReferentUnison.Codebase
getTypeOfTermUnison.Codebase
getTypeOfTermImplUnison.Codebase.SqliteCodebase.Operations
getWatchUnison.Codebase.SqliteCodebase.Operations
GrdUnison.PatternMatchCoverage.GrdTree
GrdFUnison.PatternMatchCoverage.GrdTree
GrdTreeUnison.PatternMatchCoverage.GrdTree
GrdTreeFUnison.PatternMatchCoverage.GrdTree
GuardMismatchUnison.Typechecker.TypeError
HandlerOfUnexpectedTypeUnison.Typechecker.Context
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
hashLengthUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
hashPatchUnison.Hashing.V2.Convert
hashTermComponentsUnison.Hashing.V2.Convert
hashTermComponentsWithoutTypesUnison.Hashing.V2.Convert
hashTermsUnison.UnisonFile
hasKeyUnison.Util.EnumContainers
headUnison.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
historyUnison.Codebase.Branch.Type, Unison.Codebase.Branch
hoistUnison.Result
hoistTreeDiffU.Codebase.Branch.Diff
HomeUnison.Codebase.Init
hqNamerUnison.PrettyPrintEnv.Names
HQSplitUnison.Codebase.Path
HQSplit'Unison.Codebase.Path
HQSplitAbsoluteUnison.Codebase.Path
hqSplitFromName'Unison.Codebase.Path
HttpUnison.Share.Types
HttpsUnison.Share.Types
IfBodyUnison.Typechecker.TypeError
ifBodyUnison.Typechecker.TypeError
IgnoreUnison.PatternMatchCoverage.NormalizedConstraints
IllegalContextExtensionUnison.Typechecker.Context
IllFormedTypeUnison.Typechecker.Context
illFormedTypeUnison.Typechecker.Extractor
ImportsUnison.PrettyPrintEnv.FQN
importsUnison.Syntax.TermParser
improveErrorUnison.KindInference.Error
InaccessiblePatternUnison.Typechecker.Context
InAndAppUnison.Typechecker.Context
inAndAppUnison.Typechecker.Extractor
InCheckUnison.Typechecker.Context
inCheckUnison.Typechecker.Extractor
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
inferDeclsUnison.KindInference
inferDependencyMountsU.Codebase.Projects
infixLevelsUnison.Syntax.Precedence
InfixOpUnison.Syntax.Precedence
InfixPrecedenceUnison.Syntax.Precedence
infixRulesUnison.Syntax.Precedence
infoUnison.Util.Logger
info'Unison.Util.Logger
InfoExtractorUnison.Typechecker.Extractor
infoLevelUnison.Util.Logger
InfoNoteUnison.Typechecker.Context
infoNoteUnison.Typechecker.Extractor
infoNotesUnison.Typechecker.Context
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
insertD1Unison.Util.Star2
insertD2Unison.Util.Star2
insertEndUnison.Util.CycleTable
insertProjectAndBranchUnison.Codebase.SqliteCodebase.Operations
installUcmDependenciesUnison.Codebase
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
inVectorUnison.Typechecker.Extractor
InVectorAppUnison.Typechecker.Context
ioErrorRefUnison.Builtin.Decls
ioErrorTypeUnison.Builtin.Decls
ioFailureRefUnison.Builtin.Decls
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
isCurrentPathUnison.Codebase.Path
IsEffectfulUnison.PatternMatchCoverage.NormalizedConstraints
isEmpty 
1 (Function)Unison.Codebase.Patch
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
IsNotEffectfulUnison.PatternMatchCoverage.NormalizedConstraints
isOneUnison.Codebase.Branch
isPropagatedConstructorIdUnison.Builtin.Decls
isPropagatedRefUnison.Builtin.Decls
isPublicUnison.Codebase.Editor.RemoteRepo
isRedundantUnison.Typechecker.Context
isRelativeUnison.Codebase.Path
isRootUnison.Codebase.Path
isRoot'Unison.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
JoinUnison.Util.Text.Pattern
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
labeledDependenciesUnison.Codebase.Patch
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
leftBiasedMergeUnison.UnisonFile
LetUnison.PatternMatchCoverage.Literal
LetterUnison.Util.Text.Pattern
Level 
1 (Data Constructor)Unison.Syntax.Precedence
2 (Type/Class)Unison.Util.Logger
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
lookup 
1 (Function)Unison.Util.CycleTable
2 (Function)Unison.Util.EnumContainers
lookupAnnUnison.Typechecker.Context
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
lookupWatchCacheUnison.Codebase
lookupWithDefaultUnison.Util.EnumContainers
LowerUnison.Util.Text.Pattern
lowerTermUnison.Typechecker.TypeVar
lowerTypeUnison.Typechecker.TypeVar
LowestUnison.Syntax.Precedence
lspLocUnison.KindInference.Error
MainTermUnison.Codebase.MainTerm
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.Names
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
mapD2Unison.Util.Star2
mapFromListUnison.Util.EnumContainers
mapInsertUnison.Util.EnumContainers
mapSingletonUnison.Util.EnumContainers
mapToListUnison.Util.EnumContainers
mapWithKeyUnison.Util.EnumContainers
MarkUnison.Util.Text.Pattern
MarkCharUnison.Util.Text.Pattern
markDirtyUnison.PatternMatchCoverage.NormalizedConstraints
MarkerUnison.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
miscFailureRefUnison.Builtin.Decls
MismatchUnison.Typechecker.TypeError
MissingObjectUnison.Codebase.Editor.DisplayObject
mkFileSummaryUnison.UnisonFile.Summary
ModifyUnison.Codebase.BranchDiff
modifyAtUnison.Codebase.Branch
modifyAtMUnison.Codebase.Branch
modifyPatchesUnison.Codebase.Branch
modifyPPEUnison.PrettyPrintEnv.MonadPretty
modifyTypeVarsUnison.PrettyPrintEnv.MonadPretty
MonadPrettyUnison.PrettyPrintEnv.MonadPretty
NameUnison.Typechecker
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
nameFromHQSplitUnison.Codebase.Path
nameFromHQSplit'Unison.Codebase.Path
nameFromSplit'Unison.Codebase.Path
Namer 
1 (Type/Class)Unison.PrettyPrintEnv.Names
2 (Data Constructor)Unison.PrettyPrintEnv.Names
namerUnison.PrettyPrintEnv.Names
NameResolutionFailuresUnison.Result
namesUnison.Builtin
namesAtPathUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
namesDiffUnison.Codebase.Branch.Names
NamespaceHashUnison.Codebase.Branch.Type, Unison.Codebase.Branch
namespaceHashUnison.Codebase.Branch.Type
namespaceStatsUnison.Codebase.Branch
namespaceUpdatesUnison.Codebase.BranchDiff
NatUnison.PatternMatchCoverage.PmLit
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
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
NormalizedConstraints 
1 (Type/Class)Unison.PatternMatchCoverage.NormalizedConstraints
2 (Data Constructor)Unison.PatternMatchCoverage.NormalizedConstraints
NotUnison.Util.Text.Pattern
NotDefaultUnison.KindInference.Constraint.TypeProvenance
NoteUnison.Result
Notes 
1 (Type/Class)Unison.Typechecker
2 (Data Constructor)Unison.Typechecker
NotFoundUnison.Codebase.MainTerm
NotFunctionApplicationUnison.Typechecker.TypeError
NoVacuumUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
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
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
packUnison.Util.Text
pairCtorRefUnison.Builtin.Decls
PairRefUnison.Builtin.Decls
pairRefUnison.Builtin.Decls
pairTypeUnison.Builtin.Decls
parseUnison.Parsers
parseFileUnison.Parsers
parseHQSplitUnison.Codebase.Path.Parse
parseHQSplit'Unison.Codebase.Path.Parse
parsePathUnison.Codebase.Path.Parse
parsePath'Unison.Codebase.Path.Parse
parseProjectPathUnison.Codebase.ProjectPath
parseShortHashOrHQSplit'Unison.Codebase.Path.Parse
parseSplitUnison.Codebase.Path.Parse
parseSplit'Unison.Codebase.Path.Parse
parseTermUnison.Parsers
parseTypeUnison.Parsers
ParsingUnison.Result
Patch 
1 (Type/Class)Unison.Codebase.Patch
2 (Data Constructor)Unison.Codebase.Patch
patch1to2Unison.Codebase.SqliteCodebase.Conversions
patch2to1Unison.Codebase.SqliteCodebase.Conversions
PatchDiff 
1 (Type/Class)Unison.Codebase.Patch
2 (Data Constructor)Unison.Codebase.Patch
patchDiffUnison.Codebase.BranchDiff
patchExistsUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
Path 
1 (Type/Class)Unison.Codebase.Path
2 (Data Constructor)Unison.Codebase.Path
path 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.Typechecker.Extractor
Path' 
1 (Type/Class)Unison.Codebase.Path
2 (Data Constructor)Unison.Codebase.Path
PathElementUnison.Typechecker.Context
PathExtractorUnison.Typechecker.Extractor
pathPUnison.Codebase.Path.Parse
pathP'Unison.Codebase.Path.Parse
pathStartUnison.Typechecker.Extractor
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
popTypeUnison.KindInference.Generate.Monad
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
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
ppedForReferencesUnison.PrettyPrintEnvDecl.Sqlite
PrecedenceUnison.Syntax.Precedence
predecessorsUnison.Codebase.Causal.Type, Unison.Codebase.Causal
Prefix 
1 (Type/Class)Unison.PrettyPrintEnv.FQN
2 (Data Constructor)Unison.Syntax.Precedence
prefixUnison.Codebase.Path
prefixAbsUnison.Codebase.Path
prefixNameIfRelUnison.Codebase.Path
prefixRelUnison.Codebase.Path
preloadProjectBranchUnison.Codebase
prepareRewriteUnison.UnisonFile
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
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
prettyKindErrorUnison.KindInference.Error.Pretty
prettyLabeledDependencyUnison.Syntax.NamePrinter
prettyListPatUnison.PatternMatchCoverage.ListPat
prettyLiteralUnison.PatternMatchCoverage.Literal
prettyNameUnison.Syntax.NamePrinter
prettyNamedReferenceUnison.Syntax.NamePrinter
prettyNamedReferentUnison.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
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
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
Project 
1 (Type/Class)Unison.Codebase.ProjectPath
2 (Data Constructor)Unison.Codebase.ProjectPath
projectUnison.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
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
putBranchUnison.Codebase.SqliteCodebase.Operations
putBufferUnison.Codebase.SqliteCodebase.Operations
putBytesUnison.Codebase.Serialization
putPatchUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
putTermUnison.Codebase.SqliteCodebase.Operations
putTermComponentUnison.Codebase.SqliteCodebase.Operations
putTerm_Unison.Codebase.SqliteCodebase.Operations
putTypeDeclarationUnison.Codebase.SqliteCodebase.Operations
putTypeDeclarationComponentUnison.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
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
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
regenerateNameLookupUnison.Codebase.SqliteCodebase.Operations
RegularMergeUnison.Codebase.Branch.Merge
Relative 
1 (Type/Class)Unison.Codebase.Path
2 (Data Constructor)Unison.Codebase.Path
relativeEmptyUnison.Codebase.Path
relativeEmpty'Unison.Codebase.Path
RelativePath'Unison.Codebase.Path
relaxUnison.Typechecker.Context
relPath_Unison.Codebase.Path
relToTextUnison.Codebase.Path
RemoteUnison.Codebase.Type
removeBufferUnison.Codebase.SqliteCodebase.Operations
removedTermEditsUnison.Codebase.Patch
removedTypeEditsUnison.Codebase.Patch
renderCompilerBugUnison.PrintError
renderDefnsForUnisonFileUnison.Syntax.FilePrinter
renderNoteAsANSIUnison.PrintError
renderParseErrorAsANSIUnison.PrintError
renderParseErrorsUnison.PrintError
Replace 
1 (Data Constructor)Unison.Codebase.TermEdit
2 (Data Constructor)Unison.Codebase.TypeEdit
replaceFactsUnison.Util.Star2
ReplacementUnison.Typechecker.Context
ReplacementRefUnison.Typechecker.Context
ReplacementVarUnison.Typechecker.Context
replacePatchUnison.Codebase.Branch
ReplicateUnison.Util.Text.Pattern
replicateUnison.Util.Text
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
ResolvedNameNotFoundUnison.Result
resolveProjectPathIdsUnison.Codebase
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
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.KindInference.Solve.Monad
3 (Function)Unison.Util.Text.Pattern
runGenUnison.KindInference.Solve.Monad
runIntegrityChecksUnison.Codebase.SqliteCodebase.Migrations
runPrettyUnison.PrettyPrintEnv.MonadPretty, Unison.Syntax.TypePrinter, Unison.Syntax.TermPrinter
runResultTUnison.Result
Runtime 
1 (Type/Class)Unison.Codebase.Runtime
2 (Data Constructor)Unison.Codebase.Runtime
runtimeFailureRefUnison.Builtin.Decls
runTransactionUnison.Codebase
runTransactionWithRollbackUnison.Codebase
SameUnison.Codebase.TermEdit
sch1to2Unison.Codebase.SqliteCodebase.Conversions
SchemeUnison.Share.Types
ScopeUnison.Util.Logger
scopeUnison.Util.Logger
scope'Unison.Util.Logger
scopedTypeUnison.KindInference.Generate.Monad
ScopeReferenceUnison.KindInference.Constraint.Context
seekModeRefUnison.Builtin.Decls
seekModeTypeUnison.Builtin.Decls
SeparatorUnison.Util.Text.Pattern
SequenceTypeUnison.PatternMatchCoverage.Class
seqViewElemUnison.Builtin.Decls
seqViewEmptyUnison.Builtin.Decls
seqViewRefUnison.Builtin.Decls
setChildBranchUnison.Codebase.Branch
setCurrentProjectPathUnison.Codebase
setFromListUnison.Util.EnumContainers
setSingletonUnison.Util.EnumContainers
setSizeUnison.Util.EnumContainers
setToListUnison.Util.EnumContainers
ShareCodeserverUnison.Codebase.Editor.RemoteRepo
ShareUserHandle 
1 (Type/Class)Unison.Codebase.Editor.RemoteRepo
2 (Data Constructor)Unison.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
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
SnocUnison.PatternMatchCoverage.ListPat
snocUnison.Codebase.Path
Solve 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
SolvedUnison.Typechecker.Context
SolvedBlankUnison.Typechecker.Context
solvedBlankUnison.Typechecker.Extractor
SolveState 
1 (Type/Class)Unison.KindInference.Solve.Monad
2 (Data Constructor)Unison.KindInference.Solve.Monad
someUnison.Typechecker.Extractor
someIdUnison.Builtin.Decls
SpecifiedUnison.Codebase.Init
SpecifiedCodebaseUnison.Codebase.Init
SplitUnison.Codebase.Path
Split'Unison.Codebase.Path
splitFromNameUnison.Codebase.Path
splitFromName'Unison.Codebase.Path
splitPUnison.Codebase.Path.Parse
splitP'Unison.Codebase.Path.Parse
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
4 (Type/Class)Unison.Codebase.Branch.BranchDiff
Star2 
1 (Type/Class)Unison.Util.Star2
2 (Data Constructor)Unison.Util.Star2
StatementUnison.Syntax.Precedence
stdHandleRefUnison.Builtin.Decls
stdHandleTypeUnison.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
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
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
SymbolUnison.Util.Text.Pattern
symbol1to2Unison.Codebase.SqliteCodebase.Conversions
symbol2to1Unison.Codebase.SqliteCodebase.Conversions
syncCausalHashUnison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers
SyntaxTextUnison.Syntax.NamePrinter
synthesizeUnison.Typechecker
synthesizeAndResolveUnison.Typechecker
synthesizeClosedUnison.Typechecker.Context
synthesizeFileUnison.FileParsers
TUnison.PatternMatchCoverage.Literal
takeUnison.Util.Text
takeWhileUnison.Util.TQueue
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
termDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TermEditUnison.Codebase.TermEdit
termEditsUnison.Codebase.Patch
termExistsUnison.Codebase.SqliteCodebase.Operations
termNameUnison.PrettyPrintEnv
termNameOrHashOnlyUnison.PrettyPrintEnv
termNameOrHashOnlyFqUnison.PrettyPrintEnv
termNamespaceBindingsUnison.UnisonFile
termReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
termRefTypeReferencesUnison.Builtin
termRefTypesUnison.Builtin
terms 
1 (Function)Unison.PrettyPrintEnv
2 (Function)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
termSignatureExternalLabeledDependenciesUnison.UnisonFile
termsMentioningTypeUnison.Codebase
termsMentioningTypeImplUnison.Codebase.SqliteCodebase.Operations
termsOfTypeUnison.Codebase
termsOfTypeImplUnison.Codebase.SqliteCodebase.Operations
testResultListRefUnison.Builtin.Decls
testResultListTypeUnison.Builtin.Decls
testResultRefUnison.Builtin.Decls
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
tlsFailureRefUnison.Builtin.Decls
tlsPrivateKeyRefUnison.Builtin.Decls
tlsSignedCertRefUnison.Builtin.Decls
tlsSignedCertTypeUnison.Builtin.Decls
to'Unison.Codebase.SqliteCodebase.Branch.Dependencies
toAbsoluteSplitUnison.Codebase.Path
toClassesUnison.PatternMatchCoverage.UFMap
todoHashLengthUnison.PrettyPrintEnv
toEitherUnison.Result
toHandleUnison.Util.Logger
toHashUnison.Codebase.ShortCausalHash
toIdsUnison.Codebase.ProjectPath
toLazyTextUnison.Util.Text
toListUnison.Codebase.Path
toList0Unison.Codebase.Branch
toLowercaseUnison.Util.Text
toMaybe 
1 (Function)Unison.Result
2 (Function)Unison.Codebase.Editor.DisplayObject
toNameUnison.Codebase.Path
toName'Unison.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
topLevelComponentsUnison.UnisonFile
toPrettyPrintEnvDeclUnison.Codebase.Branch.Names
toProjectAndBranchUnison.Codebase.ProjectPath
toReference 
1 (Function)Unison.Codebase.TermEdit
2 (Function)Unison.Codebase.TypeEdit
toRootUnison.Codebase.ProjectPath
toSplit'Unison.Codebase.Path
toStandardErrorUnison.Util.Logger
toStandardOutUnison.Util.Logger
toString 
1 (Function)Unison.Codebase.ShortCausalHash
2 (Function)Unison.Util.Text
toText 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.ProjectPath
3 (Function)Unison.Util.Text
toText'Unison.Codebase.Path
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
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
tryReadPromiseUnison.Util.RefPromise
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
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
typeDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TypeEditUnison.Codebase.TypeEdit
typeEditsUnison.Codebase.Patch
TypeError 
1 (Data Constructor)Unison.Typechecker.Context
2 (Type/Class)Unison.Typechecker.TypeError
3 (Data Constructor)Unison.Result
typeErrorFromNoteUnison.Typechecker.TypeError
typeErrorsUnison.Typechecker.Context
TypeInfo 
1 (Type/Class)Unison.Typechecker.TypeError
2 (Data Constructor)Unison.Result
typeInfoFromNoteUnison.Typechecker.TypeError
TypeLookup 
1 (Type/Class)Unison.Typechecker.TypeLookup
2 (Data Constructor)Unison.Typechecker.TypeLookup
typeLookupUnison.Builtin
typeLookupForDependenciesUnison.Codebase
TypeMismatchUnison.Typechecker.Context
typeMismatchUnison.Typechecker.Extractor
typeNameUnison.PrettyPrintEnv
typeNameOrHashOnlyUnison.PrettyPrintEnv
typeNameOrHashOnlyFqUnison.PrettyPrintEnv
typeNamespaceBindingsUnison.UnisonFile
TypeNoteUnison.Typechecker.TypeError
typeOfUnison.Builtin
typeOfDataConstructorUnison.Typechecker.TypeLookup
typeOfEffectConstructorUnison.Typechecker.TypeLookup
typeOfReferentUnison.Typechecker.TypeLookup
typeOfTermUnison.Typechecker.TypeLookup
typeOfTerm'Unison.Typechecker.TypeLookup
typeProvUnison.KindInference.Constraint.Unsolved
TypeProvenanceUnison.KindInference.Constraint.TypeProvenance
typeReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
types 
1 (Function)Unison.PrettyPrintEnv
2 (Function)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
TypingUnison.Codebase.TermEdit
typingUnison.Codebase.TermEdit.Typing
UFMapUnison.PatternMatchCoverage.UFMap
UFValueUnison.PatternMatchCoverage.UFMap
UnannotatedReferenceUnison.Typechecker.Context
uncons 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.Causal
3 (Function)Unison.Codebase.Branch
4 (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
unguardedCycleUnison.Typechecker.TypeError
UnguardedLetRecCycle 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
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
UnknownTypeUnison.Typechecker.TypeError
unknownTypeUnison.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
unsnoc 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Util.Text
unsnocChunkUnison.Util.Text
unsplitUnison.Codebase.Path
unsplit'Unison.Codebase.Path
unsplitAbsoluteUnison.Codebase.Path
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
updateTermUnison.Codebase.Patch
updateTypeUnison.Codebase.Patch
UpperUnison.Util.Text.Pattern
UserObjectUnison.Codebase.Editor.DisplayObject
UVar 
1 (Type/Class)Unison.KindInference.UVar
2 (Data Constructor)Unison.KindInference.UVar
VacuumUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
VacuumStrategyUnison.Codebase.Init, Unison.Codebase.SqliteCodebase
ValueUnison.Codebase.Metadata
valueTypeUnison.Syntax.TypeParser
valueTypeLeafUnison.Syntax.TypeParser
VarUnison.Typechecker.Context
VarConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
VarInfo 
1 (Type/Class)Unison.PatternMatchCoverage.NormalizedConstraints
2 (Data Constructor)Unison.PatternMatchCoverage.NormalizedConstraints
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
warnUnison.Util.Logger
warn'Unison.Util.Logger
warnLevelUnison.Util.Logger
watchesUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
watchesOfKindUnison.UnisonFile
watchKind1to2Unison.Codebase.SqliteCodebase.Conversions
watchKind2to1Unison.Codebase.SqliteCodebase.Conversions
WatchResultsUnison.Codebase.Runtime
wellTypedUnison.Typechecker
WhitespaceUnison.Util.Text.Pattern
willCaptureUnison.PrettyPrintEnv.MonadPretty
withNewUcmCodebaseOrExitUnison.Codebase.Init
withOpenOrCreateCodebaseUnison.Codebase.Init
withoutKeysUnison.Util.EnumContainers
withoutLibUnison.Codebase.Branch
withoutTransitiveLibsUnison.Codebase.Branch
withPPEUnison.PrettyPrintEnv.MonadPretty
withTemporaryUcmCodebaseUnison.Codebase.Init
writePromiseUnison.Util.RefPromise
WrongNameUnison.Typechecker.Context
WrongTypeUnison.Typechecker.Context
_anyUnison.Typechecker.Extractor
_any'Unison.Typechecker.Extractor
_noUnison.Typechecker.Extractor