| ! | Unison.Util.EnumContainers |
| $sel:abilityCheckFailureSite:Mismatch | Unison.Typechecker.TypeError |
| $sel:absPath:ProjectPath | Unison.Codebase.ProjectPath |
| $sel:addedTerms:BranchDiff | Unison.Codebase.Branch.BranchDiff |
| $sel:addedTypes:BranchDiff | Unison.Codebase.Branch.BranchDiff |
| $sel:adds:Diff | U.Codebase.Branch.Diff |
| $sel:ambient:Mismatch | Unison.Typechecker.TypeError |
| $sel:ambientAbilities:Env | Unison.Typechecker |
| $sel:annotation:SynDataDecl | Unison.Syntax.DeclParser |
| $sel:annotation:SynEffectDecl | Unison.Syntax.DeclParser |
| $sel:arg:Mismatch | Unison.Typechecker.TypeError |
| $sel:argNum:Mismatch | Unison.Typechecker.TypeError |
| $sel:asUnconflicted:Branch0 | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| $sel:beComponent:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| $sel:beComponentTargetSize:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| $sel:beMissingDependencies:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| $sel:beWaitingDependents:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| $sel:boundTerms:Env | Unison.PrettyPrintEnv.MonadPretty |
| $sel:boundTypes:Env | Unison.PrettyPrintEnv.MonadPretty |
| $sel:branch:ProjectPath | Unison.Codebase.ProjectPath |
| $sel:branches:Dependencies | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| $sel:branchId:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:bugs:Notes | Unison.Typechecker |
| $sel:cause:ErrorNote | Unison.Typechecker.Context |
| $sel:codebasePath:Init | |
| 1 (Function) | Unison.Codebase.Init.Type |
| 2 (Function) | Unison.Codebase.Init |
| $sel:codeserverId:CodeserverId | Unison.Share.Types |
| $sel:codeserverPath:CodeserverURI | Unison.Share.Types |
| $sel:codeserverPort:CodeserverURI | Unison.Share.Types |
| $sel:codeserverRegName:CodeserverURI | Unison.Share.Types |
| $sel:codeserverScheme:CodeserverURI | Unison.Share.Types |
| $sel:codeserverUserInfo:CodeserverURI | Unison.Share.Types |
| $sel:compileTo:Runtime | Unison.Codebase.Runtime |
| $sel:conflictedConstraint:ConstraintConflict' | Unison.KindInference.Error, Unison.KindInference.Solve |
| $sel:conflictedVar:ConstraintConflict' | Unison.KindInference.Error, Unison.KindInference.Solve |
| $sel:constraintMap:NormalizedConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
| $sel:constraints:SolveState | Unison.KindInference.Solve.Monad |
| $sel:constructors:SynDataDecl | Unison.Syntax.DeclParser |
| $sel:constructors:SynEffectDecl | Unison.Syntax.DeclParser |
| $sel:createCodebase':Init | Unison.Codebase.Init.Type |
| $sel:currentHash:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| $sel:cycle:Mismatch | Unison.Typechecker.TypeError |
| $sel:cycleLocs:Mismatch | Unison.Typechecker.TypeError |
| $sel:d1:Star2 | Unison.Util.Star2 |
| $sel:d2:Star2 | Unison.Util.Star2 |
| $sel:dataDeclarationsId':TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:dataDeclarationsId:UnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:dataDecls:TypeLookup | Unison.Typechecker.TypeLookup |
| $sel:dataDeclsByReference:FileSummary | Unison.UnisonFile.Summary |
| $sel:dataDeclsBySymbol:FileSummary | Unison.UnisonFile.Summary |
| $sel:datasId:Env | Unison.UnisonFile.Env |
| $sel:definitions:Dependencies | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| $sel:definitions:TopLevelComponent | Unison.Typechecker.TypeError |
| $sel:defns:Mismatch | Unison.Typechecker.TypeError |
| $sel:defns:UnconflictedLocalDefnsView | Unison.UnconflictedLocalDefnsView |
| $sel:descriptorConstraint:Descriptor | Unison.KindInference.Solve.Monad |
| $sel:dirtySet:NormalizedConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
| $sel:effectDeclarationsId':TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:effectDeclarationsId:UnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:effectDecls:TypeLookup | Unison.Typechecker.TypeLookup |
| $sel:effectDeclsByReference:FileSummary | Unison.UnisonFile.Summary |
| $sel:effectDeclsBySymbol:FileSummary | Unison.UnisonFile.Summary |
| $sel:effectsId:Env | Unison.UnisonFile.Env |
| $sel:end:Pure | Unison.Typechecker.Extractor |
| $sel:errors:Notes | Unison.Typechecker |
| $sel:evaluate:Runtime | Unison.Codebase.Runtime |
| $sel:expectDeclNumConstructors:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:expectedLeaf:Mismatch | Unison.Typechecker.TypeError |
| $sel:expectedLoc:Mismatch | Unison.Typechecker.TypeError |
| $sel:expectedSite:Mismatch | Unison.Typechecker.TypeError |
| $sel:expectedType:Mismatch | Unison.Typechecker.TypeError |
| $sel:exprWatchSummary:FileSummary | Unison.UnisonFile.Summary |
| $sel:f:Mismatch | Unison.Typechecker.TypeError |
| $sel:fact:Star2 | Unison.Util.Star2 |
| $sel:fields:SynDataDecl | Unison.Syntax.DeclParser |
| $sel:fileNames:FileSummary | Unison.UnisonFile.Summary |
| $sel:filterTermsByReferenceIdHavingTypeImpl:Codebase | Unison.Codebase.Type |
| $sel:filterTermsByReferentIdHavingTypeImpl:Codebase | Unison.Codebase.Type |
| $sel:foundLeaf:Mismatch | Unison.Typechecker.TypeError |
| $sel:foundType:Mismatch | Unison.Typechecker.TypeError |
| $sel:fqn:NamedReference | Unison.Typechecker |
| $sel:fqnType:NamedReference | Unison.Typechecker |
| $sel:freeNameToFuzzyTermsByShortName:Env | Unison.Typechecker |
| $sel:freeTerms:Env | Unison.PrettyPrintEnv.MonadPretty |
| $sel:ft:Mismatch | Unison.Typechecker.TypeError |
| $sel:get:Format | Unison.Codebase.Serialization |
| $sel:get:Pure | Unison.Typechecker.Extractor |
| $sel:getBooleanMismatch:Mismatch | Unison.Typechecker.TypeError |
| $sel:getBranchDeclNameLookup:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getBranchDeclNumConstructors:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getBranchForHash:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getBranchForHashTx:Codebase | Unison.Codebase.Type |
| $sel:getBranchPartialDeclNameLookup:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getDeclType:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getExistentialMismatch:Mismatch | Unison.Typechecker.TypeError |
| $sel:getLevel:Logger | Unison.Util.Logger |
| $sel:getScope:Logger | Unison.Util.Logger |
| $sel:getTerm:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getTerm:CodeLookup | Unison.Codebase.CodeLookup |
| $sel:getTermComponentWithTypes:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getTypeDeclaration:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:getTypeDeclaration:CodeLookup | Unison.Codebase.CodeLookup |
| $sel:getTypeOfTerm:CodeLookup | Unison.Codebase.CodeLookup |
| $sel:getTypeOfTermImpl:Codebase | Unison.Codebase.Type |
| $sel:getWatch:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:hashTermsId:TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:head:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| $sel:impliedConstraint:ConstraintConflict' | Unison.KindInference.Error, Unison.KindInference.Solve |
| $sel:inferredType:Resolution | Unison.Typechecker |
| $sel:infos:Notes | Unison.Typechecker |
| $sel:insertCachedBranch:BranchCache | Unison.Codebase.SqliteCodebase.Branch.Cache |
| $sel:inst:Mismatch | Unison.Typechecker.TypeError |
| $sel:instSite:Mismatch | Unison.Typechecker.TypeError |
| $sel:ioTestTypes:Runtime | Unison.Codebase.Runtime |
| $sel:isMerge:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:isUpdate:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:isUpgrade:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:leafs:Mismatch | Unison.Typechecker.TypeError |
| $sel:lhs:Mismatch | Unison.Typechecker.TypeError |
| $sel:lookupCachedBranch:BranchCache | Unison.Codebase.SqliteCodebase.Branch.Cache |
| $sel:mainType:Runtime | Unison.Codebase.Runtime |
| $sel:mismatchSite:Mismatch | Unison.Typechecker.TypeError |
| $sel:modifier:SynDataDecl | Unison.Syntax.DeclParser |
| $sel:modifier:SynEffectDecl | Unison.Syntax.DeclParser |
| $sel:name:Project | Unison.Codebase.ProjectPath |
| $sel:name:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:name:SynDataDecl | Unison.Syntax.DeclParser |
| $sel:name:SynEffectDecl | Unison.Syntax.DeclParser |
| $sel:names:Env | Unison.UnisonFile.Env |
| $sel:names:UnconflictedLocalDefnsView | Unison.UnconflictedLocalDefnsView |
| $sel:nameTerm:Namer | Unison.PrettyPrintEnv.Names |
| $sel:nametree:UnconflictedLocalDefnsView | Unison.UnconflictedLocalDefnsView |
| $sel:nameType:Namer | Unison.PrettyPrintEnv.Names |
| $sel:newUnifVars:SolveState | Unison.KindInference.Solve.Monad |
| $sel:newVars:GenState | Unison.KindInference.Generate.Monad |
| $sel:note:Mismatch | Unison.Typechecker.TypeError |
| $sel:openCodebase:Init | Unison.Codebase.Init.Type |
| $sel:parentBranchId:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:path:ErrorNote | Unison.Typechecker.Context |
| $sel:path:ReadShareLooseCode | Unison.Codebase.Editor.RemoteRepo |
| $sel:ppe:Env | Unison.PrettyPrintEnv.MonadPretty |
| $sel:prefix:Logger | Unison.Util.Logger |
| $sel:preloadBranch:Codebase | Unison.Codebase.Type |
| $sel:prettyPrintEnv:Env | Unison.KindInference.Solve.Monad |
| $sel:profile:COpts | Unison.Codebase.Runtime |
| $sel:project:ProjectPath | Unison.Codebase.ProjectPath |
| $sel:projectId:Project | Unison.Codebase.ProjectPath |
| $sel:projectId:ProjectBranch | Unison.Codebase.ProjectPath |
| $sel:put:Format | Unison.Codebase.Serialization |
| $sel:putBranch:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:putBranchTx:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:putTerm:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:putTermComponent:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:putTypeDeclaration:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:putTypeDeclarationComponent:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:raw:Logger | Unison.Util.Logger |
| $sel:removals:Diff | U.Codebase.Branch.Diff |
| $sel:removedTerms:BranchDiff | Unison.Codebase.Branch.BranchDiff |
| $sel:removedTypes:BranchDiff | Unison.Codebase.Branch.BranchDiff |
| $sel:replacement:NamedReference | Unison.Typechecker |
| $sel:repo:ReadShareLooseCode | Unison.Codebase.Editor.RemoteRepo |
| $sel:requested:Mismatch | Unison.Typechecker.TypeError |
| $sel:resolvedLoc:Resolution | Unison.Typechecker |
| $sel:resolvedName:Resolution | Unison.Typechecker |
| $sel:rhs:Mismatch | Unison.Typechecker.TypeError |
| $sel:runSubseq:SubseqExtractor' | Unison.Typechecker.Extractor |
| $sel:server:ReadShareLooseCode | Unison.Codebase.Editor.RemoteRepo |
| $sel:shareUserHandleToText:ShareUserHandle | Unison.Codebase.Editor.RemoteRepo |
| $sel:sizeRef:CycleTable | Unison.Util.CycleTable |
| $sel:solvedVars:Mismatch | Unison.Typechecker.TypeError |
| $sel:start:Pure | Unison.Typechecker.Extractor |
| $sel:sub:Mismatch | Unison.Typechecker.TypeError |
| $sel:suffixifiedPPE:PrettyPrintEnvDecl | Unison.PrettyPrintEnvDecl |
| $sel:suggestionMatch:Suggestion | Unison.Typechecker.Context |
| $sel:suggestionName:Suggestion | Unison.Typechecker.Context |
| $sel:suggestionReplacement:Suggestion | Unison.Typechecker.Context |
| $sel:suggestions:Mismatch | Unison.Typechecker.TypeError |
| $sel:suggestions:Resolution | Unison.Typechecker |
| $sel:suggestionType:Suggestion | Unison.Typechecker.Context |
| $sel:sup:Mismatch | Unison.Typechecker.TypeError |
| $sel:table:CycleTable | Unison.Util.CycleTable |
| $sel:tail:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| $sel:tails:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| $sel:talladds:DiffSlice | Unison.Codebase.BranchDiff |
| $sel:tallnamespaceUpdates:DiffSlice | Unison.Codebase.BranchDiff |
| $sel:tallremoves:DiffSlice | Unison.Codebase.BranchDiff |
| $sel:termDiffs:DefinitionDiffs | U.Codebase.Branch.Diff |
| $sel:terminate:Runtime | Unison.Codebase.Runtime |
| $sel:termNameAdds:NameChanges | U.Codebase.Branch.Diff |
| $sel:termNameRemovals:NameChanges | U.Codebase.Branch.Diff |
| $sel:termNames:PrettyPrintEnv | Unison.PrettyPrintEnv |
| $sel:termReferentsByPrefix:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:terms:NameBasedDiff | U.Codebase.Branch.Diff |
| $sel:terms:UnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:termsByReference:FileSummary | Unison.UnisonFile.Summary |
| $sel:termsByShortname:Env | Unison.Typechecker |
| $sel:termsBySymbol:FileSummary | Unison.UnisonFile.Summary |
| $sel:termsDiff:BranchDiff | Unison.Codebase.BranchDiff |
| $sel:termSite:Mismatch | Unison.Typechecker.TypeError |
| $sel:termsMentioningTypeImpl:Codebase | Unison.Codebase.Type |
| $sel:termsOfTypeImpl:Codebase | Unison.Codebase.Type |
| $sel:testWatchSummary:FileSummary | Unison.UnisonFile.Summary |
| $sel:tlhs:Mismatch | Unison.Typechecker.TypeError |
| $sel:topLevelComponents':TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:topLevelComponents:Env | Unison.Typechecker |
| $sel:toText:ShortCausalHash | Unison.Codebase.ShortCausalHash |
| $sel:trenames:DiffSlice | Unison.Codebase.BranchDiff |
| $sel:trhs:Mismatch | Unison.Typechecker.TypeError |
| $sel:tsub:Mismatch | Unison.Typechecker.TypeError |
| $sel:tsup:Mismatch | Unison.Typechecker.TypeError |
| $sel:typeDiffs:DefinitionDiffs | U.Codebase.Branch.Diff |
| $sel:typeLookup:Env | Unison.Typechecker |
| $sel:typeMap:GenState | Unison.KindInference.Generate.Monad |
| $sel:typeMap:SolveState | Unison.KindInference.Solve.Monad |
| $sel:typeNameAdds:NameChanges | U.Codebase.Branch.Diff |
| $sel:typeNameRemovals:NameChanges | U.Codebase.Branch.Diff |
| $sel:typeNames:PrettyPrintEnv | Unison.PrettyPrintEnv |
| $sel:typeOfTerms:TypeLookup | Unison.Typechecker.TypeLookup |
| $sel:types:NameBasedDiff | U.Codebase.Branch.Diff |
| $sel:typesDiff:BranchDiff | Unison.Codebase.BranchDiff |
| $sel:typeSite:Mismatch | Unison.Typechecker.TypeError |
| $sel:tyvars:SynDataDecl | Unison.Syntax.DeclParser |
| $sel:tyvars:SynEffectDecl | Unison.Syntax.DeclParser |
| $sel:unabsolute:Absolute | Unison.Codebase.Path |
| $sel:unGen:Gen | Unison.KindInference.Generate.Monad |
| $sel:unifVars:GenState | Unison.KindInference.Generate.Monad |
| $sel:unifVars:SolveState | Unison.KindInference.Solve.Monad |
| $sel:unknownTermV:Mismatch | Unison.Typechecker.TypeError |
| $sel:unknownTypeV:Mismatch | Unison.Typechecker.TypeError |
| $sel:unrelative:Relative | Unison.Codebase.Path |
| $sel:unSolve:Solve | Unison.KindInference.Solve.Monad |
| $sel:unsuffixifiedPPE:PrettyPrintEnvDecl | Unison.PrettyPrintEnvDecl |
| $sel:unTreeDiff:TreeDiff | U.Codebase.Branch.Diff |
| $sel:uvarType:UVar | Unison.KindInference.UVar |
| $sel:v:Resolution | Unison.Typechecker |
| $sel:valueHash:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| $sel:var:Mismatch | Unison.Typechecker.TypeError |
| $sel:variances:Env | Unison.Typechecker |
| $sel:vi_con:VarInfo | Unison.PatternMatchCoverage.NormalizedConstraints |
| $sel:vi_eff:VarInfo | Unison.PatternMatchCoverage.NormalizedConstraints |
| $sel:vi_id:VarInfo | Unison.PatternMatchCoverage.NormalizedConstraints |
| $sel:vi_typ:VarInfo | Unison.PatternMatchCoverage.NormalizedConstraints |
| $sel:watchComponents:TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:watches:UnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| $sel:withConnection:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:withConnectionIO:Codebase | Unison.Codebase.Type, Unison.Codebase |
| $sel:withCreatedCodebase:Init | Unison.Codebase.Init |
| $sel:withOpenCodebase:Init | Unison.Codebase.Init |
| $sel:_childrenR:Raw | Unison.Codebase.Branch.Raw |
| $sel:_editsR:Raw | Unison.Codebase.Branch.Raw |
| $sel:_history:Branch | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| $sel:_termEdits:Patch | Unison.Codebase.Patch |
| $sel:_termsR:Raw | Unison.Codebase.Branch.Raw |
| $sel:_typeEdits:Patch | Unison.Codebase.Patch |
| $sel:_typesR:Raw | Unison.Codebase.Branch.Raw |
| $sel:_uvarSymbol:UVar | Unison.KindInference.UVar |
| AbilityCheckFailure | |
| 1 (Data Constructor) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Typechecker.TypeError |
| abilityCheckFailure | |
| 1 (Function) | Unison.Typechecker.Extractor |
| 2 (Function) | Unison.Typechecker.TypeError |
| AbilityConcreteSubset | Unison.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 |
| AbilityEqFailureFromAp | Unison.Typechecker.TypeError |
| AbilityInstantiationFailure | Unison.Typechecker.TypeError |
| abilitySubFailure | Unison.Typechecker.TypeError |
| AbilitySubtypeFailure | Unison.Typechecker.TypeError |
| AbilityType | Unison.PatternMatchCoverage.Class |
| abortMigration | Unison.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 |
| absPath_ | |
| 1 (Function) | Unison.Codebase.Path |
| 2 (Function) | Unison.Codebase.ProjectPath |
| AccessorName | Unison.Syntax.DeclPrinter |
| act | Unison.Typechecker.Variance |
| actionRestriction | Unison.Typechecker.TypeError |
| ActionRestrictionFailure | Unison.Typechecker.TypeError |
| ActualArgCount | Unison.Typechecker.Context |
| addBufferDependent | Unison.Codebase.SqliteCodebase.Operations |
| addDeclComponentTypeIndex | Unison.Codebase.SqliteCodebase.Operations |
| addDefsToCodebase | Unison.Codebase |
| addFallback | |
| 1 (Function) | Unison.PrettyPrintEnv |
| 2 (Function) | Unison.PrettyPrintEnvDecl |
| addNamesFromTypeCheckedUnisonFile | Unison.UnisonFile.Names |
| addPath | Unison.Codebase.Runtime.Profile |
| addTermName | Unison.Codebase.Branch |
| addTypeName | Unison.Codebase.Branch |
| addTypeVars | Unison.PrettyPrintEnv.MonadPretty |
| addUnconstrainedVar | Unison.KindInference.Solve.Monad |
| aggregatePruned | Unison.Codebase.Runtime.Profile |
| allErrors | Unison.Typechecker.TypeError |
| allNameChanges | U.Codebase.Branch.Diff |
| AllowRewritingHistory | Unison.Codebase.Branch |
| allTermNames | Unison.PrettyPrintEnv |
| allTerms | Unison.UnisonFile |
| allTypeDecls | Unison.UnisonFile.Summary |
| allTypeNames | Unison.PrettyPrintEnv |
| allWatches | |
| 1 (Function) | Unison.UnisonFile |
| 2 (Function) | Unison.UnisonFile.Summary |
| AlphaNum | Unison.Util.Text.Pattern |
| alter | Unison.PatternMatchCoverage.UFMap |
| alterF | Unison.PatternMatchCoverage.UFMap |
| ancestors | Unison.Codebase.Path |
| and | Unison.Typechecker.TypeError |
| AndMismatch | Unison.Typechecker.TypeError |
| Ann | Unison.Typechecker.Context |
| annihilateTermName | Unison.Codebase.Branch |
| annihilateTypeName | Unison.Codebase.Branch |
| Annotation | |
| 1 (Data Constructor) | Unison.KindInference.Constraint.Context |
| 2 (Data Constructor) | Unison.Syntax.Precedence |
| Any | |
| 1 (Data Constructor) | Unison.Typechecker.Variance |
| 2 (Data Constructor) | Unison.Util.Text.Pattern |
| AppAbs | Unison.KindInference.Constraint.Context |
| AppArg | Unison.KindInference.Constraint.Context |
| AppArrow | Unison.KindInference.Constraint.Context |
| appendCaptures | Unison.Util.Text.Pattern |
| appendUnbalanced | Unison.Util.Text |
| Application | Unison.Syntax.Precedence |
| apply | Unison.Typechecker.Context |
| applyingFunction | Unison.Typechecker.TypeError |
| applyingNonFunction | Unison.Typechecker.TypeError |
| ArgumentMismatch | Unison.KindInference.Error, Unison.KindInference.Solve |
| ArgumentMismatchArrow | Unison.KindInference.Error, Unison.KindInference.Solve |
| arithmeticFailureRef | Unison.Builtin.Decls |
| arrayFailureRef | Unison.Builtin.Decls |
| As | Unison.Typechecker.Variance |
| ascend | Unison.Codebase.Path |
| asPathExtractor | Unison.Typechecker.Extractor |
| at | |
| 1 (Function) | Unison.Util.Logger |
| 2 (Function) | Unison.Util.Text |
| atDebug | Unison.Util.Logger |
| atError | Unison.Util.Logger |
| atInfo | Unison.Util.Logger |
| atomic | Unison.Util.Logger |
| atTrace | Unison.Util.Logger |
| atWarn | Unison.Util.Logger |
| avroArray | Unison.Builtin.Decls |
| avroBoolean | Unison.Builtin.Decls |
| avroBytes | Unison.Builtin.Decls |
| avroDecimalRef | Unison.Builtin.Decls |
| avroDefaultArray | Unison.Builtin.Decls |
| avroDefaultBoolean | Unison.Builtin.Decls |
| avroDefaultBytes | Unison.Builtin.Decls |
| avroDefaultDouble | Unison.Builtin.Decls |
| avroDefaultEnum | Unison.Builtin.Decls |
| avroDefaultFixed | Unison.Builtin.Decls |
| avroDefaultFloat | Unison.Builtin.Decls |
| avroDefaultInt | Unison.Builtin.Decls |
| avroDefaultLong | Unison.Builtin.Decls |
| avroDefaultMap | Unison.Builtin.Decls |
| avroDefaultNamedType | Unison.Builtin.Decls |
| avroDefaultNull | Unison.Builtin.Decls |
| avroDefaultRecord | Unison.Builtin.Decls |
| avroDefaultRef | Unison.Builtin.Decls |
| avroDefaultString | Unison.Builtin.Decls |
| avroDefaultUnion | Unison.Builtin.Decls |
| avroDefaultValueArray | Unison.Builtin.Decls |
| avroDefaultValueBoolean | Unison.Builtin.Decls |
| avroDefaultValueBytes | Unison.Builtin.Decls |
| avroDefaultValueDouble | Unison.Builtin.Decls |
| avroDefaultValueEnum | Unison.Builtin.Decls |
| avroDefaultValueFixed | Unison.Builtin.Decls |
| avroDefaultValueFloat | Unison.Builtin.Decls |
| avroDefaultValueInt32 | Unison.Builtin.Decls |
| avroDefaultValueInt64 | Unison.Builtin.Decls |
| avroDefaultValueMap | Unison.Builtin.Decls |
| avroDefaultValueNull | Unison.Builtin.Decls |
| avroDefaultValueRecord | Unison.Builtin.Decls |
| avroDefaultValueRef | Unison.Builtin.Decls |
| avroDefaultValueString | Unison.Builtin.Decls |
| avroDefaultValueUnion | Unison.Builtin.Decls |
| avroDouble | Unison.Builtin.Decls |
| avroEnum | Unison.Builtin.Decls |
| avroEnumRef | Unison.Builtin.Decls |
| avroFieldRef | Unison.Builtin.Decls |
| avroFieldStatusAsIs | Unison.Builtin.Decls |
| avroFieldStatusDefaulted | Unison.Builtin.Decls |
| avroFieldStatusIgnored | Unison.Builtin.Decls |
| avroFieldStatusRef | Unison.Builtin.Decls |
| avroFixed | Unison.Builtin.Decls |
| avroFixedRef | Unison.Builtin.Decls |
| avroFloat | Unison.Builtin.Decls |
| avroInt | Unison.Builtin.Decls |
| avroLogicalBytesDecimal | Unison.Builtin.Decls |
| avroLogicalBytesRef | Unison.Builtin.Decls |
| avroLogicalFixedDecimal | Unison.Builtin.Decls |
| avroLogicalFixedDuration | Unison.Builtin.Decls |
| avroLogicalFixedRef | Unison.Builtin.Decls |
| avroLogicalIntDate | Unison.Builtin.Decls |
| avroLogicalIntDecimal | Unison.Builtin.Decls |
| avroLogicalIntRef | Unison.Builtin.Decls |
| avroLogicalIntTime | Unison.Builtin.Decls |
| avroLogicalLongDecimal | Unison.Builtin.Decls |
| avroLogicalLongLocalTimestampMicros | Unison.Builtin.Decls |
| avroLogicalLongLocalTimestampMillis | Unison.Builtin.Decls |
| avroLogicalLongRef | Unison.Builtin.Decls |
| avroLogicalLongTimeMicros | Unison.Builtin.Decls |
| avroLogicalLongTimestampMicros | Unison.Builtin.Decls |
| avroLogicalLongTimestampMillis | Unison.Builtin.Decls |
| avroLogicalStringRef | Unison.Builtin.Decls |
| avroLogicalStringUUID | Unison.Builtin.Decls |
| avroLong | Unison.Builtin.Decls |
| avroMap | Unison.Builtin.Decls |
| avroNull | Unison.Builtin.Decls |
| avroOrderAscending | Unison.Builtin.Decls |
| avroOrderDescending | Unison.Builtin.Decls |
| avroOrderIgnore | Unison.Builtin.Decls |
| avroOrderRef | Unison.Builtin.Decls |
| avroReadDouble | Unison.Builtin.Decls |
| avroReadDoubleFromFloat | Unison.Builtin.Decls |
| avroReadDoubleInt32 | Unison.Builtin.Decls |
| avroReadDoubleInt64 | Unison.Builtin.Decls |
| avroReadDoubleRef | Unison.Builtin.Decls |
| avroReadFieldRef | Unison.Builtin.Decls |
| avroReadFloat | Unison.Builtin.Decls |
| avroReadFloatInt32 | Unison.Builtin.Decls |
| avroReadFloatInt64 | Unison.Builtin.Decls |
| avroReadFloatRef | Unison.Builtin.Decls |
| avroReadLong | Unison.Builtin.Decls |
| avroReadLongInt32 | Unison.Builtin.Decls |
| avroReadLongRef | Unison.Builtin.Decls |
| avroReadRecordRef | Unison.Builtin.Decls |
| avroReadSchemaArray | Unison.Builtin.Decls |
| avroReadSchemaBoolean | Unison.Builtin.Decls |
| avroReadSchemaBytes | Unison.Builtin.Decls |
| avroReadSchemaDouble | Unison.Builtin.Decls |
| avroReadSchemaEnum | Unison.Builtin.Decls |
| avroReadSchemaFixed | Unison.Builtin.Decls |
| avroReadSchemaFloat | Unison.Builtin.Decls |
| avroReadSchemaFreeUnion | Unison.Builtin.Decls |
| avroReadSchemaInt | Unison.Builtin.Decls |
| avroReadSchemaLong | Unison.Builtin.Decls |
| avroReadSchemaMap | Unison.Builtin.Decls |
| avroReadSchemaNamedType | Unison.Builtin.Decls |
| avroReadSchemaNull | Unison.Builtin.Decls |
| avroReadSchemaRecord | Unison.Builtin.Decls |
| avroReadSchemaRef | Unison.Builtin.Decls |
| avroReadSchemaString | Unison.Builtin.Decls |
| avroReadSchemaUnion | Unison.Builtin.Decls |
| avroRecord | Unison.Builtin.Decls |
| avroRecordRef | Unison.Builtin.Decls |
| avroRef | Unison.Builtin.Decls |
| avroSchemaArray | Unison.Builtin.Decls |
| avroSchemaBoolean | Unison.Builtin.Decls |
| avroSchemaBytes | Unison.Builtin.Decls |
| avroSchemaDouble | Unison.Builtin.Decls |
| avroSchemaEnum | Unison.Builtin.Decls |
| avroSchemaFixed | Unison.Builtin.Decls |
| avroSchemaFloat | Unison.Builtin.Decls |
| avroSchemaInt | Unison.Builtin.Decls |
| avroSchemaLong | Unison.Builtin.Decls |
| avroSchemaMap | Unison.Builtin.Decls |
| avroSchemaNamedType | Unison.Builtin.Decls |
| avroSchemaNull | Unison.Builtin.Decls |
| avroSchemaRecord | Unison.Builtin.Decls |
| avroSchemaRef | Unison.Builtin.Decls |
| avroSchemaString | Unison.Builtin.Decls |
| avroSchemaUnion | Unison.Builtin.Decls |
| avroString | Unison.Builtin.Decls |
| avroTypeNameRef | Unison.Builtin.Decls |
| avroUnion | Unison.Builtin.Decls |
| awaitSize | Unison.Util.TQueue |
| Backup | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| backupCodebaseIfNecessary | Unison.Codebase.SqliteCodebase.Migrations |
| backupCodebasePath | Unison.Codebase.SqliteCodebase.Paths |
| BackupStrategy | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| badEffectInstantiation | Unison.Typechecker.TypeError |
| BadType | Unison.Codebase.MainTerm |
| Basement | Unison.Syntax.Precedence |
| batchUpdates | Unison.Codebase.Branch |
| batchUpdatesM | Unison.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 |
| beforeHash | Unison.Codebase.Causal |
| biasTo | |
| 1 (Function) | Unison.PrettyPrintEnv |
| 2 (Function) | Unison.PrettyPrintEnvDecl |
| binding | Unison.Syntax.TermParser |
| blockTerm | Unison.Syntax.TermParser |
| Boolean | Unison.PatternMatchCoverage.PmLit |
| BooleanMismatch | |
| 1 (Data Constructor) | Unison.Typechecker.TypeError |
| 2 (Type/Class) | Unison.Typechecker.TypeError |
| booleanMismatch0 | Unison.Typechecker.TypeError |
| BooleanType | Unison.PatternMatchCoverage.Class |
| bothEq | Unison.Util.CyclicEq |
| bothEq' | Unison.Util.CyclicEq |
| bothOrd | Unison.Util.CyclicOrd |
| bothOrd' | Unison.Util.CyclicOrd |
| Bottom | Unison.Syntax.Precedence |
| Branch | |
| 1 (Type/Class) | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| 2 (Data Constructor) | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| branch | Unison.Codebase.ProjectPath |
| Branch0 | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| branch0 | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| branch2to1 | Unison.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 |
| branchExists | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| branchHash1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| branchHash2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| branchHashLength | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| BufferEntry | |
| 1 (Type/Class) | Unison.Codebase.SqliteCodebase.Operations |
| 2 (Data Constructor) | Unison.Codebase.SqliteCodebase.Operations |
| bufferModeBlockBufferingId | Unison.Builtin.Decls |
| bufferModeLineBufferingId | Unison.Builtin.Decls |
| bufferModeNoBufferingId | Unison.Builtin.Decls |
| bufferModeRef | Unison.Builtin.Decls |
| bufferModeSizedBlockBufferingId | Unison.Builtin.Decls |
| bufferModeType | Unison.Builtin.Decls |
| Builtin | Unison.KindInference.Constraint.Context |
| BuiltinAnnotation | Unison.Codebase.BuiltinAnnotation |
| builtinAnnotation | Unison.Codebase.BuiltinAnnotation |
| builtinConstraints | Unison.KindInference.Generate |
| builtinConstructorType | Unison.Builtin |
| builtinDataDecls | |
| 1 (Function) | Unison.Builtin.Decls |
| 2 (Function) | Unison.Builtin |
| builtinEffectDecls | |
| 1 (Function) | Unison.Builtin.Decls |
| 2 (Function) | Unison.Builtin |
| builtinIOTestTypes | Unison.Codebase.MainTerm |
| builtinMain | Unison.Codebase.MainTerm |
| builtinMainWithResultType | Unison.Codebase.MainTerm |
| BuiltinObject | Unison.Codebase.Editor.DisplayObject |
| builtinTermsByType | Unison.Builtin |
| builtinTermsByTypeMention | Unison.Builtin |
| builtinTermsRef | Unison.Builtin.Terms |
| builtinTermsSrc | Unison.Builtin.Terms |
| builtinTypeDependents | Unison.Builtin |
| builtinTypeDependentsOfComponent | Unison.Builtin |
| builtinTypes | Unison.Builtin |
| Canonical | Unison.PatternMatchCoverage.UFMap |
| Capture | Unison.Util.Text.Pattern |
| CaptureAs | Unison.Util.Text.Pattern |
| Captures | Unison.Util.Text.Pattern |
| capturesToList | Unison.Util.Text.Pattern |
| CaseBody | Unison.Typechecker.TypeError |
| casIORef | Unison.Util.RefPromise |
| catchAny | Unison.Util.Exception |
| Causal | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| causalbranch1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| causalbranch2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| causalbranch2to1' | Unison.Codebase.SqliteCodebase.Conversions |
| causalHashesByPrefix | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| Cause | Unison.Typechecker.Context |
| cause | Unison.Typechecker.Extractor |
| chain | Unison.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 |
| charClassPred | Unison.Util.Text.Pattern |
| charInPred | Unison.Util.Text.Pattern |
| charNotInPred | Unison.Util.Text.Pattern |
| CharPattern | Unison.Util.Text.Pattern |
| charPatternPred | Unison.Util.Text.Pattern |
| CharRange | Unison.Util.Text.Pattern |
| CharSet | Unison.Util.Text.Pattern |
| check | Unison.Typechecker |
| checkCodebaseIsUpToDate | Unison.Codebase.SqliteCodebase.Migrations |
| checkFinished | Unison.Typechecker.Variance |
| checkMatch | Unison.PatternMatchCoverage |
| children0 | Unison.Codebase.Branch |
| children_ | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| Chunk | |
| 1 (Type/Class) | Unison.Util.Text |
| 2 (Data Constructor) | Unison.Util.Text |
| chunk | Unison.Util.Text |
| chunkToText | Unison.Util.Text |
| classify | Unison.PatternMatchCoverage.Solve |
| clearWatches | Unison.Codebase |
| Codebase | |
| 1 (Type/Class) | Unison.Codebase.Type, Unison.Codebase |
| 2 (Data Constructor) | Unison.Codebase.Type |
| codebaseExists | Unison.Codebase.FileCodebase |
| CodebaseInitOptions | Unison.Codebase.Init |
| CodebaseLockOption | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| CodebasePath | Unison.CodebasePath, Unison.Codebase.Type, Unison.Codebase |
| codebasePath | Unison.Codebase.SqliteCodebase.Paths |
| CodebaseRequiresMigration | Unison.Codebase.SqliteCodebase.Migrations |
| CodebaseUnknownSchemaVersion | Unison.Codebase.SqliteCodebase.Migrations |
| CodebaseUpToDate | Unison.Codebase.SqliteCodebase.Migrations |
| CodebaseVersionStatus | Unison.Codebase.SqliteCodebase.Migrations |
| CodeLookup | |
| 1 (Type/Class) | Unison.Codebase.CodeLookup |
| 2 (Data Constructor) | Unison.Codebase.CodeLookup |
| codeLookup | Unison.Builtin |
| codeserverBaseURL | Unison.Share.Types |
| codeserverFromURI | Unison.Share.Types |
| CodeserverId | |
| 1 (Type/Class) | Unison.Share.Types |
| 2 (Data Constructor) | Unison.Share.Types |
| codeserverIdFromCodeserverURI | Unison.Share.Types |
| codeserverIdFromURI | Unison.Share.Types |
| codeserverToURI | Unison.Share.Types |
| CodeserverURI | |
| 1 (Type/Class) | Unison.Share.Types |
| 2 (Data Constructor) | Unison.Share.Types |
| collectDeclVariance | Unison.Typechecker.Variance |
| collectVariance | Unison.Typechecker.Variance |
| combine | Unison.Typechecker.Variance |
| compile | Unison.Util.Text.Pattern |
| Compiled | Unison.Util.Text.Pattern |
| CompileOpts | Unison.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 |
| compilerBug | Unison.Result |
| complement | Unison.PatternMatchCoverage.IntervalSet |
| componentReferencesForReference | Unison.Codebase |
| CompressHistory | Unison.Codebase.Branch |
| computationType | Unison.Syntax.TypeParser |
| computeTypecheckingEnvironment | Unison.FileParsers |
| ConcatPatternWithoutConstantLength | Unison.Typechecker.Context |
| cond | Unison.Typechecker.TypeError |
| CondMismatch | Unison.Typechecker.TypeError |
| 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 |
| consBranchSnapshot | Unison.Codebase.Branch |
| consDistinct | Unison.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 |
| ConstraintContext | Unison.KindInference.Constraint.Context |
| ConstraintMap | Unison.KindInference.Solve.Monad |
| ConstraintUpdate | Unison.PatternMatchCoverage.NormalizedConstraints |
| ConstructorId | Unison.Typechecker.Context |
| constructorId | Unison.Builtin.Decls |
| constructorsForDecls | Unison.UnisonFile |
| constructorsId | Unison.UnisonFile |
| ConstructorType | Unison.PatternMatchCoverage.Class |
| constructorType | |
| 1 (Function) | Unison.Typechecker.TypeLookup |
| 2 (Function) | Unison.Builtin |
| constructorType1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| constructorType2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| Context | |
| 1 (Type/Class) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Typechecker.Context |
| ContextLookup | Unison.KindInference.Constraint.Context |
| Control | |
| 1 (Data Constructor) | Unison.Syntax.Precedence |
| 2 (Data Constructor) | Unison.Util.Text.Pattern |
| COpts | Unison.Codebase.Runtime |
| copyCodebase | Unison.Codebase.SqliteCodebase |
| CouldntCreateCodebase | Unison.Codebase.Init |
| CP | Unison.Util.Text.Pattern |
| CPattern | Unison.Util.Text.Pattern |
| cpattern | Unison.Util.Text.Pattern |
| createCodebase | Unison.Codebase.Init |
| CreateCodebaseAlreadyExists | Unison.Codebase.Init.CreateCodebaseError |
| CreateCodebaseError | Unison.Codebase.Init.CreateCodebaseError |
| CreatedCodebase | Unison.Codebase.Init |
| createSchema | Unison.Codebase.SqliteCodebase.Operations |
| CreateWhenMissing | Unison.Codebase.Init |
| cryptoFailureRef | Unison.Builtin.Decls |
| Current | Unison.Codebase.Path |
| Current' | Unison.Codebase.Path |
| CustomCodeserver | Unison.Codebase.Editor.RemoteRepo |
| CycleDetected | Unison.KindInference.Error, Unison.KindInference.Solve |
| CycleTable | |
| 1 (Type/Class) | Unison.Util.CycleTable |
| 2 (Data Constructor) | Unison.Util.CycleTable |
| CyclicEq | Unison.Util.CyclicEq |
| cyclicEq | Unison.Util.CyclicEq |
| CyclicOrd | Unison.Util.CyclicOrd |
| cyclicOrd | Unison.Util.CyclicOrd |
| Data | Unison.Typechecker.Context |
| dataDeclarations | Unison.UnisonFile |
| dataDeclarations' | Unison.UnisonFile |
| DataEffectMismatch | Unison.Typechecker.Context |
| datas | Unison.UnisonFile.Env |
| dbBranchHash | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers |
| dbPatchHash | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers |
| debug | Unison.Util.Logger |
| debug' | Unison.Util.Logger |
| debugLevel | Unison.Util.Logger |
| DebugName | Unison.Codebase.Init |
| Decision | Unison.Typechecker.Context |
| decl1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| decl2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| declarationPPE | Unison.PrettyPrintEnv.Util |
| DeclBufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| declComponentConstraints | Unison.KindInference.Generate |
| DeclDefinition | Unison.KindInference.Constraint.Context |
| declExists | Unison.Codebase.SqliteCodebase.Operations |
| declsToTypeLookup | Unison.UnisonFile |
| decltype1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| decltype2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| declTypeDependencies | Unison.DataDeclaration.Dependencies |
| declVar | Unison.PatternMatchCoverage.NormalizedConstraints |
| DecompErrs | Unison.Codebase.Runtime |
| decrement | Unison.Util.Logger |
| deepDefns | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| deepDefnsIds | Unison.Codebase.Branch |
| deepPaths | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| deepReferents | Unison.Codebase.Branch |
| deepTermReferenceIds | Unison.Codebase.Branch |
| deepTermReferences | Unison.Codebase.Branch |
| deepTerms | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| deepTypeReferenceIds | Unison.Codebase.Branch |
| deepTypeReferences | Unison.Codebase.Branch |
| deepTypes | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| Default | Unison.KindInference.Constraint.TypeProvenance |
| DefaultCodeserver | Unison.Codebase.Editor.RemoteRepo |
| defaultCompileOpts | Unison.Codebase.Runtime |
| defaultUnconstrainedVars | Unison.KindInference.Solve |
| defaultVariances | Unison.Typechecker.Variance |
| defaultWidth | Unison.PrintError |
| DefinitionDiffs | |
| 1 (Type/Class) | U.Codebase.Branch.Diff |
| 2 (Data Constructor) | U.Codebase.Branch.Diff |
| definitionLocation | Unison.UnisonFile |
| defnReferencesByPrefix | Unison.Codebase.SqliteCodebase.Operations |
| delayTerm | Unison.Builtin.Decls |
| delete | |
| 1 (Function) | Unison.PatternMatchCoverage.IntervalSet |
| 2 (Function) | Unison.Codebase.Metadata |
| deleteD1 | Unison.Util.Star2 |
| deleteD2 | Unison.Util.Star2 |
| deleteFact | Unison.Util.Star2 |
| deleteLibdep | Unison.Codebase.Branch |
| deleteLibdeps | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| deletePrimaryD1 | Unison.Util.Star2 |
| deleteTermName | Unison.Codebase.Branch |
| deleteTypeName | Unison.Codebase.Branch |
| Dependencies | |
| 1 (Type/Class) | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| 2 (Data Constructor) | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| dependencies | Unison.UnisonFile |
| dependents | Unison.Codebase |
| dependentsImpl | Unison.Codebase.SqliteCodebase.Operations |
| dependentsOfComponent | Unison.Codebase |
| dependentsOfComponentImpl | Unison.Codebase.SqliteCodebase.Operations |
| dependentsWithinBranchScope | Unison.Codebase |
| Deprecate | |
| 1 (Data Constructor) | Unison.Codebase.TermEdit |
| 2 (Data Constructor) | Unison.Codebase.TypeEdit |
| dequeue | Unison.Util.TQueue |
| dequeueN | Unison.Util.TQueue |
| descend | Unison.Codebase.Path |
| Descriptor | |
| 1 (Type/Class) | Unison.KindInference.Solve.Monad |
| 2 (Data Constructor) | Unison.KindInference.Solve.Monad |
| DestWrongSchema | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| desugarMatch | Unison.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 |
| diffBranches | U.Codebase.Branch.Diff |
| difference | |
| 1 (Function) | Unison.PatternMatchCoverage.IntervalSet |
| 2 (Function) | Unison.Util.Star2 |
| Different | Unison.Codebase.TermEdit |
| DiffSlice | |
| 1 (Type/Class) | Unison.Codebase.BranchDiff |
| 2 (Data Constructor) | Unison.Codebase.BranchDiff |
| directDependencies | Unison.Codebase |
| DisappearingBranch | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| discardHistory | Unison.Codebase.Branch |
| discardHistory0 | Unison.Codebase.Branch |
| discardTypes | Unison.UnisonFile |
| DisplayObject | Unison.Codebase.Editor.DisplayObject |
| displayShareCodeserver | Unison.Codebase.Editor.RemoteRepo |
| DistinctRanged | |
| 1 (Type/Class) | Unison.Typechecker.Extractor |
| 2 (Data Constructor) | Unison.Typechecker.Extractor |
| Doc | Unison.Builtin.Decls |
| doc2Block | Unison.Syntax.TermParser |
| DocBlob | Unison.Builtin.Decls |
| DocBlobId | Unison.Builtin.Decls |
| docBlobId | Unison.Builtin.Decls |
| DocEvaluate | Unison.Builtin.Decls |
| DocEvaluateId | Unison.Builtin.Decls |
| docEvaluateId | Unison.Builtin.Decls |
| DocJoin | Unison.Builtin.Decls |
| DocJoinId | Unison.Builtin.Decls |
| docJoinId | Unison.Builtin.Decls |
| DocLink | Unison.Builtin.Decls |
| DocLinkId | Unison.Builtin.Decls |
| docLinkId | Unison.Builtin.Decls |
| DocRef | Unison.Builtin.Decls |
| docRef | Unison.Builtin.Decls |
| DocSignature | Unison.Builtin.Decls |
| DocSignatureId | Unison.Builtin.Decls |
| docSignatureId | Unison.Builtin.Decls |
| DocSource | Unison.Builtin.Decls |
| DocSourceId | Unison.Builtin.Decls |
| docSourceId | Unison.Builtin.Decls |
| DoLock | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| DontCreateWhenMissing | Unison.Codebase.Init |
| DontLock | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| DontMigrate | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| dontSuffixify | Unison.PrettyPrintEnv.Names |
| drop | Unison.Util.Text |
| dropTextWhileMax | Unison.Util.Text |
| dropWhileMax | Unison.Util.Text |
| dtype1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| dtype2to1 | Unison.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 |
| EditHash | Unison.Codebase.Branch.Raw |
| edits_ | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| Eff | Unison.Typechecker.TypeError |
| Effect | |
| 1 (Data Constructor) | Unison.PatternMatchCoverage.EffectHandler |
| 2 (Data Constructor) | Unison.Typechecker.Context |
| EffectConstructorHadMultipleEffects | Unison.Typechecker.Context |
| EffectConstructorWrongArgCount | Unison.Typechecker.Context |
| effectConstructorWrongArgCount | Unison.Typechecker.Extractor |
| effectDeclarations | Unison.UnisonFile |
| effectDeclarations' | Unison.UnisonFile |
| Effectful | |
| 1 (Data Constructor) | Unison.PatternMatchCoverage.Constraint |
| 2 (Data Constructor) | Unison.PatternMatchCoverage.Literal |
| EffectHandler | Unison.PatternMatchCoverage.EffectHandler |
| effectId | Unison.Builtin.Decls |
| EffectInfo | Unison.PatternMatchCoverage.NormalizedConstraints |
| EffectListMismatch | Unison.KindInference.Error, Unison.KindInference.Solve |
| EffectsList | Unison.KindInference.Constraint.Context |
| EffInst | Unison.Typechecker.TypeError |
| EitherLeft' | Unison.Builtin.Decls |
| EitherLeftId | Unison.Builtin.Decls |
| eitherLeftId | Unison.Builtin.Decls |
| EitherRef | Unison.Builtin.Decls |
| eitherRef | Unison.Builtin.Decls |
| EitherRight' | Unison.Builtin.Decls |
| EitherRightId | Unison.Builtin.Decls |
| eitherRightId | Unison.Builtin.Decls |
| eitherType | Unison.Builtin.Decls |
| Element | Unison.Typechecker.Context |
| elideFQN | Unison.PrettyPrintEnv.FQN |
| Empty | Unison.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 |
| empty0 | Unison.Codebase.Branch |
| emptyAc | Unison.Syntax.TermPrinter |
| emptyCaptures | Unison.Util.Text.Pattern |
| emptyCausalHash | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| EmptyLetRec | Unison.Typechecker.Context |
| emptyNormalizedConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
| emptyProfile | Unison.Codebase.Runtime.Profile |
| EmptyResponse | Unison.Codebase.Runtime |
| emptyState | Unison.KindInference.Solve.Monad |
| emptyUnisonFile | Unison.UnisonFile |
| enqueue | Unison.Util.TQueue |
| enqueueCount | Unison.Util.TQueue |
| ensureCodebaseIsUpToDate | Unison.Codebase.SqliteCodebase.Migrations |
| EnumeratedConstructors | Unison.PatternMatchCoverage.Class |
| EnumKey | Unison.Util.EnumContainers |
| EnumMap | Unison.Util.EnumContainers |
| EnumSet | Unison.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 |
| environmentFor | Unison.UnisonFile.Names |
| Eof | Unison.Util.Text.Pattern |
| Eq | Unison.PatternMatchCoverage.Constraint |
| Error | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| error | Unison.Util.Logger |
| error' | Unison.Util.Logger |
| ErrorExtractor | Unison.Typechecker.Extractor |
| errorLevel | Unison.Util.Logger |
| ErrorNote | |
| 1 (Type/Class) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Typechecker.Context |
| errorNote | Unison.Typechecker.Extractor |
| errorTerms | Unison.Typechecker.Context |
| evaluateTerm | Unison.Codebase.Runtime |
| evaluateTerm' | Unison.Codebase.Runtime |
| evaluateWatches | Unison.Codebase.Runtime |
| Exact | |
| 1 (Data Constructor) | Unison.Typechecker.Variance |
| 2 (Data Constructor) | Unison.Typechecker.Context |
| exceptionRaiseId | Unison.Builtin.Decls |
| exceptionRef | Unison.Builtin.Decls |
| exceptionType | Unison.Builtin.Decls |
| Existential | Unison.Typechecker.TypeVar |
| ExistentialMismatch | |
| 1 (Data Constructor) | Unison.Typechecker.TypeError |
| 2 (Type/Class) | Unison.Typechecker.TypeError |
| existentialMismatch0 | Unison.Typechecker.TypeError |
| expandSolution | Unison.PatternMatchCoverage.Solve |
| expectBranchForHash | Unison.Codebase |
| expectBranchForHashTx | Unison.Codebase |
| expectBuiltinConstructorType | Unison.Builtin |
| expectCanon | Unison.PatternMatchCoverage.NormalizedConstraints |
| expectCausalBranchByCausalHash | Unison.Codebase |
| expectCurrentProjectPath | Unison.Codebase |
| expectDeclComponent | Unison.Codebase.SqliteCodebase.Operations |
| expectDeclTypeById | Unison.Codebase.SqliteCodebase.Operations |
| ExpectedArgCount | Unison.Typechecker.Context |
| expectProjectBranchRoot | Unison.Codebase |
| expectProjectBranchRootCausal | Unison.Codebase |
| expectShallowProjectBranchRoot | Unison.Codebase |
| expectTypeOfConstructor | Unison.Codebase |
| expectTypeOfReferent | Unison.Codebase |
| expectTypeOfTerm | Unison.Codebase |
| externalTypeDependencies | Unison.UnisonFile |
| extract | Unison.Typechecker.Extractor |
| Extractor | Unison.Typechecker.Extractor |
| extractor | Unison.Typechecker.Extractor |
| extractSingleton | Unison.PatternMatchCoverage.IntervalSet |
| F | Unison.PatternMatchCoverage.Literal |
| failConstructorId | Unison.Builtin.Decls |
| failConstructorReferent | Unison.Builtin.Decls |
| failureRef | Unison.Builtin.Decls |
| failureType | Unison.Builtin.Decls |
| file | Unison.Syntax.FileParser |
| fileDefLocations | Unison.UnisonFile.Summary |
| fileModeAppendId | Unison.Builtin.Decls |
| fileModeReadId | Unison.Builtin.Decls |
| fileModeReadWriteId | Unison.Builtin.Decls |
| fileModeRef | Unison.Builtin.Decls |
| fileModeType | Unison.Builtin.Decls |
| fileModeWriteId | Unison.Builtin.Decls |
| filePathRef | Unison.Builtin.Decls |
| filePathType | Unison.Builtin.Decls |
| FileSummary | |
| 1 (Type/Class) | Unison.UnisonFile.Summary |
| 2 (Data Constructor) | Unison.UnisonFile.Summary |
| filterReferencesHavingTypeImpl | Unison.Codebase.SqliteCodebase.Operations |
| filterReferentsHavingTypeImpl | Unison.Codebase.SqliteCodebase.Operations |
| filterTermsByReferenceIdHavingType | Unison.Codebase |
| filterTermsByReferentHavingType | Unison.Codebase |
| find | Unison.KindInference.Solve.Monad |
| findMin | Unison.Util.EnumContainers |
| fitsScheme | |
| 1 (Function) | Unison.Typechecker.Context |
| 2 (Function) | Unison.Typechecker |
| Float | Unison.PatternMatchCoverage.PmLit |
| flush | Unison.Util.TQueue |
| fmt | Unison.Syntax.NamePrinter |
| foldedProfile | Unison.Codebase.Runtime.Profile |
| foldlWithKey | Unison.Util.EnumContainers |
| foldMapWithKey | Unison.Util.EnumContainers |
| foldr | Unison.PatternMatchCoverage.IntervalSet |
| foldrSet | Unison.Util.EnumContainers |
| ForcePush | Unison.Codebase.PushBehavior |
| forceTerm | Unison.Builtin.Decls |
| Fork | Unison.PatternMatchCoverage.GrdTree |
| ForkF | Unison.PatternMatchCoverage.GrdTree |
| Format | |
| 1 (Type/Class) | Unison.Codebase.Serialization |
| 2 (Data Constructor) | Unison.Codebase.Serialization |
| FoundV1Codebase | Unison.Codebase.Init |
| FreeVarsInTypeAnnotation | Unison.Typechecker.Context |
| fresh | Unison.PatternMatchCoverage.Class |
| freshDecl | Unison.Typechecker.Variance |
| freshenGroup | Unison.Typechecker.Variance |
| freshVar | Unison.KindInference.Generate.Monad |
| fromDefns | Unison.UnconflictedLocalDefnsView |
| fromFullHash | Unison.Codebase.ShortCausalHash |
| fromHash | Unison.Codebase.ShortCausalHash |
| fromLazyText | Unison.Util.Text |
| fromList | |
| 1 (Function) | Unison.Codebase.Path |
| 2 (Function) | Unison.PatternMatchCoverage.IntervalSet |
| fromName | Unison.Codebase.Path |
| fromName' | Unison.Codebase.Path |
| fromNames | Unison.Codebase.BranchUtil |
| fromNametree | Unison.Codebase.Branch |
| fromParsing | Unison.Result |
| fromPath' | Unison.Codebase.Path |
| fromProjectAndBranch | Unison.Codebase.ProjectPath |
| fromText | |
| 1 (Function) | Unison.Codebase.ShortCausalHash |
| 2 (Function) | Unison.Util.Text |
| fromTypecheckedUnisonFile | Unison.Codebase.CodeLookup.Util |
| fromTypeLookup | Unison.Typechecker.Variance |
| fromUnconflictedDefns | Unison.Codebase.Branch |
| fromUtf8 | Unison.Util.Text |
| FullProf | Unison.Codebase.Runtime.Profile |
| fullProfile | Unison.Codebase.Runtime.Profile |
| FunctionApplication | Unison.Typechecker.TypeError |
| Gen | |
| 1 (Type/Class) | Unison.KindInference.Generate.Monad |
| 2 (Data Constructor) | Unison.KindInference.Generate.Monad |
| generalizeAndUnTypeVar | Unison.Typechecker.Context |
| generalMismatch | Unison.Typechecker.TypeError |
| GeneratedConstraint | Unison.KindInference.Generate.Monad |
| generateInhabitants | Unison.PatternMatchCoverage.Solve |
| GenError | Unison.KindInference.Generate.Monad |
| GenState | |
| 1 (Type/Class) | Unison.KindInference.Generate.Monad |
| 2 (Data Constructor) | Unison.KindInference.Generate.Monad |
| Get | Unison.Codebase.Serialization |
| getAt | Unison.Codebase.Branch |
| getAt' | Unison.Codebase.Branch |
| getAt0 | Unison.Codebase.Branch |
| getBranch | Unison.Codebase.BranchUtil |
| getBranchAtProjectPath | Unison.Codebase |
| getBranchForHash | Unison.Codebase.SqliteCodebase.Operations |
| getBuffer | Unison.Codebase.SqliteCodebase.Operations |
| getCodebaseDir | Unison.CodebasePath, Unison.Codebase |
| getConstructors | Unison.PatternMatchCoverage.Class |
| getConstructorVarTypes | Unison.PatternMatchCoverage.Class |
| getDeclComponent | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| getDeclType | Unison.Codebase.SqliteCodebase.Operations |
| getDeprecatedRootReflog | Unison.Codebase |
| getFieldAndAccessorNames | Unison.Syntax.DeclPrinter |
| getFromBytes | Unison.Codebase.Serialization |
| getFromFile | Unison.Codebase.Serialization |
| getFromFile' | Unison.Codebase.Serialization |
| getGlobalReflog | Unison.Codebase |
| getMainTerm | Unison.Codebase.MainTerm |
| getMaybeShallowBranchAtPath | Unison.Codebase |
| getMaybeShallowBranchAtProjectPath | Unison.Codebase |
| getPatch | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| getPrettyPrintEnv | Unison.PatternMatchCoverage.Class |
| getProjectBranchReflog | Unison.Codebase |
| getProjectReflog | Unison.Codebase |
| getResult | Unison.Result |
| getShallowBranchAtPath | Unison.Codebase |
| getShallowBranchAtProjectPath | Unison.Codebase |
| getShallowCausalAtPath | Unison.Codebase |
| getShallowCausalAtPathFromRootHash | Unison.Codebase |
| getShallowProjectBranchRoot | Unison.Codebase |
| getShallowProjectRootByNames | Unison.Codebase |
| getTerm | |
| 1 (Function) | Unison.Codebase.SqliteCodebase.Operations |
| 2 (Function) | Unison.Codebase.BranchUtil |
| getTermComponentWithTypes | Unison.Codebase.SqliteCodebase.Operations |
| getType | Unison.Codebase.BranchUtil |
| getTypeDeclaration | Unison.Codebase.SqliteCodebase.Operations |
| getTypeOfReferent | Unison.Codebase |
| getTypeOfTerm | Unison.Codebase |
| getTypeOfTermImpl | Unison.Codebase.SqliteCodebase.Operations |
| getWatch | Unison.Codebase.SqliteCodebase.Operations |
| Grd | Unison.PatternMatchCoverage.GrdTree |
| GrdF | Unison.PatternMatchCoverage.GrdTree |
| GrdTree | Unison.PatternMatchCoverage.GrdTree |
| GrdTreeF | Unison.PatternMatchCoverage.GrdTree |
| GuardMismatch | Unison.Typechecker.TypeError |
| HandlerOfUnexpectedType | Unison.Typechecker.Context |
| hasDefnsInLib | Unison.Codebase.Branch |
| hash64AddText | Unison.Util.Text |
| hashBranch0 | Unison.Hashing.V2.Convert |
| hashCausal | Unison.Hashing.V2.Convert |
| hashClosedTerm | Unison.Hashing.V2.Convert |
| hashConstructors | Unison.UnisonFile |
| hashDataDecls | Unison.Hashing.V2.Convert |
| hashDecls | Unison.Hashing.V2.Convert |
| hashFieldAccessors | Unison.DataDeclaration.Dependencies |
| hashLength | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| hashPatch | Unison.Hashing.V2.Convert |
| hashTermComponents | Unison.Hashing.V2.Convert |
| hashTermComponentsWithoutTypes | Unison.Hashing.V2.Convert |
| hashTerms | Unison.UnisonFile |
| hasKey | Unison.Util.EnumContainers |
| head | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| headHash | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| head_ | |
| 1 (Function) | Unison.Codebase.Causal |
| 2 (Function) | Unison.Codebase.Branch |
| Highest | Unison.Syntax.Precedence |
| history_ | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| hoist | Unison.Result |
| hoistTreeDiff | U.Codebase.Branch.Diff |
| Home | Unison.Codebase.Init |
| hqNamer | Unison.PrettyPrintEnv.Names |
| Http | Unison.Share.Types |
| Https | Unison.Share.Types |
| IfBody | Unison.Typechecker.TypeError |
| ifBody | Unison.Typechecker.TypeError |
| Ignore | Unison.PatternMatchCoverage.NormalizedConstraints |
| IllegalContextExtension | Unison.Typechecker.Context |
| IllFormedType | Unison.Typechecker.Context |
| illFormedType | Unison.Typechecker.Extractor |
| Imports | Unison.PrettyPrintEnv.FQN |
| imports | Unison.Syntax.TermParser |
| improveError | Unison.KindInference.Error |
| InaccessiblePattern | Unison.Typechecker.Context |
| InActionRestriction | Unison.Typechecker.Context |
| inActionRestriction | Unison.Typechecker.Extractor |
| InAndApp | Unison.Typechecker.Context |
| inAndApp | Unison.Typechecker.Extractor |
| InCheck | Unison.Typechecker.Context |
| inCheck | Unison.Typechecker.Extractor |
| increment | |
| 1 (Function) | Unison.Syntax.Precedence |
| 2 (Function) | Unison.Util.Logger |
| indexByReference | Unison.UnisonFile |
| indexOf | Unison.Util.Text |
| Indirection | Unison.PatternMatchCoverage.UFMap |
| InEquate | Unison.Typechecker.Context |
| inEquate | Unison.Typechecker.Extractor |
| inferDeclGroupVariance | Unison.Typechecker.Variance |
| inferDecls | Unison.KindInference |
| inferDeclVariances | Unison.Typechecker.Variance |
| inferDependencyMounts | U.Codebase.Projects |
| infixLevels | Unison.Syntax.Precedence |
| InfixOp | Unison.Syntax.Precedence |
| InfixPrecedence | Unison.Syntax.Precedence |
| infixRules | Unison.Syntax.Precedence |
| info | Unison.Util.Logger |
| info' | Unison.Util.Logger |
| InfoExtractor | Unison.Typechecker.Extractor |
| infoLevel | Unison.Util.Logger |
| InfoNote | Unison.Typechecker.Context |
| infoNote | Unison.Typechecker.Extractor |
| infoNotes | Unison.Typechecker.Context |
| InFunctionCall | Unison.Typechecker.Context |
| inFunctionCall | Unison.Typechecker.Extractor |
| InIfBody | Unison.Typechecker.Context |
| inIfBody | Unison.Typechecker.Extractor |
| InIfCond | Unison.Typechecker.Context |
| inIfCond | Unison.Typechecker.Extractor |
| InInstantiateL | Unison.Typechecker.Context |
| InInstantiateR | Unison.Typechecker.Context |
| Init | |
| 1 (Type/Class) | Unison.Codebase.Init.Type |
| 2 (Data Constructor) | Unison.Codebase.Init.Type |
| 3 (Type/Class) | Unison.Codebase.Init |
| 4 (Data Constructor) | Unison.Codebase.Init |
| init | Unison.Codebase.SqliteCodebase |
| initCodebaseAndExit | Unison.Codebase.Init |
| InitError | Unison.Codebase.Init |
| InitErrorOpen | Unison.Codebase.Init |
| initialState | Unison.KindInference.Solve |
| InitResult | Unison.Codebase.Init |
| initWithSetup | Unison.Codebase.SqliteCodebase |
| InMatch | Unison.Typechecker.Context |
| inMatch | Unison.Typechecker.Extractor |
| InMatchBody | Unison.Typechecker.Context |
| inMatchBody | Unison.Typechecker.Extractor |
| InMatchGuard | Unison.Typechecker.Context |
| inMatchGuard | Unison.Typechecker.Extractor |
| innermostErrorTerm | Unison.Typechecker.Context |
| innermostTerm | Unison.Typechecker.Extractor |
| InOrApp | Unison.Typechecker.Context |
| inOrApp | Unison.Typechecker.Extractor |
| insert | |
| 1 (Function) | Unison.PatternMatchCoverage.IntervalSet |
| 2 (Function) | Unison.PatternMatchCoverage.UFMap |
| 3 (Function) | Unison.Util.CycleTable |
| 4 (Function) | Unison.Codebase.Metadata |
| insertD1 | Unison.Util.Star2 |
| insertD2 | Unison.Util.Star2 |
| insertEnd | Unison.Util.CycleTable |
| insertProjectAndBranch | Unison.Codebase.SqliteCodebase.Operations |
| installUcmDependencies | Unison.Codebase |
| instantiation | Unison.Typechecker.TypeError |
| InSubAbilities | Unison.Typechecker.Context |
| InSubtype | Unison.Typechecker.Context |
| inSubtype | Unison.Typechecker.Extractor |
| inSubtypes | Unison.Typechecker.TypeError |
| InSynthesize | Unison.Typechecker.Context |
| inSynthesize | Unison.Typechecker.Extractor |
| InSynthesizeApp | Unison.Typechecker.Context |
| inSynthesizeApp | Unison.Typechecker.Extractor |
| Int | Unison.PatternMatchCoverage.PmLit |
| integrityCheckAllBranches | Unison.Codebase.IntegrityCheck |
| integrityCheckAllCausals | Unison.Codebase.IntegrityCheck |
| integrityCheckFullCodebase | Unison.Codebase.IntegrityCheck |
| IntegrityErrorDetected | Unison.Codebase.IntegrityCheck |
| IntegrityResult | Unison.Codebase.IntegrityCheck |
| Intersect | Unison.Util.Text.Pattern |
| intersectIntervals | Unison.PatternMatchCoverage.IntervalSet |
| intersection | Unison.PatternMatchCoverage.IntervalSet |
| intersectionWith | Unison.Util.EnumContainers |
| IntervalSet | Unison.PatternMatchCoverage.IntervalSet |
| interverse | Unison.Util.EnumContainers |
| intrinsicTermReferences | Unison.Builtin |
| intrinsicTypeReferences | Unison.Builtin |
| intToKey | Unison.Util.EnumContainers |
| Inv | Unison.Typechecker.Variance |
| inv | Unison.Typechecker.Variance |
| inVector | Unison.Typechecker.Extractor |
| InVectorApp | Unison.Typechecker.Context |
| ioErrorRef | Unison.Builtin.Decls |
| ioErrorType | Unison.Builtin.Decls |
| ioFailureRef | Unison.Builtin.Decls |
| IsAbility | |
| 1 (Data Constructor) | Unison.KindInference.Constraint.Unsolved |
| 2 (Data Constructor) | Unison.KindInference.Constraint.Solved |
| isAbsolute | Unison.Codebase.Path |
| IsArr | |
| 1 (Data Constructor) | Unison.KindInference.Constraint.Unsolved |
| 2 (Data Constructor) | Unison.KindInference.Constraint.Solved |
| isBuiltinType | Unison.Builtin |
| IsCacheHit | Unison.Codebase.Runtime |
| IsEffectful | Unison.PatternMatchCoverage.NormalizedConstraints |
| isEmpty | |
| 1 (Function) | Unison.Util.Star2 |
| 2 (Function) | Unison.Codebase.Branch |
| isEmpty0 | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| isEqual | |
| 1 (Function) | Unison.Typechecker.Context |
| 2 (Function) | Unison.Typechecker |
| isExact | Unison.Typechecker.Context |
| isFailure | Unison.Result |
| IsNotEffectful | Unison.PatternMatchCoverage.NormalizedConstraints |
| isOne | Unison.Codebase.Branch |
| isPropagatedConstructorId | Unison.Builtin.Decls |
| isPropagatedRef | Unison.Builtin.Decls |
| isPublic | Unison.Codebase.Editor.RemoteRepo |
| isRedundant | Unison.Typechecker.Context |
| isRelative | Unison.Codebase.Path |
| isRoot | Unison.Codebase.Path |
| isSame | Unison.Codebase.TermEdit |
| isSilent | Unison.Codebase.Verbosity |
| isSubtype | |
| 1 (Function) | Unison.Typechecker.Context |
| 2 (Function) | Unison.Typechecker |
| isSuccess | Unison.Result |
| isTerm | Unison.Codebase |
| isTestConstructorId | Unison.Builtin.Decls |
| isTestRef | Unison.Builtin.Decls |
| isTopLevelPrecedence | Unison.Syntax.Precedence |
| IsType | |
| 1 (Data Constructor) | Unison.KindInference.Constraint.Unsolved |
| 2 (Data Constructor) | Unison.KindInference.Constraint.Solved |
| isType | Unison.Codebase |
| isTypePreserving | Unison.Codebase.TermEdit |
| Join | Unison.Util.Text.Pattern |
| jsonArr | Unison.Builtin.Decls |
| jsonBool | Unison.Builtin.Decls |
| jsonNull | Unison.Builtin.Decls |
| jsonNum | Unison.Builtin.Decls |
| jsonObj | Unison.Builtin.Decls |
| jsonParseError | Unison.Builtin.Decls |
| jsonRef | Unison.Builtin.Decls |
| jsonText | Unison.Builtin.Decls |
| keys | |
| 1 (Function) | Unison.PatternMatchCoverage.UFMap |
| 2 (Function) | Unison.Util.EnumContainers |
| keysSet | Unison.Util.EnumContainers |
| keyToInt | Unison.Util.EnumContainers |
| kindCheckAnnotations | Unison.KindInference |
| KindError | Unison.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 |
| labeledDeclDependenciesIncludingSelf | Unison.DataDeclaration.Dependencies |
| labeledDeclDependenciesIncludingSelfAndFieldAccessors | Unison.DataDeclaration.Dependencies |
| labeledDeclTypeDependencies | Unison.DataDeclaration.Dependencies |
| labeledRefName | Unison.PrettyPrintEnv |
| labeledTypeDependencies | Unison.DataDeclaration.Dependencies |
| lam | Unison.Syntax.TermParser |
| lca | |
| 1 (Function) | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| 2 (Function) | Unison.Codebase.Branch |
| 3 (Function) | Unison.Codebase |
| Leaf | Unison.PatternMatchCoverage.GrdTree |
| LeafF | Unison.PatternMatchCoverage.GrdTree |
| leftBiased | Unison.PrettyPrintEnvDecl |
| leftBiasedMerge | Unison.UnisonFile |
| Let | Unison.PatternMatchCoverage.Literal |
| Letter | Unison.Util.Text.Pattern |
| Level | |
| 1 (Data Constructor) | Unison.Syntax.Precedence |
| 2 (Type/Class) | Unison.Util.Logger |
| libdeps_ | Unison.Codebase.Branch |
| liftGen | Unison.KindInference.Solve.Monad |
| liftTerm | Unison.Typechecker.TypeVar |
| liftType | Unison.Typechecker.TypeVar |
| LinkRef | Unison.Builtin.Decls |
| linkRef | Unison.Builtin.Decls |
| LinkTerm | Unison.Builtin.Decls |
| LinkTermId | Unison.Builtin.Decls |
| linkTermId | Unison.Builtin.Decls |
| LinkType | Unison.Builtin.Decls |
| LinkTypeId | Unison.Builtin.Decls |
| linkTypeId | Unison.Builtin.Decls |
| ListBody | Unison.Typechecker.TypeError |
| listBody | Unison.Typechecker.TypeError |
| ListPat | Unison.PatternMatchCoverage.ListPat |
| Literal | |
| 1 (Type/Class) | Unison.PatternMatchCoverage.Literal |
| 2 (Data Constructor) | Unison.Util.Text.Pattern |
| loadUniqueTypeGuid | Unison.Codebase.UniqueTypeGuidLookup |
| loc | |
| 1 (Function) | Unison.KindInference.Constraint.Provenance |
| 2 (Function) | Unison.KindInference.Constraint.Unsolved |
| 3 (Function) | Unison.KindInference.Constraint.Solved |
| Local | Unison.Codebase.Type |
| LocalOrRemote | Unison.Codebase.Type |
| lockfilePath | Unison.Codebase.SqliteCodebase.Paths |
| logAt | Unison.Util.Logger |
| logAt' | Unison.Util.Logger |
| Logger | |
| 1 (Type/Class) | Unison.Util.Logger |
| 2 (Data Constructor) | Unison.Util.Logger |
| logger | Unison.Util.Logger |
| logHandleAt | Unison.Util.Logger |
| longestPathPrefix | Unison.Codebase.Path |
| Lookahead | Unison.Util.Text.Pattern |
| lookahead | Unison.Util.Text.Pattern |
| Lookbehind1 | Unison.Util.Text.Pattern |
| lookup | |
| 1 (Function) | Unison.Util.CycleTable |
| 2 (Function) | Unison.Util.EnumContainers |
| lookupAnn | Unison.Typechecker.Context |
| lookupCanon | Unison.PatternMatchCoverage.UFMap |
| lookupD1 | Unison.Util.Star2 |
| lookupDecl | Unison.UnisonFile |
| lookupDeclRef | Unison.Builtin.Decls |
| lookupEffectRef | Unison.Builtin.Decls |
| lookupMax | Unison.PatternMatchCoverage.IntervalSet |
| lookupMin | Unison.PatternMatchCoverage.IntervalSet |
| lookupSolved | Unison.Typechecker.Context |
| lookupType | Unison.KindInference.Generate.Monad |
| lookupVariance | Unison.Typechecker.Variance |
| lookupWatchCache | Unison.Codebase |
| lookupWithDefault | Unison.Util.EnumContainers |
| Lower | Unison.Util.Text.Pattern |
| lowerTerm | Unison.Typechecker.TypeVar |
| lowerType | Unison.Typechecker.TypeVar |
| Lowest | Unison.Syntax.Precedence |
| lspLoc | Unison.KindInference.Error |
| MainTerm | Unison.Codebase.MainTerm |
| makeAddTermName | Unison.Codebase.BranchUtil |
| makeAddTypeName | Unison.Codebase.BranchUtil |
| makeAnnihilateTermName | Unison.Codebase.BranchUtil |
| makeAnnihilateTypeName | Unison.Codebase.BranchUtil |
| makeCachedTransaction | Unison.Codebase.SqliteCodebase.Operations |
| makeCodebaseDirPath | Unison.Codebase.SqliteCodebase.Paths |
| makeCodebasePath | Unison.Codebase.SqliteCodebase.Paths |
| makeDeleteTermName | Unison.Codebase.BranchUtil |
| makeDeleteTypeName | Unison.Codebase.BranchUtil |
| makeMaybeCachedTransaction | Unison.Codebase.SqliteCodebase.Operations |
| makePPE | Unison.PrettyPrintEnv.Names |
| makePPED | Unison.PrettyPrintEnvDecl |
| makeResult | Unison.Result |
| makeSetBranch | Unison.Codebase.BranchUtil |
| makeTermNames | Unison.PrettyPrintEnv.Names |
| makeTypeNames | Unison.PrettyPrintEnv.Names |
| MalformedEffectBind | Unison.Typechecker.Context |
| malformedEffectBind | Unison.Typechecker.Extractor |
| MalformedPattern | Unison.Typechecker.Context |
| Many | Unison.Util.Text.Pattern |
| map | Unison.PatternMatchCoverage.IntervalSet |
| mapBin | Unison.Builtin.Decls |
| mapD2 | Unison.Util.Star2 |
| mapDifference | Unison.Util.EnumContainers |
| mapFromList | Unison.Util.EnumContainers |
| mapFromSet | Unison.Util.EnumContainers |
| mapInsert | Unison.Util.EnumContainers |
| mapRef | Unison.Builtin.Decls |
| mapSingleton | Unison.Util.EnumContainers |
| mapTip | Unison.Builtin.Decls |
| mapToList | Unison.Util.EnumContainers |
| mapWithKey | Unison.Util.EnumContainers |
| Mark | Unison.Util.Text.Pattern |
| MarkChar | Unison.Util.Text.Pattern |
| markDirty | Unison.PatternMatchCoverage.NormalizedConstraints |
| Marker | Unison.Typechecker.Context |
| matchBody | Unison.Typechecker.TypeError |
| matchGuard | Unison.Typechecker.TypeError |
| maybePrefix | Unison.Codebase.Path |
| maybePrefixName | Unison.Codebase.Path |
| maybePrintPath | Unison.Codebase.Editor.RemoteRepo |
| member | |
| 1 (Function) | Unison.PatternMatchCoverage.IntervalSet |
| 2 (Function) | Unison.Util.EnumContainers |
| memberD1 | Unison.Util.Star2 |
| Merge | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| merge'' | Unison.Codebase.Branch.Merge |
| MergeMode | Unison.Codebase.Branch.Merge |
| mergeNode | |
| 1 (Function) | Unison.Codebase.Causal |
| 2 (Function) | Unison.Codebase.Branch |
| MigrateAfterPrompt | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| MigrateAutomatically | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| migrateSchema11To12 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema11To12 |
| migrateSchema16To17 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema16To17 |
| migrateSchema1To2 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2 |
| migrateSchema3To4 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema3To4 |
| migrateSchema5To6 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema5To6 |
| migrateSchema6To7 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema6To7 |
| migrateSchema7To8 | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema7To8 |
| migrations | Unison.Codebase.SqliteCodebase.Migrations |
| MigrationStrategy | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| minimize | Unison.Typechecker.Components |
| minimize' | Unison.Typechecker.Components |
| MiniProf | Unison.Codebase.Runtime.Profile |
| miniProfile | Unison.Codebase.Runtime.Profile |
| miscFailureRef | Unison.Builtin.Decls |
| Mismatch | Unison.Typechecker.TypeError |
| MissingBuiltin | |
| 1 (Data Constructor) | Unison.KindInference.Generate.Monad |
| 2 (Data Constructor) | Unison.KindInference.Solve.Monad |
| MissingObject | Unison.Codebase.Editor.DisplayObject |
| mkFileSummary | Unison.UnisonFile.Summary |
| modifyAt | Unison.Codebase.Branch |
| modifyAtM | Unison.Codebase.Branch |
| MonadPretty | Unison.PrettyPrintEnv.MonadPretty |
| Name | Unison.Typechecker |
| NameBasedDiff | |
| 1 (Type/Class) | U.Codebase.Branch.Diff |
| 2 (Data Constructor) | U.Codebase.Branch.Diff |
| nameBasedDiff | U.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 |
| nameFromSplit | Unison.Codebase.Path |
| Namer | |
| 1 (Type/Class) | Unison.PrettyPrintEnv.Names |
| 2 (Data Constructor) | Unison.PrettyPrintEnv.Names |
| namer | Unison.PrettyPrintEnv.Names |
| NameResolutionFailures | Unison.Result |
| names | Unison.Builtin |
| namesDiff | Unison.Codebase.Branch.Names |
| namespaceBindings | Unison.UnisonFile |
| NamespaceHash | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| namespaceHash | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| namespaceStats | Unison.Codebase.Branch |
| namespaceUpdates | Unison.Codebase.BranchDiff |
| Namey | Unison.Codebase.Path |
| Nat | Unison.PatternMatchCoverage.PmLit |
| Neg | Unison.Typechecker.Variance |
| Negative | Unison.Typechecker.Variance |
| NegativeLookahead | Unison.Util.Text.Pattern |
| NegativeLookbehind1 | Unison.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 |
| new | Unison.Util.CycleTable |
| newBranchCache | Unison.Codebase.SqliteCodebase.Branch.Cache |
| newIO | Unison.Util.TQueue |
| newPromise | Unison.Util.RefPromise |
| Nil | Unison.PatternMatchCoverage.ListPat |
| NoBackup | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| noCache | Unison.Codebase.Runtime |
| NoEffect | Unison.PatternMatchCoverage.EffectHandler |
| NoIntegrityErrors | Unison.Codebase.IntegrityCheck |
| noneId | Unison.Builtin.Decls |
| nonEmpty | Unison.UnisonFile |
| nonEmptyChildren | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| NoProf | Unison.Codebase.Runtime.Profile |
| Normal | Unison.Typechecker.TypeError |
| NormalizedConstraints | |
| 1 (Type/Class) | Unison.PatternMatchCoverage.NormalizedConstraints |
| 2 (Data Constructor) | Unison.PatternMatchCoverage.NormalizedConstraints |
| Not | Unison.Util.Text.Pattern |
| NotDefault | Unison.KindInference.Constraint.TypeProvenance |
| Note | Unison.Result |
| Notes | |
| 1 (Type/Class) | Unison.Typechecker |
| 2 (Data Constructor) | Unison.Typechecker |
| NotFound | Unison.Codebase.MainTerm |
| NotFunctionApplication | Unison.Typechecker.TypeError |
| NoVacuum | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| null | Unison.PatternMatchCoverage.IntervalSet |
| Number | Unison.Util.Text.Pattern |
| okConstructorId | Unison.Builtin.Decls |
| okConstructorReferent | Unison.Builtin.Decls |
| One | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| one | |
| 1 (Function) | Unison.Codebase.Causal |
| 2 (Function) | Unison.Codebase.Branch |
| 3 (Function) | Unison.Util.Text |
| Op | Unison.Typechecker.Variance |
| OpenCodebaseDoesntExist | Unison.Codebase.Init.OpenCodebaseError |
| OpenCodebaseError | Unison.Codebase.Init.OpenCodebaseError |
| OpenCodebaseFileLockFailed | Unison.Codebase.Init.OpenCodebaseError |
| OpenCodebaseRequiresMigration | Unison.Codebase.Init.OpenCodebaseError |
| OpenCodebaseUnknownSchemaVersion | Unison.Codebase.Init.OpenCodebaseError |
| OpenedCodebase | Unison.Codebase.Init |
| operatorPrecedence | Unison.Syntax.Precedence |
| OptionalNone' | Unison.Builtin.Decls |
| OptionalRef | Unison.Builtin.Decls |
| optionalRef | Unison.Builtin.Decls |
| OptionalSome' | Unison.Builtin.Decls |
| optionalType | Unison.Builtin.Decls |
| Or | Unison.Util.Text.Pattern |
| or | Unison.Typechecker.TypeError |
| ordinal | Unison.Util.Text |
| OrMismatch | Unison.Typechecker.TypeError |
| Other | Unison.Typechecker.TypeError |
| OtherBug | Unison.Typechecker.Context |
| OtherType | Unison.PatternMatchCoverage.Class |
| pack | Unison.Util.Text |
| pairCtorRef | Unison.Builtin.Decls |
| PairRef | Unison.Builtin.Decls |
| pairRef | Unison.Builtin.Decls |
| pairType | Unison.Builtin.Decls |
| parentOfName | Unison.Codebase.Path |
| parse | Unison.Parsers |
| parseErrorRef | Unison.Builtin.Decls |
| parseFile | Unison.Parsers |
| parseHashOrHQSplit' | Unison.Codebase.Path.Parse |
| parseHQSplit | Unison.Codebase.Path.Parse |
| parseHQSplit' | Unison.Codebase.Path.Parse |
| parsePath | Unison.Codebase.Path.Parse |
| parsePath' | Unison.Codebase.Path.Parse |
| parseProjectPath | Unison.Codebase.ProjectPath |
| parseSplit | Unison.Codebase.Path.Parse |
| parseSplit' | Unison.Codebase.Path.Parse |
| parseTerm | Unison.Parsers |
| parseType | Unison.Parsers |
| Parsing | Unison.Result |
| Patch | |
| 1 (Type/Class) | Unison.Codebase.Patch |
| 2 (Data Constructor) | Unison.Codebase.Patch |
| patch1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| patch2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| patchExists | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| Path | Unison.Codebase.Path |
| path | |
| 1 (Function) | Unison.Codebase.ProjectPath |
| 2 (Function) | Unison.Typechecker.Extractor |
| Path' | Unison.Codebase.Path |
| PathElement | Unison.Typechecker.Context |
| PathExtractor | Unison.Typechecker.Extractor |
| pathP | Unison.Codebase.Path.Parse |
| pathP' | Unison.Codebase.Path.Parse |
| pathStart | Unison.Typechecker.Extractor |
| Pathy | Unison.Codebase.Path |
| path_ | Unison.Codebase.ProjectPath |
| Pattern | Unison.Util.Text.Pattern |
| PatternArityMismatch | Unison.Typechecker.Context |
| PatternMatchCoverageCheckAndKindInferenceSwitch | Unison.Typechecker.Context, Unison.Typechecker |
| PatternMatchCoverageCheckAndKindInferenceSwitch'Disabled | Unison.Typechecker.Context, Unison.Typechecker |
| PatternMatchCoverageCheckAndKindInferenceSwitch'Enabled | Unison.Typechecker.Context, Unison.Typechecker |
| PatternMatchFailure | Unison.Typechecker.Context |
| patternName | Unison.PrettyPrintEnv |
| patterns | Unison.PrettyPrintEnv |
| peek | Unison.Util.TQueue |
| peekTicket | Unison.Util.RefPromise |
| peekWhile | Unison.Util.TQueue |
| PmBang | Unison.PatternMatchCoverage.PmGrd |
| Pmc | Unison.PatternMatchCoverage.Class |
| PmCon | Unison.PatternMatchCoverage.PmGrd |
| PmEffect | Unison.PatternMatchCoverage.PmGrd |
| PmEffectPure | Unison.PatternMatchCoverage.PmGrd |
| PmGrd | Unison.PatternMatchCoverage.PmGrd |
| PmLet | Unison.PatternMatchCoverage.PmGrd |
| PmListHead | Unison.PatternMatchCoverage.PmGrd |
| PmListInterval | Unison.PatternMatchCoverage.PmGrd |
| PmListTail | Unison.PatternMatchCoverage.PmGrd |
| PmLit | |
| 1 (Type/Class) | Unison.PatternMatchCoverage.PmLit |
| 2 (Data Constructor) | Unison.PatternMatchCoverage.PmGrd |
| Polarity | Unison.Typechecker.Variance |
| popType | Unison.KindInference.Generate.Monad |
| Pos | Unison.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 |
| Positive | Unison.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 |
| Precedence | Unison.Syntax.Precedence |
| predecessors | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
| Prefix | |
| 1 (Type/Class) | Unison.PrettyPrintEnv.FQN |
| 2 (Data Constructor) | Unison.Syntax.Precedence |
| prefix | Unison.Codebase.Path |
| prefixNameIfRel | Unison.Codebase.Path |
| preloadProjectBranch | Unison.Codebase |
| prepareRewrite | Unison.UnisonFile |
| prepopulatedIO | Unison.Util.TQueue |
| Pretty | Unison.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 |
| prettyBinding | Unison.Syntax.TermPrinter |
| prettyBinding' | Unison.Syntax.TermPrinter |
| prettyBindingWithoutTypeSignature | Unison.Syntax.TermPrinter |
| prettyBlock | Unison.Syntax.TermPrinter |
| prettyBlock' | Unison.Syntax.TermPrinter |
| prettyBufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| prettyConstraint | Unison.PatternMatchCoverage.Constraint |
| prettyConstructorReference | Unison.PatternMatchCoverage.Pretty |
| prettyCyclicUVarKind | Unison.KindInference.Constraint.Pretty |
| prettyDecl | Unison.Syntax.DeclPrinter |
| prettyDeclHeader | Unison.Syntax.DeclPrinter |
| prettyDeclOrBuiltinHeader | Unison.Syntax.DeclPrinter |
| prettyDeclW | Unison.Syntax.DeclPrinter |
| prettyDnf | Unison.PatternMatchCoverage.NormalizedConstraints |
| prettyDoc2 | Unison.Syntax.TermPrinter |
| prettyEffectHandler | Unison.PatternMatchCoverage.EffectHandler |
| prettyGrdTree | Unison.PatternMatchCoverage.GrdTree |
| prettyHashQualified | Unison.Syntax.NamePrinter |
| prettyHashQualified' | Unison.Syntax.NamePrinter |
| prettyHashQualified0 | Unison.Syntax.NamePrinter |
| prettyHashQualifiedFull | Unison.Syntax.NamePrinter |
| prettyKindError | Unison.KindInference.Error.Pretty |
| prettyLabeledDependency | Unison.Syntax.NamePrinter |
| prettyListPat | Unison.PatternMatchCoverage.ListPat |
| prettyLiteral | Unison.PatternMatchCoverage.Literal |
| prettyName | Unison.Syntax.NamePrinter |
| prettyNamedReference | Unison.Syntax.NamePrinter |
| prettyNamedReferent | Unison.Syntax.NamePrinter |
| prettyNameParens | Unison.Syntax.NamePrinter |
| prettyNormalizedConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
| prettyParseError | Unison.PrintError |
| prettyPattern | Unison.Syntax.TermPrinter |
| prettyPmGrd | Unison.PatternMatchCoverage.PmGrd |
| prettyPmLit | Unison.PatternMatchCoverage.PmLit |
| PrettyPrintEnv | |
| 1 (Type/Class) | Unison.PrettyPrintEnv |
| 2 (Data Constructor) | Unison.PrettyPrintEnv |
| PrettyPrintEnvDecl | |
| 1 (Type/Class) | Unison.PrettyPrintEnvDecl |
| 2 (Data Constructor) | Unison.PrettyPrintEnvDecl |
| prettyPrintIntegrityErrors | Unison.Codebase.IntegrityCheck |
| prettyPrintParseError | Unison.Util.Pretty.MegaParsec |
| prettyRaw | Unison.Syntax.TypePrinter |
| prettyReference | Unison.Syntax.NamePrinter |
| prettyReferent | Unison.Syntax.NamePrinter |
| prettyResolutionFailures | Unison.PrintError |
| prettyShortHash | Unison.Syntax.NamePrinter |
| prettySignaturesAlt | Unison.Syntax.TypePrinter |
| prettySignaturesAlt' | Unison.Syntax.TypePrinter |
| prettySignaturesCT | Unison.Syntax.TypePrinter |
| prettySignaturesCTCollapsed | Unison.Syntax.TypePrinter |
| prettySignaturesST | Unison.Syntax.TypePrinter |
| prettySolvedConstraint | Unison.KindInference.Constraint.Pretty |
| prettySolveError | Unison.KindInference.Constraint.Pretty |
| prettyStr | Unison.Syntax.TypePrinter |
| prettySyntax | Unison.Syntax.TypePrinter |
| prettyUVarKind | Unison.KindInference.Constraint.Pretty |
| prettyVar | |
| 1 (Function) | Unison.PatternMatchCoverage.Pretty |
| 2 (Function) | Unison.PrintError |
| Printable | Unison.Util.Text.Pattern |
| printNoteWithSource | Unison.PrintError |
| printReadRemoteNamespace | Unison.Codebase.Editor.RemoteRepo |
| printWriteRemoteNamespace | Unison.Codebase.Editor.RemoteRepo |
| Prof | Unison.Codebase.Runtime.Profile |
| Profile | |
| 1 (Type/Class) | Unison.Codebase.Runtime.Profile |
| 2 (Data Constructor) | Unison.Codebase.Runtime |
| ProfileSpec | Unison.Codebase.Runtime.Profile |
| ProfT | Unison.Codebase.Runtime.Profile |
| ProfTrie | Unison.Codebase.Runtime.Profile |
| Project | |
| 1 (Type/Class) | Unison.Codebase.ProjectPath |
| 2 (Data Constructor) | Unison.Codebase.ProjectPath |
| project | 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 |
| projectBranchRoot | Unison.Codebase.ProjectPath |
| ProjectPath | |
| 1 (Type/Class) | Unison.Codebase.ProjectPath |
| 2 (Data Constructor) | Unison.Codebase.ProjectPath |
| ProjectPathG | Unison.Codebase.ProjectPath |
| ProjectPathIds | Unison.Codebase.ProjectPath |
| ProjectPathNames | Unison.Codebase.ProjectPath |
| projectPathParser | Unison.Codebase.ProjectPath |
| Promise | Unison.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 |
| Punctuation | Unison.Util.Text.Pattern |
| Pure | Unison.Typechecker.Extractor |
| PushBehavior | Unison.Codebase.PushBehavior |
| pushCapture | Unison.Util.Text.Pattern |
| pushCaptures | Unison.Util.Text.Pattern |
| pushType | Unison.KindInference.Generate.Monad |
| Put | Unison.Codebase.Serialization |
| putBranch | Unison.Codebase.SqliteCodebase.Operations |
| putBuffer | Unison.Codebase.SqliteCodebase.Operations |
| putBytes | Unison.Codebase.Serialization |
| putPatch | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| putTerm | Unison.Codebase.SqliteCodebase.Operations |
| putTermComponent | Unison.Codebase.SqliteCodebase.Operations |
| putTerm_ | Unison.Codebase.SqliteCodebase.Operations |
| putTypeDeclaration | Unison.Codebase.SqliteCodebase.Operations |
| putTypeDeclarationComponent | Unison.Codebase.SqliteCodebase.Operations |
| putTypeDeclaration_ | Unison.Codebase.SqliteCodebase.Operations |
| putWatch | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| putWithParentDirs | Unison.Codebase.Serialization |
| raceIO | Unison.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 |
| readAndParseFile | Unison.Parsers |
| readForCAS | Unison.Util.RefPromise |
| readPromise | Unison.Util.RefPromise |
| ReadRemoteNamespace | Unison.Codebase.Editor.RemoteRepo |
| ReadShare'LooseCode | Unison.Codebase.Editor.RemoteRepo |
| ReadShare'ProjectBranch | Unison.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 |
| reference1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| reference2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| reference2toshorthash1 | Unison.Codebase.SqliteCodebase.Conversions |
| referenceid1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| referenceid2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| references | |
| 1 (Function) | Unison.Codebase.TermEdit |
| 2 (Function) | Unison.Codebase.TypeEdit |
| referent1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| referent2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| referent2to1UsingCT | Unison.Codebase.SqliteCodebase.Conversions |
| referent2toshorthash1 | Unison.Codebase.SqliteCodebase.Conversions |
| referentid1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| referentid2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| referentsByPrefix | Unison.Codebase.SqliteCodebase.Operations |
| RegularMerge | Unison.Codebase.Branch.Merge |
| Relative | |
| 1 (Type/Class) | Unison.Codebase.Path |
| 2 (Data Constructor) | Unison.Codebase.Path |
| RelativePath' | Unison.Codebase.Path |
| relax | Unison.Typechecker.Context |
| relPath_ | Unison.Codebase.Path |
| Remote | Unison.Codebase.Type |
| removeBuffer | Unison.Codebase.SqliteCodebase.Operations |
| renderCompilerBug | Unison.PrintError |
| renderDefnsForUnisonFile | Unison.Syntax.FilePrinter |
| renderNoteAsANSI | Unison.PrintError |
| renderParseErrorAsANSI | Unison.PrintError |
| renderParseErrors | Unison.PrintError |
| renderTypeWarnings | Unison.PrintError |
| RenderUniqueTypeGuids | Unison.Syntax.DeclPrinter |
| RenderUniqueTypeGuids'No | Unison.Syntax.DeclPrinter |
| RenderUniqueTypeGuids'Yes | Unison.Syntax.DeclPrinter |
| Replace | |
| 1 (Data Constructor) | Unison.Codebase.TermEdit |
| 2 (Data Constructor) | Unison.Codebase.TypeEdit |
| replaceFacts | Unison.Util.Star2 |
| Replacement | Unison.Typechecker.Context |
| ReplacementRef | Unison.Typechecker.Context |
| ReplacementVar | Unison.Typechecker.Context |
| Replicate | Unison.Util.Text.Pattern |
| replicate | Unison.Util.Text |
| RequireEmpty | Unison.Codebase.PushBehavior |
| RequireNonEmpty | Unison.Codebase.PushBehavior |
| Resolution | |
| 1 (Type/Class) | Unison.Typechecker |
| 2 (Data Constructor) | Unison.Typechecker |
| ResolutionResult | Unison.Hashing.V2.Convert |
| Resolve | Unison.Codebase.Path |
| resolve | Unison.Codebase.Path |
| ResolvedNameNotFound | Unison.Result |
| resolveProjectPathIds | Unison.Codebase |
| resolveShortHash | Unison.Codebase |
| Response | Unison.Codebase.Runtime |
| restrictKeys | Unison.Util.EnumContainers |
| Result | |
| 1 (Type/Class) | Unison.Typechecker.Context |
| 2 (Type/Class) | Unison.Result |
| 3 (Data Constructor) | Unison.Result |
| result | Unison.Result |
| ResultT | Unison.Result |
| RetractFailure | Unison.Typechecker.Context |
| reverse | Unison.Util.Text |
| rewrite | Unison.UnisonFile |
| rewriteCase | Unison.Builtin.Decls |
| RewriteCase' | Unison.Builtin.Decls |
| rewriteCaseRef | Unison.Builtin.Decls |
| rewrites | Unison.Builtin.Decls |
| Rewrites' | Unison.Builtin.Decls |
| RewriteSignature' | Unison.Builtin.Decls |
| rewritesRef | Unison.Builtin.Decls |
| rewriteTerm | Unison.Builtin.Decls |
| RewriteTerm' | Unison.Builtin.Decls |
| rewriteTermRef | Unison.Builtin.Decls |
| rewriteType | Unison.Builtin.Decls |
| rewriteTypeRef | Unison.Builtin.Decls |
| RightNameWrongType | Unison.Typechecker.Context |
| Root | Unison.Codebase.Path |
| Root' | Unison.Codebase.Path |
| rreference1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| rreference2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| rreferenceid1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| rreferenceid2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| rreferent1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| rreferent2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| run | |
| 1 (Function) | Unison.KindInference.Generate.Monad |
| 2 (Function) | Unison.Util.Text.Pattern |
| runGen | Unison.KindInference.Solve.Monad |
| runIntegrityChecks | Unison.Codebase.SqliteCodebase.Migrations |
| runPretty | Unison.PrettyPrintEnv.MonadPretty, Unison.Syntax.TypePrinter, Unison.Syntax.TermPrinter |
| runResultT | Unison.Result |
| runSolve | Unison.KindInference.Solve.Monad |
| Runtime | |
| 1 (Type/Class) | Unison.Codebase.Runtime |
| 2 (Data Constructor) | Unison.Codebase.Runtime |
| runtimeFailureRef | Unison.Builtin.Decls |
| runTransaction | Unison.Codebase |
| runTransactionExceptT | Unison.Codebase |
| runTransactionWithRollback | Unison.Codebase |
| Same | Unison.Codebase.TermEdit |
| sch1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| Scheme | Unison.Share.Types |
| Scope | Unison.Util.Logger |
| scope | Unison.Util.Logger |
| scope' | Unison.Util.Logger |
| scopedType | Unison.KindInference.Generate.Monad |
| ScopeReference | Unison.KindInference.Constraint.Context |
| seekModeAbsoluteId | Unison.Builtin.Decls |
| seekModeEndId | Unison.Builtin.Decls |
| seekModeRef | Unison.Builtin.Decls |
| seekModeRelativeId | Unison.Builtin.Decls |
| seekModeType | Unison.Builtin.Decls |
| Separator | Unison.Util.Text.Pattern |
| SequenceType | Unison.PatternMatchCoverage.Class |
| seqViewElem | Unison.Builtin.Decls |
| seqViewEmpty | Unison.Builtin.Decls |
| seqViewRef | Unison.Builtin.Decls |
| setChildBranch | Unison.Codebase.Branch |
| setCurrentProjectPath | Unison.Codebase |
| setFromList | Unison.Util.EnumContainers |
| setLibdeps | Unison.Codebase.Branch |
| setRef | Unison.Builtin.Decls |
| setSingleton | Unison.Util.EnumContainers |
| setSize | Unison.Util.EnumContainers |
| setToList | Unison.Util.EnumContainers |
| setWrap | Unison.Builtin.Decls |
| ShareCodeserver | Unison.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 |
| ShouldUseTndr | Unison.FileParsers |
| ShouldUseTndr'No | Unison.FileParsers |
| ShouldUseTndr'Yes | Unison.FileParsers |
| showErrorFancy | Unison.Util.Pretty.MegaParsec |
| showErrorItem | Unison.Util.Pretty.MegaParsec |
| Silent | Unison.Codebase.Verbosity |
| SimilarNameRightType | Unison.Typechecker.Context |
| SimilarNameWrongType | Unison.Typechecker.Context |
| simplify | Unison.Typechecker.Variance |
| singlePath | Unison.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 |
| Snoc | Unison.PatternMatchCoverage.ListPat |
| Solve | |
| 1 (Type/Class) | Unison.KindInference.Solve.Monad |
| 2 (Data Constructor) | Unison.KindInference.Solve.Monad |
| solve | Unison.Typechecker.Variance |
| Solved | Unison.Typechecker.Context |
| SolvedBlank | Unison.Typechecker.Context |
| solvedBlank | Unison.Typechecker.Extractor |
| 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 |
| some | Unison.Typechecker.Extractor |
| someId | Unison.Builtin.Decls |
| SomeProf | Unison.Codebase.Runtime.Profile |
| SomeProfile | Unison.Codebase.Runtime.Profile |
| Specified | Unison.Codebase.Init |
| SpecifiedCodebase | Unison.Codebase.Init |
| Split | Unison.Codebase.Path |
| split | Unison.Codebase.Path |
| splitFromName | Unison.Codebase.Path |
| splitP | Unison.Codebase.Path.Parse |
| splitP' | Unison.Codebase.Path.Parse |
| SquashMerge | Unison.Codebase.Branch.Merge |
| squashMerge' | Unison.Codebase.Causal |
| SrcWrongSchema | Unison.Codebase.SqliteCodebase.SyncEphemeral |
| Stack | Unison.Util.Text.Pattern |
| stackCaptures | Unison.Util.Text.Pattern |
| standardWatchKinds | Unison.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 |
| Statement | Unison.Syntax.Precedence |
| stdErrId | Unison.Builtin.Decls |
| stdHandleRef | Unison.Builtin.Decls |
| stdHandleType | Unison.Builtin.Decls |
| stdInId | Unison.Builtin.Decls |
| stdOutId | Unison.Builtin.Decls |
| step | |
| 1 (Function) | Unison.KindInference.Solve |
| 2 (Function) | Unison.Codebase.Branch |
| stepDistinct | Unison.Codebase.Causal |
| stepDistinctM | Unison.Codebase.Causal |
| stepEverywhere | Unison.Codebase.Branch |
| stepManyAt | Unison.Codebase.Branch |
| stepManyAtM | Unison.Codebase.Branch |
| stmFailureRef | Unison.Builtin.Decls |
| streamNameChanges | U.Codebase.Branch.Diff |
| styleHashQualified | Unison.Syntax.NamePrinter |
| styleHashQualified' | Unison.Syntax.NamePrinter |
| styleHashQualified'' | Unison.Syntax.NamePrinter |
| SubseqExtractor | Unison.Typechecker.Extractor |
| subseqExtractor | Unison.Typechecker.Extractor |
| SubseqExtractor' | |
| 1 (Type/Class) | Unison.Typechecker.Extractor |
| 2 (Data Constructor) | Unison.Typechecker.Extractor |
| substImports | Unison.Syntax.TermParser |
| Subtype | Unison.Codebase.TermEdit |
| Success | |
| 1 (Data Constructor) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Codebase.MainTerm |
| Suffix | Unison.PrettyPrintEnv.FQN |
| Suffixifier | Unison.PrettyPrintEnv.Names |
| suffixifyByHash | Unison.PrettyPrintEnv.Names |
| suffixifyByHashName | Unison.PrettyPrintEnv.Names |
| suffixifyByHashWithUnhashedTermsInScope | Unison.PrettyPrintEnv.Names |
| suffixifyByName | Unison.PrettyPrintEnv.Names |
| Suggestion | |
| 1 (Type/Class) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Typechecker.Context |
| SuggestionMatch | Unison.Typechecker.Context |
| Symbol | Unison.Util.Text.Pattern |
| symbol1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| symbol2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| syncCausalHash | Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers |
| SynDataDecl | |
| 1 (Type/Class) | Unison.Syntax.DeclParser |
| 2 (Data Constructor) | Unison.Syntax.DeclParser |
| SynDecl | Unison.Syntax.DeclParser |
| SynDecl'Data | Unison.Syntax.DeclParser |
| SynDecl'Effect | Unison.Syntax.DeclParser |
| synDeclConstructors | Unison.Syntax.DeclParser |
| synDeclName | Unison.Syntax.DeclParser |
| synDeclsP | Unison.Syntax.DeclParser |
| SynEffectDecl | |
| 1 (Type/Class) | Unison.Syntax.DeclParser |
| 2 (Data Constructor) | Unison.Syntax.DeclParser |
| SyntaxText | Unison.Syntax.NamePrinter |
| synthesize | Unison.Typechecker |
| synthesizeAndResolve | Unison.Typechecker |
| synthesizeClosed | Unison.Typechecker.Context |
| synthesizeFile | Unison.FileParsers |
| T | Unison.PatternMatchCoverage.Literal |
| take | Unison.Util.Text |
| takeWhile | Unison.Util.TQueue |
| tell1 | Unison.Result |
| tellAndFail | Unison.Result |
| Term | |
| 1 (Type/Class) | Unison.Typechecker.Context |
| 2 (Type/Class) | Unison.Codebase.Runtime |
| term | Unison.Syntax.TermParser |
| term1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| term2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| termBindings | Unison.UnisonFile |
| TermBufferEntry | Unison.Codebase.SqliteCodebase.Operations |
| termComponent1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| termConstraints | Unison.KindInference.Generate |
| termDisplayObjectLabeledDependencies | Unison.Codebase.Editor.DisplayObject |
| TermEdit | Unison.Codebase.TermEdit |
| termExists | Unison.Codebase.SqliteCodebase.Operations |
| termName | Unison.PrettyPrintEnv |
| termNameOrHashOnly | Unison.PrettyPrintEnv |
| termNameOrHashOnlyFq | Unison.PrettyPrintEnv |
| termReferencesByPrefix | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| termReferentsByShortHash | Unison.Codebase |
| termRefTypeReferences | Unison.Builtin |
| termRefTypes | Unison.Builtin |
| terms | Unison.PrettyPrintEnv |
| termSignatureExternalLabeledDependencies | Unison.UnisonFile |
| termsMentioningType | Unison.Codebase |
| termsMentioningTypeImpl | Unison.Codebase.SqliteCodebase.Operations |
| termsOfType | Unison.Codebase |
| termsOfTypeImpl | Unison.Codebase.SqliteCodebase.Operations |
| terms_ | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| testResultListRef | Unison.Builtin.Decls |
| testResultListType | Unison.Builtin.Decls |
| testResultRef | Unison.Builtin.Decls |
| Text | |
| 1 (Data Constructor) | Unison.PatternMatchCoverage.PmLit |
| 2 (Type/Class) | Unison.Util.Text |
| 3 (Data Constructor) | Unison.Util.Text |
| threadKilledFailureRef | Unison.Builtin.Decls |
| threeWayMerge | Unison.Codebase.Causal |
| threeWayMerge' | Unison.Codebase.Causal |
| threshold | Unison.Util.Text |
| thunkArgType | Unison.Builtin.Decls |
| Ticket | Unison.Util.RefPromise |
| tlsFailureRef | Unison.Builtin.Decls |
| tlsPrivateKeyRef | Unison.Builtin.Decls |
| tlsSignedCertRef | Unison.Builtin.Decls |
| tlsSignedCertType | Unison.Builtin.Decls |
| toAbsoluteSplit | Unison.Codebase.Path |
| toClasses | Unison.PatternMatchCoverage.UFMap |
| todoHashLength | Unison.PrettyPrintEnv |
| toEither | Unison.Result |
| toHandle | Unison.Util.Logger |
| toHash | Unison.Codebase.ShortCausalHash |
| toIds | Unison.Codebase.ProjectPath |
| toLazyText | Unison.Util.Text |
| toList | Unison.Codebase.Path |
| toLowercase | Unison.Util.Text |
| toMaybe | |
| 1 (Function) | Unison.Result |
| 2 (Function) | Unison.Codebase.Editor.DisplayObject |
| toName | Unison.Codebase.Path |
| toNames | |
| 1 (Function) | Unison.Codebase.ProjectPath |
| 2 (Function) | Unison.UnisonFile.Names |
| 3 (Function) | Unison.Codebase.Branch.Names |
| Top | Unison.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 |
| TopLevelComponentNotFound | Unison.Result |
| topLevelComponents | Unison.UnisonFile |
| toPrettyPrintEnvDecl | Unison.Codebase.Branch.Names |
| toProjectAndBranch | Unison.Codebase.ProjectPath |
| toReference | |
| 1 (Function) | Unison.Codebase.TermEdit |
| 2 (Function) | Unison.Codebase.TypeEdit |
| toRoot | Unison.Codebase.ProjectPath |
| toStandardError | Unison.Util.Logger |
| toStandardOut | Unison.Util.Logger |
| toString | |
| 1 (Function) | Unison.Codebase.ShortCausalHash |
| 2 (Function) | Unison.Util.Text |
| toTermAndWatchNames | Unison.UnisonFile.Names |
| toText | |
| 1 (Function) | Unison.Codebase.Path |
| 2 (Function) | Unison.Util.Text |
| toUppercase | Unison.Util.Text |
| toUtf8 | Unison.Util.Text |
| TQueue | |
| 1 (Type/Class) | Unison.Util.TQueue |
| 2 (Data Constructor) | Unison.Util.TQueue |
| trace | Unison.Util.Logger |
| trace' | Unison.Util.Logger |
| traceLevel | Unison.Util.Logger |
| traceNote | Unison.Typechecker.Extractor |
| traceSubseq | Unison.Typechecker.Extractor |
| transform | |
| 1 (Function) | Unison.Codebase.Causal |
| 2 (Function) | Unison.Codebase.Branch |
| transform0 | Unison.Codebase.Branch |
| transitiveClosure | Unison.Util.TransitiveClosure |
| transitiveClosure' | Unison.Util.TransitiveClosure |
| transitiveClosure1 | Unison.Util.TransitiveClosure |
| transitiveClosure1' | Unison.Util.TransitiveClosure |
| transitiveDependencies | Unison.Codebase.CodeLookup |
| traverseConstructorTypes | Unison.PatternMatchCoverage.Class |
| traverseSet_ | Unison.Util.EnumContainers |
| traverseWithKey | Unison.Util.EnumContainers |
| TreeDiff | |
| 1 (Type/Class) | U.Codebase.Branch.Diff |
| 2 (Data Constructor) | U.Codebase.Branch.Diff |
| try | Unison.Util.Text.Pattern |
| tryAny | Unison.Util.Exception |
| tryDequeue | Unison.Util.TQueue |
| tryFlushBuffer | Unison.Codebase.SqliteCodebase.Operations |
| tryFlushDeclBuffer | Unison.Codebase.SqliteCodebase.Operations |
| tryFlushTermBuffer | Unison.Codebase.SqliteCodebase.Operations |
| tryPeekWhile | Unison.Util.TQueue |
| tryPrettySolvedConstraint | Unison.KindInference.Constraint.Pretty |
| tryPrettyUVarKind | Unison.KindInference.Constraint.Pretty |
| tryReadPromise | Unison.Util.RefPromise |
| ttype1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| ttype2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| tupleConsTerm | Unison.Builtin.Decls |
| TuplePattern | Unison.Builtin.Decls |
| tupleTerm | Unison.Builtin.Decls |
| TupleTerm' | Unison.Builtin.Decls |
| TupleType' | Unison.Builtin.Decls |
| Type | Unison.Typechecker.Context |
| type1to2' | Unison.Codebase.SqliteCodebase.Conversions |
| type2to1' | Unison.Codebase.SqliteCodebase.Conversions |
| TypeAnnotation | Unison.KindInference.Constraint.Context |
| typecheckedToNames | Unison.UnisonFile.Names |
| typecheckedToTypeLookup | Unison.UnisonFile |
| TypecheckedUnisonFile | |
| 1 (Type/Class) | Unison.UnisonFile.Type, Unison.UnisonFile |
| 2 (Data Constructor) | Unison.UnisonFile.Type |
| typecheckedUnisonFile | Unison.UnisonFile |
| TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| TypecheckerBug | Unison.Result |
| typecheckingTerm | Unison.UnisonFile |
| typeConstraints | Unison.KindInference.Generate |
| typeDependencies | Unison.DataDeclaration.Dependencies |
| typeDisplayObjectLabeledDependencies | Unison.Codebase.Editor.DisplayObject |
| TypeEdit | Unison.Codebase.TypeEdit |
| TypeError | |
| 1 (Data Constructor) | Unison.Typechecker.Context |
| 2 (Type/Class) | Unison.Typechecker.TypeError |
| 3 (Data Constructor) | Unison.Result |
| typeErrorFromNote | Unison.Typechecker.TypeError |
| typeErrors | Unison.Typechecker.Context |
| TypeInfo | |
| 1 (Type/Class) | Unison.Typechecker.TypeError |
| 2 (Data Constructor) | Unison.Result |
| typeInfoFromNote | Unison.Typechecker.TypeError |
| TypeLookup | |
| 1 (Type/Class) | Unison.Typechecker.TypeLookup |
| 2 (Data Constructor) | Unison.Typechecker.TypeLookup |
| typeLookup | Unison.Builtin |
| typeLookupForDependencies | Unison.Codebase |
| TypeMismatch | Unison.Typechecker.Context |
| typeMismatch | Unison.Typechecker.Extractor |
| typeName | Unison.PrettyPrintEnv |
| typeNameOrHashOnly | Unison.PrettyPrintEnv |
| typeNameOrHashOnlyFq | Unison.PrettyPrintEnv |
| TypeNote | Unison.Typechecker.TypeError |
| typeOf | Unison.Builtin |
| typeOfDataConstructor | Unison.Typechecker.TypeLookup |
| typeOfEffectConstructor | Unison.Typechecker.TypeLookup |
| typeOfReferent | Unison.Typechecker.TypeLookup |
| typeOfTerm | Unison.Typechecker.TypeLookup |
| typeOfTerm' | Unison.Typechecker.TypeLookup |
| typeProv | Unison.KindInference.Constraint.Unsolved |
| TypeProvenance | Unison.KindInference.Constraint.TypeProvenance |
| typeReferencesByPrefix | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| typeReferencesByShortHash | Unison.Codebase |
| types | Unison.PrettyPrintEnv |
| types_ | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| typeToReference | Unison.Hashing.V2.Convert |
| typeToReferenceMentions | Unison.Hashing.V2.Convert |
| TypeVar | |
| 1 (Type/Class) | Unison.Typechecker.TypeVar |
| 2 (Type/Class) | Unison.Typechecker.Context |
| TypeWarning | Unison.Result |
| Typing | Unison.Codebase.TermEdit |
| typing | Unison.Codebase.TermEdit.Typing |
| UFMap | Unison.PatternMatchCoverage.UFMap |
| UFValue | Unison.PatternMatchCoverage.UFMap |
| UnannotatedReference | Unison.Typechecker.Context |
| 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 |
| unconsChunk | Unison.Util.Text |
| uncoverAnnotate | Unison.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 |
| UndeclaredTermVariable | Unison.Typechecker.Context |
| undequeue | Unison.Util.TQueue |
| underlying | Unison.Typechecker.TypeVar |
| UnexpectedArgument | Unison.KindInference.Error, Unison.KindInference.Solve |
| unguardedCycle | Unison.Typechecker.TypeError |
| UnguardedLetRecCycle | |
| 1 (Data Constructor) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Typechecker.TypeError |
| Unify | Unison.KindInference.Constraint.Unsolved |
| Union | Unison.Util.Text.Pattern |
| union | |
| 1 (Function) | Unison.PatternMatchCoverage.UFMap |
| 2 (Function) | Unison.PrettyPrintEnv |
| unionWith | Unison.Util.EnumContainers |
| unique | Unison.Typechecker.Extractor |
| UnisonFile | |
| 1 (Type/Class) | Unison.UnisonFile.Type, Unison.UnisonFile |
| 2 (Data Constructor) | Unison.UnisonFile.Type, Unison.UnisonFile |
| UnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
| unitCtorRef | Unison.Builtin.Decls |
| UnitRef | Unison.Builtin.Decls |
| unitRef | Unison.Builtin.Decls |
| unitTerm | Unison.Builtin.Decls |
| unitType | Unison.Builtin.Decls |
| Universal | Unison.Typechecker.TypeVar |
| Unknown | Unison.Typechecker.Context |
| UnknownConstructor | Unison.Typechecker.Context |
| UnknownDecl | Unison.Typechecker.Context |
| UnknownExistentialVariable | Unison.Typechecker.Context |
| UnknownSymbol | |
| 1 (Data Constructor) | Unison.Typechecker.Context |
| 2 (Data Constructor) | Unison.Result |
| unknownSymbol | Unison.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 |
| UnknownTermReference | Unison.Typechecker.Context |
| UnknownType | Unison.Typechecker.TypeError |
| unknownType | Unison.Typechecker.TypeError |
| unLeftTerm | Unison.Builtin.Decls |
| unOptionalRef | Unison.Builtin.Decls |
| unpack | Unison.Util.Text |
| unPairRef | Unison.Builtin.Decls |
| unprefix | Unison.Codebase.Path |
| unprefixName | Unison.Codebase.Path |
| unRewriteCase | Unison.Builtin.Decls |
| unRewrites | Unison.Builtin.Decls |
| unRewriteSignature | Unison.Builtin.Decls |
| unRewriteTerm | Unison.Builtin.Decls |
| unRightTerm | Unison.Builtin.Decls |
| UnsafeCons | Unison.Codebase.Causal.Type |
| unsafeConstructorType | Unison.Typechecker.TypeLookup |
| unsafeGetComponentLength | Unison.Codebase |
| unsafeGetRightFrom | Unison.Parsers |
| unsafeGetTerm | Unison.Codebase |
| unsafeGetTermComponent | Unison.Codebase |
| unsafeGetTermWithType | Unison.Codebase |
| unsafeGetTypeDeclaration | Unison.Codebase |
| unsafeGetTypeOfTermById | Unison.Codebase |
| unsafeMapHashPreserving | Unison.Codebase.Causal |
| UnsafeMerge | Unison.Codebase.Causal.Type |
| UnsafeOne | Unison.Codebase.Causal.Type |
| unsafeParseFile | Unison.Parsers |
| unsafeParseFileBuiltinsOnly | Unison.Parsers |
| unsafeParseTerm | Unison.Parsers |
| unsafeParseText | Unison.Codebase.Path |
| unsafeParseText' | Unison.Codebase.Path |
| unsafeReadAndParseFile | Unison.Parsers |
| unsnoc | Unison.Util.Text |
| unsnocChunk | Unison.Util.Text |
| unsplit | Unison.Codebase.Path |
| unTuplePattern | Unison.Builtin.Decls |
| unTupleTerm | Unison.Builtin.Decls |
| unTupleType | Unison.Builtin.Decls |
| unUnitRef | Unison.Builtin.Decls |
| UnwrappedBranch | Unison.Codebase.Branch.Type, Unison.Codebase.Branch |
| Update | Unison.PatternMatchCoverage.NormalizedConstraints |
| updateF | Unison.PatternMatchCoverage.NormalizedConstraints |
| UpdateStrategy | Unison.Codebase.Branch |
| Upper | Unison.Util.Text.Pattern |
| UserObject | Unison.Codebase.Editor.DisplayObject |
| UVar | |
| 1 (Type/Class) | Unison.KindInference.UVar |
| 2 (Data Constructor) | Unison.KindInference.UVar |
| Vacuum | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| VacuumStrategy | Unison.Codebase.Init, Unison.Codebase.SqliteCodebase |
| Value | Unison.Codebase.Metadata |
| valueType | Unison.Syntax.TypeParser |
| valueTypeLeaf | Unison.Syntax.TypeParser |
| Var | Unison.Typechecker.Context |
| VarBinding | Unison.Typechecker.Context |
| VarConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
| Variance | Unison.Typechecker.Variance |
| VarInfo | |
| 1 (Type/Class) | Unison.PatternMatchCoverage.NormalizedConstraints |
| 2 (Data Constructor) | Unison.PatternMatchCoverage.NormalizedConstraints |
| VarMention | Unison.Typechecker.Context |
| Vc'Boolean | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Char | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Constructor | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Effect | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Float | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Int | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'ListRoot | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Nat | Unison.PatternMatchCoverage.NormalizedConstraints |
| Vc'Text | Unison.PatternMatchCoverage.NormalizedConstraints |
| Verbose | Unison.Codebase.Verbosity |
| Verbosity | Unison.Codebase.Verbosity |
| verify | Unison.KindInference.Solve |
| verifyRelativeVarName | Unison.Syntax.TermParser |
| Warn | Unison.Typechecker.Context |
| warn | Unison.Util.Logger |
| warn' | Unison.Util.Logger |
| Warning | Unison.Typechecker.Context |
| warnLevel | Unison.Util.Logger |
| watches | Unison.Codebase.SqliteCodebase.Operations, Unison.Codebase |
| watchesOfKind | Unison.UnisonFile |
| watchKind1to2 | Unison.Codebase.SqliteCodebase.Conversions |
| watchKind2to1 | Unison.Codebase.SqliteCodebase.Conversions |
| WatchResults | Unison.Codebase.Runtime |
| wellTyped | Unison.Typechecker |
| Whitespace | Unison.Util.Text.Pattern |
| willCaptureType | Unison.PrettyPrintEnv.MonadPretty |
| withBoundTerm | Unison.PrettyPrintEnv.MonadPretty |
| withBoundTerms | Unison.PrettyPrintEnv.MonadPretty |
| withNewUcmCodebaseOrExit | Unison.Codebase.Init |
| withOpenOrCreateCodebase | Unison.Codebase.Init |
| withoutKeys | Unison.Util.EnumContainers |
| withoutLib | Unison.Codebase.Branch |
| withoutTransitiveLibs | Unison.Codebase.Branch |
| withTemporaryUcmCodebase | Unison.Codebase.Init |
| writePromise | Unison.Util.RefPromise |
| WrongNameRightType | Unison.Typechecker.Context |
| _any | Unison.Typechecker.Extractor |
| _any' | Unison.Typechecker.Extractor |
| _no | Unison.Typechecker.Extractor |