$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: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:changedPatches:BranchDiff | Unison.Codebase.Branch.BranchDiff |
$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:decls':Dependencies' | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:decls:Dependencies | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:definitions:Dependencies | Unison.Codebase.SqliteCodebase.SyncEphemeral |
$sel:definitions:TopLevelComponent | Unison.Typechecker.TypeError |
$sel:defns:Mismatch | Unison.Typechecker.TypeError |
$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: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: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:getBranchForHash: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:ioTestTypes:Runtime | Unison.Codebase.Runtime |
$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:nameTerm:Namer | Unison.PrettyPrintEnv.Names |
$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:patches':Dependencies' | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:patches:Dependencies | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:patchesDiff:BranchDiff | Unison.Codebase.BranchDiff |
$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: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: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: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':Dependencies' | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:terms:Dependencies | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$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:toSeq:Path | Unison.Codebase.Path |
$sel:toText:ShortCausalHash | Unison.Codebase.ShortCausalHash |
$sel:trenames:DiffSlice | Unison.Codebase.BranchDiff |
$sel:trhs: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:unPath':Path' | Unison.Codebase.Path |
$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: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:_addedTermEdits:PatchDiff | Unison.Codebase.Patch |
$sel:_addedTypeEdits:PatchDiff | Unison.Codebase.Patch |
$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:_removedTermEdits:PatchDiff | Unison.Codebase.Patch |
$sel:_removedTypeEdits:PatchDiff | Unison.Codebase.Patch |
$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 |