$> | Unison.Prelude |
$sel:abilityCheckFailureSite:Mismatch | Unison.Typechecker.TypeError |
$sel:absPath:ProjectPath | Unison.Codebase.ProjectPath |
$sel:accessToken:Tokens | Unison.Auth.Types |
$sel:activeProfile:Credentials | Unison.Auth.Types |
$sel:actualHash:HashMismatch | U.Codebase.Sqlite.HashHandle |
$sel:addedNames:Diff | Unison.NamesWithHistory |
$sel:addedPatches:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:addedTermEdits:PatchDiff | U.Codebase.Sqlite.Patch.Diff |
$sel:addedTerms:BranchDiff | Unison.Codebase.Branch.BranchDiff |
$sel:addedTerms:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:addedTypeEdits:PatchDiff | U.Codebase.Sqlite.Patch.Diff |
$sel:addedTypes:BranchDiff | Unison.Codebase.Branch.BranchDiff |
$sel:addedTypes:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:additionalTags:InfoTags | Unison.Codebase.Transcript |
$sel:adds:Diff | U.Codebase.Branch.Diff |
$sel:adds:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:adds:Unconflicts | Unison.Merge.Unconflicts, Unison.Merge |
$sel:aliases:InputPattern | Unison.CommandLine.InputPattern |
$sel:alice:MergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:alice:MergeSourceAndTarget | Unison.Cli.MergeTypes |
$sel:alice:ThreeWay | Unison.Merge.ThreeWay, Unison.Merge |
$sel:alice:TwoOrThreeWay | Unison.Merge.TwoOrThreeWay, Unison.Merge |
$sel:alice:TwoWay | Unison.Merge.TwoWay, Unison.Merge |
$sel:alice:TwoWayI | Unison.Merge.TwoWayI, Unison.Merge |
$sel:allowCorsHost:CodebaseServerOpts | Unison.Server.CodebaseServer |
$sel:allowMultiSelect:Options | Unison.CommandLine.FuzzySelect |
$sel:allUsedVars:VarUsages | Unison.LSP.FileAnalysis.UnusedBindings |
$sel:ambient:Mismatch | Unison.Typechecker.TypeError |
$sel:ambientAbilities:Env | Unison.Typechecker |
$sel:annotation:DataDeclaration | Unison.DataDeclaration |
$sel:annotation:SynDataDecl | Unison.Syntax.DeclParser |
$sel:annotation:SynEffectDecl | Unison.Syntax.DeclParser |
$sel:anum:RN | Unison.Runtime.MCode |
$sel:ap:Stack | Unison.Runtime.Stack |
$sel:apX:XStack | Unison.Runtime.Stack |
$sel:arg:Mismatch | Unison.Typechecker.TypeError |
$sel:argNum:Mismatch | Unison.Typechecker.TypeError |
$sel:args:InputPattern | Unison.CommandLine.InputPattern |
$sel:authHTTPClient:Env | Unison.Cli.Monad |
$sel:author:AuthorInfo | Unison.Codebase.Editor.AuthorInfo |
$sel:authorizationEndpoint:DiscoveryDoc | Unison.Auth.Types |
$sel:beComponent:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
$sel:beComponentTargetSize:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
$sel:beMissingDependencies:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
$sel:bestFoundTermName:FoundTerm | Unison.Server.Local.Endpoints.FuzzyFind |
$sel:bestFoundTypeName:FoundType | Unison.Server.Local.Endpoints.FuzzyFind |
$sel:bestTermName:TermDefinition | Unison.Server.Types |
$sel:bestTypeName:TypeDefinition | Unison.Server.Types |
$sel:beWaitingDependents:BufferEntry | Unison.Codebase.SqliteCodebase.Operations |
$sel:bind:Subst | Unison.ABT |
$sel:bindingLocation:TypeSignatureHint | Unison.LSP.Types |
$sel:bindInheritAnnotation:Subst | Unison.ABT |
$sel:bob:MergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:bob:MergeSourceAndTarget | Unison.Cli.MergeTypes |
$sel:bob:ThreeWay | Unison.Merge.ThreeWay, Unison.Merge |
$sel:bob:TwoOrThreeWay | Unison.Merge.TwoOrThreeWay, Unison.Merge |
$sel:bob:TwoWay | Unison.Merge.TwoWay, Unison.Merge |
$sel:bob:TwoWayI | Unison.Merge.TwoWayI, Unison.Merge |
$sel:both:TwoWayI | Unison.Merge.TwoWayI, Unison.Merge |
$sel:bound:DataDeclaration | |
1 (Function) | U.Codebase.Decl |
2 (Function) | Unison.DataDeclaration |
$sel:bound:Lambda | Unison.Runtime.ANF |
$sel:boundTerms:Env | Unison.PrettyPrintEnv.MonadPretty |
$sel:boundTypes:Env | Unison.PrettyPrintEnv.MonadPretty |
$sel:branch:Current | Unison.Server.Local.Endpoints.Current |
$sel:branch:Entry | U.Codebase.Sqlite.ProjectReflog |
$sel:branch:ProjectPath | Unison.Codebase.ProjectPath |
$sel:branchCausalHash:CreateProjectBranchRequest | Unison.Share.API.Projects |
$sel:branchChildLookup:LocalIds | U.Codebase.Sqlite.Branch.Format |
$sel:branchDefnLookup:LocalIds | U.Codebase.Sqlite.Branch.Format |
$sel:branches:Dependencies | Unison.Codebase.SqliteCodebase.SyncEphemeral |
$sel:branchHead:ProjectBranch | Unison.Share.API.Projects |
$sel:branchHead:RemoteProjectBranch | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
$sel:branchId:ProjectBranch | |
1 (Function) | U.Codebase.Sqlite.ProjectBranch, Unison.Codebase.ProjectPath |
2 (Function) | Unison.Share.API.Projects |
$sel:branchId:ProjectBranchIds | Unison.Share.API.Projects |
$sel:branchId:RemoteProjectBranch | |
1 (Function) | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
2 (Function) | U.Codebase.Sqlite.RemoteProjectBranch |
$sel:branchId:SetProjectBranchHeadRequest | Unison.Share.API.Projects |
$sel:branchMergeTarget:CreateProjectBranchRequest | Unison.Share.API.Projects |
$sel:branchName:CreateProjectBranchRequest | Unison.Share.API.Projects |
$sel:branchName:ProjectBranch | Unison.Share.API.Projects |
$sel:branchName:RemoteProjectBranch | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
$sel:branchNewCausalHash:SetProjectBranchHeadRequest | Unison.Share.API.Projects |
$sel:branchOldCausalHash:SetProjectBranchHeadRequest | Unison.Share.API.Projects |
$sel:branchPatchLookup:LocalIds | U.Codebase.Sqlite.Branch.Format |
$sel:branchTextLookup:LocalIds | U.Codebase.Sqlite.Branch.Format |
$sel:bstk:Stack | Unison.Runtime.Stack |
$sel:bstkX:XStack | Unison.Runtime.Stack |
$sel:bugs:Notes | Unison.Typechecker |
$sel:bytes:JsonParseFailure | U.Codebase.Sqlite.Queries |
$sel:bytes:Namespace | Unison.Sync.Types |
$sel:bytes:NamespaceDiff | Unison.Sync.Types |
$sel:bytes:Patch | Unison.Sync.Types |
$sel:bytes:PatchDiff | Unison.Sync.Types |
$sel:cacheableCombs:CCache | Unison.Runtime.Machine |
$sel:cancellationMapVar:Env | Unison.LSP.Types |
$sel:causalHash:AliceMergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:causalHash:BobMergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:causalHash:Causal | U.Codebase.Causal |
$sel:causalHash:LcaMergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:causalParents:DumpNamespace | Unison.Codebase.Editor.Output.DumpNamespace |
$sel:cause:ErrorNote | Unison.Typechecker.Context |
$sel:changedPatches:BranchDiff | Unison.Codebase.Branch.BranchDiff |
$sel:checkedFilesVar:Env | Unison.LSP.Types |
$sel:child:InvalidParentage | Unison.Sync.Types |
$sel:childLookup:Namespace | Unison.Sync.Types |
$sel:childLookup:NamespaceDiff | Unison.Sync.Types |
$sel:children:Branch | |
1 (Function) | U.Codebase.Branch.Type, U.Codebase.Branch |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:children:BranchV3 | |
1 (Function) | U.Codebase.BranchV3 |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:children:Diff | U.Codebase.Sqlite.Branch.Diff |
$sel:children:DumpNamespace | Unison.Codebase.Editor.Output.DumpNamespace |
$sel:children:Nametree | Unison.Util.Nametree |
$sel:claims:DecodedHashJWT | Unison.Share.API.Hash |
$sel:cnum:RN | Unison.Runtime.MCode |
$sel:codeActions:FileAnalysis | Unison.LSP.Types |
$sel:codebase:Env | |
1 (Function) | Unison.LSP.Types |
2 (Function) | Unison.Cli.Monad |
$sel:codebasePath:Init | |
1 (Function) | Unison.Codebase.Init.Type |
2 (Function) | Unison.Codebase.Init |
$sel:codebasePathOption:GlobalOptions | ArgParse |
$sel:codebaseUIPath:CodebaseServerOpts | Unison.Server.CodebaseServer |
$sel:codeserverId:CodeserverId | Unison.Share.Types |
$sel:codeserverPath:CodeserverURI | Unison.Share.Codeserver, Unison.Share.Types |
$sel:codeserverPort:CodeserverURI | Unison.Share.Codeserver, Unison.Share.Types |
$sel:codeserverRegName:CodeserverURI | Unison.Share.Codeserver, Unison.Share.Types |
$sel:codeserverScheme:CodeserverURI | Unison.Share.Codeserver, Unison.Share.Types |
$sel:codeserverUserInfo:CodeserverURI | Unison.Share.Codeserver, Unison.Share.Types |
$sel:collisions:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:column:Pos | Unison.Lexer.Pos, Unison.Syntax.Lexer, Unison.Syntax.Lexer.Unison |
$sel:combRefs:CCache | Unison.Runtime.Machine |
$sel:combs:CCache | Unison.Runtime.Machine |
$sel:compileTo:Runtime | Unison.Codebase.Runtime, Unison.Runtime.Interface |
$sel:completionsVar:Env | Unison.LSP.Types |
$sel:computed:HashMismatchForEntity | Unison.Sync.Types |
$sel:conflictedConstraint:ConstraintConflict' | Unison.KindInference.Error, Unison.KindInference.Solve |
$sel:conflictedVar:ConstraintConflict' | Unison.KindInference.Error, Unison.KindInference.Solve |
$sel:conflicts:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:conflicts:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:conn:Connection | Unison.Sqlite.Connection |
$sel:constraintMap:NormalizedConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
$sel:constraints:SolveState | Unison.KindInference.Solve.Monad |
$sel:constructorAliases:IncoherentDeclReasons | Unison.Merge.DeclCoherencyCheck, Unison.Merge |
$sel:constructorExistingTermCollisions:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:constructors':DataDeclaration | Unison.DataDeclaration |
$sel:constructors:SynDataDecl | Unison.Syntax.DeclParser |
$sel:constructors:SynEffectDecl | Unison.Syntax.DeclParser |
$sel:constructorToDecl:DeclNameLookup | Unison.DeclNameLookup |
$sel:constructorToDecl:PartialDeclNameLookup | Unison.Merge.PartialDeclNameLookup, Unison.Merge |
$sel:constructorTypes:DataDeclaration | U.Codebase.Decl |
$sel:conventions:Lambda | Unison.Runtime.ANF |
$sel:copyrightHolder:AuthorInfo | Unison.Codebase.Editor.AuthorInfo |
$sel:coreDependencies:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:couldntSetTo:SetJournalModeException | Unison.Sqlite |
$sel:createCodebase':Init | Unison.Codebase.Init.Type |
$sel:credentialManager:Env | Unison.Cli.Monad |
$sel:credentials:Credentials | Unison.Auth.Types |
$sel:ctors:SlurpComponent | Unison.Codebase.Editor.SlurpComponent |
$sel:currentHash:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
$sel:currentJournalMode:SetJournalModeException | Unison.Sqlite |
$sel:currentNamesCache:Env | Unison.LSP.Types |
$sel:currentProjectPathCache:Env | Unison.LSP.Types |
$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:decl:TypeDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:declNameLookups:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:declNameLookups:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:decls':Dependencies' | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:decls:Dependencies | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:declToConstructors:DeclNameLookup | Unison.DeclNameLookup |
$sel:declToConstructors:PartialDeclNameLookup | Unison.Merge.PartialDeclNameLookup, Unison.Merge |
$sel:declType:DataDeclaration | U.Codebase.Decl |
$sel:decoder:DecodeError | U.Codebase.Sqlite.Decode |
$sel:defaultBranch:Project | Unison.Share.API.Projects |
$sel:definitions:Dependencies | Unison.Codebase.SqliteCodebase.SyncEphemeral |
$sel:definitions:TopLevelComponent | Unison.Typechecker.TypeError |
$sel:defnLookup:LocalIds | U.Codebase.Sqlite.LocalIds |
$sel:defnLookup:Namespace | Unison.Sync.Types |
$sel:defnLookup:NamespaceDiff | Unison.Sync.Types |
$sel:defns:Mergeblob0 | Unison.Merge.Mergeblob0, Unison.Merge |
$sel:defns:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:defns:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:defns:Mismatch | Unison.Typechecker.TypeError |
$sel:defnsInLib:TodoOutput | Unison.Codebase.Editor.Output |
$sel:defnTermTag:TermDefinition | Unison.Server.Types |
$sel:defnTypeTag:TypeDefinition | Unison.Server.Types |
$sel:defsWithBlockedDependencies:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:deletes:Unconflicts | Unison.Merge.Unconflicts, Unison.Merge |
$sel:dependencies:Mergeblob4 | Unison.Merge.Mergeblob4, Unison.Merge |
$sel:dependentsOfTodo:TodoOutput | Unison.Codebase.Editor.Output |
$sel:description:MergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:description:TextReplacement | Unison.LSP.Commands |
$sel:descriptorConstraint:Descriptor | Unison.KindInference.Solve.Monad |
$sel:diagnostics:FileAnalysis | Unison.LSP.Types |
$sel:diff:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:diff:TermDefinitionDiff | Unison.Server.Types |
$sel:diff:TermDiffResponse | Unison.Server.Types |
$sel:diff:TypeDefinitionDiff | Unison.Server.Types |
$sel:diff:TypeDiffResponse | Unison.Server.Types |
$sel:diffs:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:directDependenciesWithoutNames:TodoOutput | Unison.Codebase.Editor.Output |
$sel:dirPath:Directory | System.Path |
$sel:dirtyFilesVar:Env | Unison.LSP.Types |
$sel:dirtySet:NormalizedConstraints | Unison.PatternMatchCoverage.NormalizedConstraints |
$sel:discoveryURI:CodeserverCredentials | Unison.Auth.Types |
$sel:displayName:TermSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:displayName:TypeSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:dnum:RN | Unison.Runtime.MCode |
$sel:duplicates:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$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:elements:SparseVector | Unison.Runtime.SparseVector |
$sel:end:Intrinsic | Unison.Parser.Ann |
$sel:end:Pure | Unison.Typechecker.Extractor |
$sel:end:Token | Unison.Syntax.Lexer.Token, Unison.Syntax.Lexer, Unison.Syntax.Lexer.Unison |
$sel:entities:UploadEntitiesRequest | Unison.Sync.Types |
$sel:entry:Rec | Unison.Runtime.ANF |
$sel:err:DecodeError | U.Codebase.Sqlite.Decode |
$sel:errors:Notes | Unison.Typechecker |
$sel:evaluate:Runtime | Unison.Codebase.Runtime, Unison.Runtime.Interface |
$sel:exitOption:GlobalOptions | ArgParse |
$sel:expectedHash:HashMismatch | U.Codebase.Sqlite.HashHandle |
$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:expectingError:InfoTags | Unison.Codebase.Transcript |
$sel:expiresIn:Tokens | Unison.Auth.Types |
$sel:exprWatchSummary:FileSummary | Unison.UnisonFile.Summary |
$sel:extraDefinitions:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:f:Mismatch | Unison.Typechecker.TypeError |
$sel:fact:Star2 | Unison.Util.Star2 |
$sel:failure:JsonParseFailure | U.Codebase.Sqlite.Queries |
$sel:fetchTime:CodeserverCredentials | Unison.Auth.Types |
$sel:fields:SynDataDecl | Unison.Syntax.DeclParser |
$sel:file:Connection | Unison.Sqlite.Connection |
$sel:file:Mergeblob4 | Unison.Merge.Mergeblob4, Unison.Merge |
$sel:file:Mergeblob5 | Unison.Merge.Mergeblob5, Unison.Merge |
$sel:fileNames:FileSummary | Unison.UnisonFile.Summary |
$sel:files:Directory | System.Path |
$sel:fileSummary:FileAnalysis | Unison.LSP.Types |
$sel:fileUri:FileAnalysis | Unison.LSP.Types |
$sel:fileUri:TextReplacement | Unison.LSP.Commands |
$sel:fileUri:TypeSigInsertion | Unison.LSP.CodeLens |
$sel:fileVersion:FileAnalysis | Unison.LSP.Types |
$sel:filterTermsByReferenceIdHavingTypeImpl:Codebase | Unison.Codebase.Type |
$sel:filterTermsByReferentIdHavingTypeImpl:Codebase | Unison.Codebase.Type |
$sel:formattingWidth:Config | Unison.LSP.Types |
$sel:foundLeaf:Mismatch | Unison.Typechecker.TypeError |
$sel:foundType:Mismatch | Unison.Typechecker.TypeError |
$sel:fp:Stack | Unison.Runtime.Stack |
$sel:fpX:XStack | Unison.Runtime.Stack |
$sel:fqn:NamedReference | Unison.Typechecker |
$sel:fqn:NamespaceDetails | Unison.Server.Types |
$sel:fqnType:NamedReference | Unison.Typechecker |
$sel:freeTerms:Env | Unison.PrettyPrintEnv.MonadPretty |
$sel:freeVars:Term | Unison.ABT.Normalized |
$sel:freshen:Subst | Unison.ABT |
$sel:freshTm:CCache | Unison.Runtime.Machine |
$sel:freshTy:CCache | Unison.Runtime.Machine |
$sel:fromRootCausalHash:Entry | |
1 (Function) | U.Codebase.Reflog |
2 (Function) | U.Codebase.Sqlite.ProjectReflog |
$sel:fromSQLite:AsSqlite | U.Codebase.Sqlite.Orphans |
$sel:ft:Mismatch | Unison.Typechecker.TypeError |
$sel:fzfResolver:ArgumentType | Unison.CommandLine.InputPattern |
$sel:generated:InfoTags | Unison.Codebase.Transcript |
$sel:generateUniqueName:Env | Unison.Cli.Monad |
$sel:genericHash:HashFor | Unison.Hash |
$sel:get:Format | Unison.Codebase.Serialization |
$sel:get:Pure | Unison.Typechecker.Extractor |
$sel:getBooleanMismatch:Mismatch | Unison.Typechecker.TypeError |
$sel:getBoxedVal:Val | Unison.Runtime.Stack |
$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:getOptions:FZFResolver | Unison.CommandLine.FZFResolvers, Unison.CommandLine.InputPattern |
$sel:getPolytype:Monotype | Unison.Type |
$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:getUnboxedVal:Val | Unison.Runtime.Stack |
$sel:getWatch:Codebase | Unison.Codebase.Type, Unison.Codebase |
$sel:gitDescribe:Version | Unison.Version |
$sel:gitDescribeWithDate:Version | Unison.Version |
$sel:group:Rec | Unison.Runtime.ANF |
$sel:guid:AuthorInfo | Unison.Codebase.Editor.AuthorInfo |
$sel:handle:UserInfo | Unison.Auth.Types |
$sel:hasBug:InfoTags | Unison.Codebase.Transcript |
$sel:hasConflicts:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:hash:HashJWTClaims | Unison.Share.API.Hash |
$sel:hash:NamespaceDetails | Unison.Server.Types |
$sel:hash:Synhashed | Unison.Merge.Synhashed, Unison.Merge |
$sel:hash:TermSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:hash:TypeSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:hashBranch:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:hashBranchFormatFull:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:hashBranchV3:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:hashCausal:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:hashes:DownloadEntitiesRequest | Unison.Sync.Types |
$sel:hashes:LocalIds | Unison.Sync.Types |
$sel:hashJWT:DecodedHashJWT | Unison.Share.API.Hash |
$sel:hashLen:TodoOutput | Unison.Codebase.Editor.Output |
$sel:hashPatchFormatFull:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:hashTermsId:TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
$sel:head:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
$sel:help:InputPattern | Unison.CommandLine.InputPattern |
$sel:hidden:InfoTags | Unison.Codebase.Transcript |
$sel:hits:QueryResult | Unison.Server.QueryResult |
$sel:host:CodebaseServerOpts | Unison.Server.CodebaseServer |
$sel:host:RemoteProject | U.Codebase.Sqlite.RemoteProject |
$sel:host:RemoteProjectBranch | U.Codebase.Sqlite.RemoteProjectBranch |
$sel:hydratedDefns:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:hydratedDefns:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:idToken:Tokens | Unison.Auth.Types |
$sel:impliedConstraint:ConstraintConflict' | Unison.KindInference.Error, Unison.KindInference.Solve |
$sel:includeLibNamespace:TestInput | Unison.Codebase.Editor.Input |
$sel:incoherentDeclReasons:TodoOutput | Unison.Codebase.Editor.Output |
$sel:indices:SparseVector | Unison.Runtime.SparseVector |
$sel:inferredType:Resolution | Unison.Typechecker |
$sel:infos:Notes | Unison.Typechecker |
$sel:inputStream:Input | Unison.Syntax.Parser |
$sel:insertCachedBranch:BranchCache | Unison.Codebase.SqliteCodebase.Branch.Cache |
$sel:intermed:CCache | Unison.Runtime.Machine |
$sel:ioTestTypes:Runtime | Unison.Codebase.Runtime, Unison.Runtime.Interface |
$sel:issuer:DiscoveryDoc | Unison.Auth.Types |
$sel:isTranscriptTest:Env | Unison.Cli.Monad |
$sel:kindExpressionText:KindExpression | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:lastInput:LoopState | Unison.Cli.Monad |
$sel:lastRunResult:LoopState | Unison.Cli.Monad |
$sel:latestFile:LoopState | Unison.Cli.Monad |
$sel:latestRelease:Project | Unison.Share.API.Projects |
$sel:latestRelease:RemoteProject | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
$sel:latestTypecheckedFile:LoopState | Unison.Cli.Monad |
$sel:lca:MergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:lca:ThreeWay | Unison.Merge.ThreeWay, Unison.Merge |
$sel:lca:TwoOrThreeWay | Unison.Merge.TwoOrThreeWay, Unison.Merge |
$sel:lcaDeclNameLookup:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:lcaDeclNameLookup:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:lcaLibdeps:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:lcaLibdeps:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:leafs:Mismatch | Unison.Typechecker.TypeError |
$sel:left:TermDefinitionDiff | Unison.Server.Types |
$sel:left:TypeDefinitionDiff | Unison.Server.Types |
$sel:lexedSource:FileAnalysis | Unison.LSP.Types |
$sel:lhs:Mismatch | Unison.Typechecker.TypeError |
$sel:libdeps:Mergeblob0 | Unison.Merge.Mergeblob0, Unison.Merge |
$sel:libdeps:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:libdeps:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:libdeps:Mergeblob3 | Unison.Merge.Mergeblob3, Unison.Merge |
$sel:libdepsDiff:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:line:Pos | Unison.Lexer.Pos, Unison.Syntax.Lexer, Unison.Syntax.Lexer.Unison |
$sel:loadSource:Env | Unison.Cli.Monad |
$sel:localNamespacePrefixedTypesAndConstructors:ParsingEnv | Unison.Syntax.Parser |
$sel:lookupCachedBranch:BranchCache | Unison.Codebase.SqliteCodebase.Branch.Cache |
$sel:lookupNames:Search | Unison.Server.NameSearch |
$sel:lookupRelativeHQRefs':Search | Unison.Server.NameSearch |
$sel:lspContext:Env | Unison.LSP.Types |
$sel:lspFormattingConfig:GlobalOptions | ArgParse |
$sel:mainType:Runtime | Unison.Codebase.Runtime, Unison.Runtime.Interface |
$sel:makeResult:Search | Unison.Server.NameSearch |
$sel:matchBody:MatchCase | Unison.Term |
$sel:matchesNamedRef:Search | Unison.Server.NameSearch |
$sel:matchGuard:MatchCase | Unison.Term |
$sel:matchPattern:MatchCase | Unison.Term |
$sel:maxCompletions:Config | Unison.LSP.Types |
$sel:maybeNamespace:ParsingEnv | Unison.Syntax.Parser |
$sel:mediaSourceMimeType:MediaSource | Unison.Server.Doc |
$sel:mediaSourceUrl:MediaSource | Unison.Server.Doc |
$sel:message:NotFound | Unison.Share.API.Projects |
$sel:message:Unauthorized | Unison.Share.API.Projects |
$sel:mismatchSite:Mismatch | Unison.Typechecker.TypeError |
$sel:misses:QueryResult | Unison.Server.QueryResult |
$sel:missingConstructorNames:IncoherentDeclReasons | Unison.Merge.DeclCoherencyCheck, Unison.Merge |
$sel:missingDefinitions:DefinitionDisplayResults | Unison.Server.Types |
$sel:missingDependencies:NeedDependencies | Unison.Sync.Types |
$sel:modifier:DataDeclaration | |
1 (Function) | U.Codebase.Decl |
2 (Function) | Unison.DataDeclaration |
$sel:modifier:SynDataDecl | Unison.Syntax.DeclParser |
$sel:modifier:SynEffectDecl | Unison.Syntax.DeclParser |
$sel:name:Connection | Unison.Sqlite.Connection |
$sel:name:ExactName | Unison.Server.Types |
$sel:name:Project | U.Codebase.Sqlite.Project, Unison.Codebase.ProjectPath |
$sel:name:ProjectBranch | U.Codebase.Sqlite.ProjectBranch, Unison.Codebase.ProjectPath |
$sel:name:RemoteProject | U.Codebase.Sqlite.RemoteProject |
$sel:name:RemoteProjectBranch | U.Codebase.Sqlite.RemoteProjectBranch |
$sel:name:SynDataDecl | Unison.Syntax.DeclParser |
$sel:name:SynEffectDecl | Unison.Syntax.DeclParser |
$sel:name:TermDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:name:TypeDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:name:TypeSignatureHint | Unison.LSP.Types |
$sel:name:UserInfo | Unison.Auth.Types |
$sel:nameConflicts:TodoOutput | Unison.Codebase.Editor.Output |
$sel:namedTerm:FoundTerm | Unison.Server.Local.Endpoints.FuzzyFind |
$sel:namedType:FoundType | Unison.Server.Local.Endpoints.FuzzyFind |
$sel:nameLookupBranchHashId:NamesPerspective | U.Codebase.Sqlite.Operations |
$sel:names:Env | Unison.UnisonFile.Env |
$sel:names:ParsingEnv | Unison.Syntax.Parser |
$sel:nameSearchCache:Env | Unison.LSP.Types |
$sel:namespaceHash:Causal | Unison.Sync.Types |
$sel:namespaceHash:NamedNamespace | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:namespaceListingChildren:NamespaceListing | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:namespaceListingFQN:NamespaceListing | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:namespaceListingHash:NamespaceListing | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:namespaceName:NamedNamespace | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:namespaceSize:NamedNamespace | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:nameTerm:Namer | Unison.PrettyPrintEnv.Names |
$sel:nametrees:Mergeblob0 | Unison.Merge.Mergeblob0, Unison.Merge |
$sel:nameType:Namer | Unison.PrettyPrintEnv.Names |
$sel:nativeRuntime:Env | Unison.Cli.Monad |
$sel:nativeRuntimePath:GlobalOptions | ArgParse |
$sel:nestedDeclAliases:IncoherentDeclReasons | Unison.Merge.DeclCoherencyCheck, Unison.Merge |
$sel:new:Updated | Unison.Merge.Updated, Unison.Merge |
$sel:new:UpdateTermDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:new:UpdateTypeDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:newBranch:TermDiffResponse | Unison.Server.Types |
$sel:newBranch:TypeDiffResponse | Unison.Server.Types |
$sel:newHashLookup:Patch | Unison.Sync.Types |
$sel:newHashLookup:PatchDiff | Unison.Sync.Types |
$sel:newRefNames:AddAliases | Unison.Codebase.Editor.SlurpResult |
$sel:newTerm:TermDiffResponse | Unison.Server.Types |
$sel:newTermConflicts:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:newType:TypeDiffResponse | Unison.Server.Types |
$sel:newTypeConflicts:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:newUnifVars:SolveState | Unison.KindInference.Solve.Monad |
$sel:newVars:GenState | Unison.KindInference.Generate.Monad |
$sel:noResults:DefinitionResults | Unison.Server.Backend |
$sel:note:Mismatch | Unison.Typechecker.TypeError |
$sel:notes:FileAnalysis | Unison.LSP.Types |
$sel:notify:Env | Unison.Cli.Monad |
$sel:notify:Waiter | Unison.Server.CodebaseServer |
$sel:notifyNumbered:Env | Unison.Cli.Monad |
$sel:numberedArgs:LoopState | Unison.Cli.Monad |
$sel:numContainedPatches:NamespaceStats | U.Codebase.Branch.Type, U.Codebase.Branch |
$sel:numContainedTerms:NamespaceStats | U.Codebase.Branch.Type, U.Codebase.Branch |
$sel:numContainedTypes:NamespaceStats | U.Codebase.Branch.Type, U.Codebase.Branch |
$sel:old:Updated | Unison.Merge.Updated, Unison.Merge |
$sel:old:UpdateTermDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:old:UpdateTypeDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:oldBranch:TermDiffResponse | Unison.Server.Types |
$sel:oldBranch:TypeDiffResponse | Unison.Server.Types |
$sel:oldHashLookup:Patch | Unison.Sync.Types |
$sel:oldHashLookup:PatchDiff | Unison.Sync.Types |
$sel:oldRefNames:AddAliases | Unison.Codebase.Editor.SlurpResult |
$sel:oldTerm:TermDiffResponse | Unison.Server.Types |
$sel:oldType:TypeDiffResponse | Unison.Server.Types |
$sel:onboarding:Welcome | Unison.CommandLine.Welcome |
$sel:openCodebase:Init | Unison.Codebase.Init.Type |
$sel:originalFile:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:originalNames:Diff | Unison.NamesWithHistory |
$sel:out:Term | Unison.ABT.Normalized |
$sel:parent:InvalidParentage | Unison.Sync.Types |
$sel:parent:NamespaceDiff | Unison.Sync.Types |
$sel:parent:PatchDiff | Unison.Sync.Types |
$sel:parentBranchId:ProjectBranch | U.Codebase.Sqlite.ProjectBranch, Unison.Codebase.ProjectPath |
$sel:parents:Causal | |
1 (Function) | U.Codebase.Causal |
2 (Function) | Unison.Sync.Types |
$sel:parents:DbCausal | U.Codebase.Sqlite.Causal |
$sel:parents:SyncCausalFormat | U.Codebase.Sqlite.Causal |
$sel:parse:InputPattern | Unison.CommandLine.InputPattern |
$sel:parsedFile:FileAnalysis | Unison.LSP.Types |
$sel:patchDefnLookup:LocalIds | U.Codebase.Sqlite.Patch.Format |
$sel:patches':Dependencies' | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:patches:Branch | |
1 (Function) | U.Codebase.Branch.Type, U.Codebase.Branch |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:patches:Dependencies | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:patches:Diff | U.Codebase.Sqlite.Branch.Diff |
$sel:patches:DumpNamespace | Unison.Codebase.Editor.Output.DumpNamespace |
$sel:patchesDiff:BranchDiff | Unison.Codebase.BranchDiff |
$sel:patchHashLookup:LocalIds | U.Codebase.Sqlite.Patch.Format |
$sel:patchLookup:Namespace | Unison.Sync.Types |
$sel:patchLookup:NamespaceDiff | Unison.Sync.Types |
$sel:patchName:NamedPatch | Unison.Server.Local.Endpoints.NamespaceListing |
$sel:patchTextLookup:LocalIds | U.Codebase.Sqlite.Patch.Format |
$sel:path:Current | Unison.Server.Local.Endpoints.Current |
$sel:path:ErrorNote | Unison.Typechecker.Context |
$sel:path:GetCausalHashByPathRequest | Unison.Sync.Types |
$sel:path:ReadShareLooseCode | Unison.Codebase.Editor.RemoteRepo |
$sel:path:TestInput | Unison.Codebase.Editor.Input |
$sel:pathSegments:Path | Unison.Sync.Types |
$sel:pathToMountedNameLookup:NamesPerspective | U.Codebase.Sqlite.Operations |
$sel:patternName:InputPattern | Unison.CommandLine.InputPattern |
$sel:payload:Token | Unison.Syntax.Lexer.Token, Unison.Syntax.Lexer, Unison.Syntax.Lexer.Unison |
$sel:port:CodebaseServerOpts | Unison.Server.CodebaseServer |
$sel:ppe:Env | Unison.PrettyPrintEnv.MonadPretty |
$sel:ppe:TodoOutput | Unison.Codebase.Editor.Output |
$sel:ppedCache:Env | Unison.LSP.Types |
$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:Current | Unison.Server.Local.Endpoints.Current |
$sel:project:Entry | U.Codebase.Sqlite.ProjectReflog |
$sel:project:ProjectPath | Unison.Codebase.ProjectPath |
$sel:project:TermDiffResponse | Unison.Server.Types |
$sel:project:TypeDiffResponse | Unison.Server.Types |
$sel:projectAndBranch:AliceMergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:projectId:CreateProjectBranchRequest | Unison.Share.API.Projects |
$sel:projectId:Project | |
1 (Function) | U.Codebase.Sqlite.Project, Unison.Codebase.ProjectPath |
2 (Function) | Unison.Share.API.Projects |
$sel:projectId:ProjectBranch | |
1 (Function) | U.Codebase.Sqlite.ProjectBranch, Unison.Codebase.ProjectPath |
2 (Function) | Unison.Share.API.Projects |
$sel:projectId:ProjectBranchIds | Unison.Share.API.Projects |
$sel:projectId:RemoteProject | |
1 (Function) | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
2 (Function) | U.Codebase.Sqlite.RemoteProject |
$sel:projectId:RemoteProjectBranch | |
1 (Function) | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
2 (Function) | U.Codebase.Sqlite.RemoteProjectBranch |
$sel:projectId:SetProjectBranchHeadRequest | Unison.Share.API.Projects |
$sel:projectName:CreateProjectRequest | Unison.Share.API.Projects |
$sel:projectName:Project | Unison.Share.API.Projects |
$sel:projectName:ProjectBranch | Unison.Share.API.Projects |
$sel:projectName:RemoteProject | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
$sel:projectName:RemoteProjectBranch | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
$sel:projectPathStack:LoopState | Unison.Cli.Monad |
$sel:pushBehavior:PushRemoteBranchInput | Unison.Codebase.Editor.Input |
$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:range:TextReplacement | Unison.LSP.Commands |
$sel:range:TypeSigInsertion | Unison.LSP.CodeLens |
$sel:raw:Logger | Unison.Util.Logger |
$sel:readme:NamespaceDetails | Unison.Server.Types |
$sel:reason:Entry | |
1 (Function) | U.Codebase.Reflog |
2 (Function) | U.Codebase.Sqlite.ProjectReflog |
$sel:ref:ExactName | Unison.Server.Types |
$sel:ref:NamedRef | U.Codebase.Sqlite.NamedRef |
$sel:ref:TermDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:ref:TypeDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:reference:TypeResult | Unison.Server.SearchResult |
$sel:referent:TermResult | Unison.Server.SearchResult |
$sel:referent:TypeSignatureHint | Unison.LSP.Types |
$sel:refreshToken:Tokens | Unison.Auth.Types |
$sel:refTm:CCache | Unison.Runtime.Machine |
$sel:refTy:CCache | Unison.Runtime.Machine |
$sel:relativePerspective:NamesPerspective | U.Codebase.Sqlite.Operations |
$sel:removals:Diff | U.Codebase.Branch.Diff |
$sel:removedNames:Diff | Unison.NamesWithHistory |
$sel:removedPatches:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:removedTermEdits:PatchDiff | U.Codebase.Sqlite.Patch.Diff |
$sel:removedTerms:BranchDiff | Unison.Codebase.Branch.BranchDiff |
$sel:removedTerms:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:removedTypeEdits:PatchDiff | U.Codebase.Sqlite.Patch.Diff |
$sel:removedTypes:BranchDiff | Unison.Codebase.Branch.BranchDiff |
$sel:removedTypes:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:renamedTerms:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:renamedTypes:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:replacement:NamedReference | Unison.Typechecker |
$sel:replacementRange:TextReplacement | Unison.Codebase.Editor.HandleInput.FormatFile |
$sel:replacementText:TextReplacement | |
1 (Function) | Unison.Codebase.Editor.HandleInput.FormatFile |
2 (Function) | Unison.LSP.Commands |
$sel:repo:ReadShareLooseCode | Unison.Codebase.Editor.RemoteRepo |
$sel:repoInfo:DownloadEntitiesRequest | Unison.Sync.Types |
$sel:repoInfo:UploadEntitiesRequest | Unison.Sync.Types |
$sel:requested:Mismatch | Unison.Typechecker.TypeError |
$sel:resolvedLoc:Resolution | Unison.Typechecker |
$sel:resolvedName:Resolution | Unison.Typechecker |
$sel:resolvedTermConflicts:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:resolvedTypeConflicts:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:reversedSegments:NamedRef | U.Codebase.Sqlite.NamedRef |
$sel:rhs:Mismatch | Unison.Typechecker.TypeError |
$sel:right:TermDefinitionDiff | Unison.Server.Types |
$sel:right:TypeDefinitionDiff | Unison.Server.Types |
$sel:rows:ExpectedAtMostOneRowException | Unison.Sqlite.Connection, Unison.Sqlite |
$sel:rows:ExpectedExactlyOneRowException | Unison.Sqlite.Connection, Unison.Sqlite |
$sel:runBackend:Backend | Unison.Server.Backend |
$sel:runLspM:Lsp | Unison.LSP.Types |
$sel:runSubseq:SubseqExtractor' | Unison.Typechecker.Extractor |
$sel:runtime:Env | |
1 (Function) | Unison.LSP.Types |
2 (Function) | Unison.Cli.Monad |
$sel:sandbox:CCache | Unison.Runtime.Machine |
$sel:sandboxed:CCache | Unison.Runtime.Machine |
$sel:sandboxedRuntime:Env | Unison.Cli.Monad |
$sel:scope:Env | Unison.LSP.Types |
$sel:scopes:Tokens | Unison.Auth.Types |
$sel:selfHash:DbCausal | U.Codebase.Sqlite.Causal |
$sel:server:ReadShareLooseCode | Unison.Codebase.Editor.RemoteRepo |
$sel:serverBaseUrl:Env | Unison.Cli.Monad |
$sel:shareUserHandleToText:ShareUserHandle | Unison.Codebase.Editor.RemoteRepo |
$sel:showFailures:TestInput | Unison.Codebase.Editor.Input |
$sel:showSuccesses:TestInput | Unison.Codebase.Editor.Input |
$sel:showWelcomeHint:Welcome | Unison.CommandLine.Welcome |
$sel:signature:TermDefinition | Unison.Server.Types |
$sel:signature:TypeSignatureHint | Unison.LSP.Types |
$sel:sizeRef:CycleTable | Unison.Util.CycleTable |
$sel:soloUpdatesAndDeletes:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:solvedVars:Mismatch | Unison.Typechecker.TypeError |
$sel:source:BobMergeInfo | Unison.Codebase.Editor.HandleInput.Merge2 |
$sel:sourceTarget:PushRemoteBranchInput | Unison.Codebase.Editor.Input |
$sel:sp:Stack | Unison.Runtime.Stack |
$sel:spX:XStack | Unison.Runtime.Stack |
$sel:squashedBranchHead:ProjectBranch | Unison.Share.API.Projects |
$sel:squashedBranchHead:RemoteProjectBranch | Unison.Cli.Share.Projects.Types, Unison.Cli.Share.Projects |
$sel:srcCombs:CCache | Unison.Runtime.Machine |
$sel:stageOne:Mergeblob3 | Unison.Merge.Mergeblob3, Unison.Merge |
$sel:stageTwo:Mergeblob3 | Unison.Merge.Mergeblob3, Unison.Merge |
$sel:start:Intrinsic | Unison.Parser.Ann |
$sel:start:Pure | Unison.Typechecker.Extractor |
$sel:start:Token | Unison.Syntax.Lexer.Token, Unison.Syntax.Lexer, Unison.Syntax.Lexer.Unison |
$sel:strayConstructors:IncoherentDeclReasons | Unison.Merge.DeclCoherencyCheck, Unison.Merge |
$sel:subDirs:Directory | System.Path |
$sel:suffixified:Suffixify | Unison.Server.Types |
$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:ArgumentType | Unison.CommandLine.InputPattern |
$sel:suggestions:Mismatch | Unison.Typechecker.TypeError |
$sel:suggestions:Resolution | Unison.Typechecker |
$sel:suggestionType:Suggestion | Unison.Typechecker.Context |
$sel:summary:TermSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:summary:TypeSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:supplied:HashMismatchForEntity | Unison.Sync.Types |
$sel:table:CycleTable | Unison.Util.CycleTable |
$sel:tag:TermSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:tag:TypeSummary | Unison.Server.Local.Endpoints.DefinitionSummary |
$sel:tagRefs:CCache | Unison.Runtime.Machine |
$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:termAlias:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:termAliases:TermResult | Unison.Server.SearchResult |
$sel:termDefinition:TermDefinition | Unison.Server.Types |
$sel:termDefinitions:DefinitionDisplayResults | Unison.Server.Types |
$sel:termDiffs:DefinitionDiffs | U.Codebase.Branch.Diff |
$sel:termDocs:TermDefinition | Unison.Server.Types |
$sel:termEdits:Patch | |
1 (Function) | U.Codebase.Branch.Type, U.Codebase.Branch |
2 (Function) | U.Codebase.Sqlite.Patch.Full |
$sel:termEntryConflicted:TermEntry | Unison.Server.Backend |
$sel:termEntryHash:TermEntry | Unison.Server.Backend |
$sel:termEntryName:TermEntry | Unison.Server.Backend |
$sel:termEntryReferent:TermEntry | Unison.Server.Backend |
$sel:termEntryTag:TermEntry | Unison.Server.Backend |
$sel:termEntryType:TermEntry | Unison.Server.Backend |
$sel:termExistingConstructorCollisions:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:termHash:NamedTerm | Unison.Server.Types |
$sel:terminate:Runtime | Unison.Codebase.Runtime, Unison.Runtime.Interface |
$sel:termName:NamedTerm | Unison.Server.Types |
$sel:termName:TermResult | Unison.Server.SearchResult |
$sel:termNameAdds:NameChanges | U.Codebase.Branch.Diff |
$sel:termNameRemovals:NameChanges | U.Codebase.Branch.Diff |
$sel:termNames:PrettyPrintEnv | Unison.PrettyPrintEnv |
$sel:termNames:TermDefinition | Unison.Server.Types |
$sel:termNamesInPerspective:NamesInPerspective | U.Codebase.Sqlite.Operations |
$sel:termReferentsByPrefix:Codebase | Unison.Codebase.Type, Unison.Codebase |
$sel:termResults:DefinitionResults | Unison.Server.Backend |
$sel:terms':Dependencies' | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:terms:Branch | |
1 (Function) | U.Codebase.Branch.Type, U.Codebase.Branch |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:terms:BranchV3 | |
1 (Function) | U.Codebase.BranchV3 |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:terms:Defns | Unison.Util.Defns |
$sel:terms:Dependencies | Unison.Codebase.SqliteCodebase.Branch.Dependencies |
$sel:terms:Diff | U.Codebase.Sqlite.Branch.Diff |
$sel:terms:DumpNamespace | Unison.Codebase.Editor.Output.DumpNamespace |
$sel:terms:NameBasedDiff | U.Codebase.Branch.Diff |
$sel:terms:Names | Unison.Names |
$sel:terms:SlurpComponent | Unison.Codebase.Editor.SlurpComponent |
$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:termSearch:NameSearch | Unison.Server.NameSearch, Unison.Server.NameSearch.Sqlite |
$sel:termSite:Mismatch | Unison.Typechecker.TypeError |
$sel:termsMentioningTypeImpl:Codebase | Unison.Codebase.Type |
$sel:termsOfTypeImpl:Codebase | Unison.Codebase.Type |
$sel:termTag:NamedTerm | Unison.Server.Types |
$sel:termType:NamedTerm | Unison.Server.Types |
$sel:testWatchSummary:FileSummary | Unison.UnisonFile.Summary |
$sel:textLookup:LocalIds | U.Codebase.Sqlite.LocalIds |
$sel:textLookup:Namespace | Unison.Sync.Types |
$sel:textLookup:NamespaceDiff | Unison.Sync.Types |
$sel:textLookup:Patch | Unison.Sync.Types |
$sel:textLookup:PatchDiff | Unison.Sync.Types |
$sel:texts:LocalIds | Unison.Sync.Types |
$sel:time:Entry | |
1 (Function) | U.Codebase.Reflog |
2 (Function) | U.Codebase.Sqlite.ProjectReflog |
$sel:tlhs:Mismatch | Unison.Typechecker.TypeError |
$sel:toDataDecl:EffectDeclaration | Unison.DataDeclaration |
$sel:token:CodebaseServerOpts | Unison.Server.CodebaseServer |
$sel:tokenEndpoint:DiscoveryDoc | Unison.Auth.Types |
$sel:tokenMap:FileAnalysis | Unison.LSP.Types |
$sel:tokens:CodeserverCredentials | Unison.Auth.Types |
$sel:tokenType:Tokens | Unison.Auth.Types |
$sel:toList:ForwardName | Unison.Name.Forward |
$sel:topLevelComponents':TypecheckedUnisonFileId | Unison.UnisonFile.Type, Unison.UnisonFile |
$sel:topLevelComponents:Env | Unison.Typechecker |
$sel:toReference:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:toReferenceDecl:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:toReferenceDeclMentions:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:toReferenceMentions:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:toRootCausalHash:Entry | |
1 (Function) | U.Codebase.Reflog |
2 (Function) | U.Codebase.Sqlite.ProjectReflog |
$sel:toSeq:Path | Unison.Codebase.Path |
$sel:toShort:Hash | Unison.Hash |
$sel:toText:ShortCausalHash | Unison.Codebase.ShortCausalHash |
$sel:tracer:CCache | Unison.Runtime.Machine |
$sel:trenames:DiffSlice | Unison.Codebase.BranchDiff |
$sel:trhs:Mismatch | Unison.Typechecker.TypeError |
$sel:typeAlias:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:typeAliases:TypeResult | Unison.Server.SearchResult |
$sel:typecheckedFile:FileAnalysis | Unison.LSP.Types |
$sel:typeDef:FoundType | Unison.Server.Local.Endpoints.FuzzyFind |
$sel:typeDefinition:TypeDefinition | Unison.Server.Types |
$sel:typeDefinitions:DefinitionDisplayResults | Unison.Server.Types |
$sel:typeDiffs:DefinitionDiffs | U.Codebase.Branch.Diff |
$sel:typeDocs:TypeDefinition | Unison.Server.Types |
$sel:typeEdits:Patch | |
1 (Function) | U.Codebase.Branch.Type, U.Codebase.Branch |
2 (Function) | U.Codebase.Sqlite.Patch.Full |
$sel:typeEntryConflicted:TypeEntry | Unison.Server.Backend |
$sel:typeEntryHash:TypeEntry | Unison.Server.Backend |
$sel:typeEntryName:TypeEntry | Unison.Server.Backend |
$sel:typeEntryReference:TypeEntry | Unison.Server.Backend |
$sel:typeEntryTag:TypeEntry | Unison.Server.Backend |
$sel:typeHash:NamedType | Unison.Server.Types |
$sel:typeLookup:Env | Unison.Typechecker |
$sel:typeMap:GenState | Unison.KindInference.Generate.Monad |
$sel:typeMap:SolveState | Unison.KindInference.Solve.Monad |
$sel:typeName:ArgumentType | Unison.CommandLine.InputPattern |
$sel:typeName:NamedType | Unison.Server.Types |
$sel:typeName:TypeResult | Unison.Server.SearchResult |
$sel:typeNameAdds:NameChanges | U.Codebase.Branch.Diff |
$sel:typeNameRemovals:NameChanges | U.Codebase.Branch.Diff |
$sel:typeNames:PrettyPrintEnv | Unison.PrettyPrintEnv |
$sel:typeNames:TypeDefinition | Unison.Server.Types |
$sel:typeNamesInPerspective:NamesInPerspective | U.Codebase.Sqlite.Operations |
$sel:typeOfTerms:TypeLookup | Unison.Typechecker.TypeLookup |
$sel:typeResults:DefinitionResults | Unison.Server.Backend |
$sel:types:Branch | |
1 (Function) | U.Codebase.Branch.Type, U.Codebase.Branch |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:types:BranchV3 | |
1 (Function) | U.Codebase.BranchV3 |
2 (Function) | U.Codebase.Sqlite.Branch.Full |
$sel:types:Defns | Unison.Util.Defns |
$sel:types:Diff | U.Codebase.Sqlite.Branch.Diff |
$sel:types:DumpNamespace | Unison.Codebase.Editor.Output.DumpNamespace |
$sel:types:NameBasedDiff | U.Codebase.Branch.Diff |
$sel:types:Names | Unison.Names |
$sel:types:SlurpComponent | Unison.Codebase.Editor.SlurpComponent |
$sel:typesDiff:BranchDiff | Unison.Codebase.BranchDiff |
$sel:typeSearch:NameSearch | Unison.Server.NameSearch, Unison.Server.NameSearch.Sqlite |
$sel:typeSignature:TypeSigInsertion | Unison.LSP.CodeLens |
$sel:typeSignatureHints:FileAnalysis | Unison.LSP.Types |
$sel:typeSite:Mismatch | Unison.Typechecker.TypeError |
$sel:typeTag:NamedType | Unison.Server.Types |
$sel:type_:TermDisplay | Unison.Codebase.Editor.Output.BranchDiff |
$sel:tyvars:SynDataDecl | Unison.Syntax.DeclParser |
$sel:tyvars:SynEffectDecl | Unison.Syntax.DeclParser |
$sel:ucmVersion:Env | Unison.Cli.Monad |
$sel:unabsolute:Absolute | Unison.Codebase.Path |
$sel:unBranchHashId:BranchHashId | U.Codebase.Sqlite.DbId |
$sel:unBranchObjectId:BranchObjectId | U.Codebase.Sqlite.DbId |
$sel:unCausalHashId:CausalHashId | U.Codebase.Sqlite.DbId |
$sel:unClosure:Closure | Unison.Runtime.Stack |
$sel:unCompletionTree:CompletionTree | Unison.LSP.Types |
$sel:unconflicts:Mergeblob1 | Unison.Merge.Mergeblob1, Unison.Merge |
$sel:unconflicts:Mergeblob2 | Unison.Merge.Mergeblob2, Unison.Merge |
$sel:underlying:Bytes | Unison.Util.Bytes |
$sel:unGen:Gen | Unison.KindInference.Generate.Monad |
$sel:unHashJWT:HashJWT | Unison.Share.API.Hash |
$sel:unifVars:GenState | Unison.KindInference.Generate.Monad |
$sel:unifVars:SolveState | Unison.KindInference.Solve.Monad |
$sel:uniqueNames:ParsingEnv | Unison.Syntax.Parser |
$sel:uniqueTypeGuid:ParsingEnv | Unison.Syntax.Parser |
$sel:uniqueTypeGuids:Mergeblob3 | Unison.Merge.Mergeblob3, Unison.Merge |
$sel:unisonVersion:Welcome | Unison.CommandLine.Welcome |
$sel:unknownTermV:Mismatch | Unison.Typechecker.TypeError |
$sel:unknownTypeV:Mismatch | Unison.Typechecker.TypeError |
$sel:unLocallyIndexedComponent:LocallyIndexedComponent | |
1 (Function) | U.Codebase.Sqlite.Decl.Format |
2 (Function) | U.Codebase.Sqlite.Term.Format |
$sel:unMdValues:MdValues | U.Codebase.Branch.Type, U.Codebase.Branch |
$sel:unparsedFile:Mergeblob3 | Unison.Merge.Mergeblob3, Unison.Merge |
$sel:unparsedSoloFiles:Mergeblob3 | Unison.Merge.Mergeblob3, Unison.Merge |
$sel:unPatchObjectId:PatchObjectId | U.Codebase.Sqlite.DbId |
$sel:unPath':Path' | Unison.Codebase.Path |
$sel:unProjectBranchId:ProjectBranchId | U.Codebase.Sqlite.DbId |
$sel:unProjectBranchNameParam:ProjectBranchNameParam | Unison.Server.Types |
$sel:unProjectId:ProjectId | U.Codebase.Sqlite.DbId |
$sel:unRaw:RawHtml | Unison.Server.CodebaseServer |
$sel:unRComb:RComb | Unison.Runtime.MCode |
$sel:unrelative:Relative | Unison.Codebase.Path |
$sel:unRemoteProjectBranchId:RemoteProjectBranchId | U.Codebase.Sqlite.DbId |
$sel:unRemoteProjectId:RemoteProjectId | U.Codebase.Sqlite.DbId |
$sel:unRepoInfo:RepoInfo | Unison.Sync.Types |
$sel:unSolve:Solve | Unison.KindInference.Solve.Monad |
$sel:unsuffixifiedPPE:PrettyPrintEnvDecl | Unison.PrettyPrintEnvDecl |
$sel:unTreeDiff:TreeDiff | U.Codebase.Branch.Diff |
$sel:unusedVars:VarUsages | Unison.LSP.FileAnalysis.UnusedBindings |
$sel:updatedPatches:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:updatedTerms:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:updatedTypes:BranchDiffOutput | Unison.Codebase.Editor.Output.BranchDiff |
$sel:updates:SlurpResult | Unison.Codebase.Editor.SlurpResult |
$sel:updates:Unconflicts | Unison.Merge.Unconflicts, Unison.Merge |
$sel:urlHost:BaseUrl | Unison.Server.CodebaseServer |
$sel:urlPort:BaseUrl | Unison.Server.CodebaseServer |
$sel:urlToken:BaseUrl | Unison.Server.CodebaseServer |
$sel:usedVars:VarUsages | Unison.LSP.FileAnalysis.UnusedBindings |
$sel:useNamesIndex:BackendEnv | Unison.Server.Backend |
$sel:userId:HashJWTClaims | Unison.Share.API.Hash |
$sel:userId:UserInfo | Unison.Auth.Types |
$sel:userInfo:CodeserverCredentials | Unison.Auth.Types |
$sel:userInfoEndpoint:DiscoveryDoc | Unison.Auth.Types |
$sel:ustk:Stack | Unison.Runtime.Stack |
$sel:ustkX:XStack | Unison.Runtime.Stack |
$sel:uvarType:UVar | Unison.KindInference.UVar |
$sel:v:Resolution | Unison.Typechecker |
$sel:value:Causal | U.Codebase.Causal |
$sel:value:Nametree | Unison.Util.Nametree |
$sel:value:Synhashed | Unison.Merge.Synhashed, Unison.Merge |
$sel:valueHash:Causal | U.Codebase.Causal |
$sel:valueHash:DbCausal | U.Codebase.Sqlite.Causal |
$sel:valueHash:SyncCausalFormat | U.Codebase.Sqlite.Causal |
$sel:valueHash:UnsafeOne | Unison.Codebase.Causal.Type, Unison.Codebase.Causal |
$sel:variable:Subst | Unison.ABT |
$sel:verifyDeclFormatHash:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:verifyTermFormatHash:HashHandle | U.Codebase.Sqlite.HashHandle |
$sel:vfsVar:Env | Unison.LSP.Types |
$sel:visibility:InputPattern | Unison.CommandLine.InputPattern |
$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:waitFor:Waiter | Unison.Server.CodebaseServer |
$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:writeSource:Env | Unison.Cli.Monad |
$sel:_addedTermEdits:PatchDiff | Unison.Codebase.Patch |
$sel:_addedTypeEdits:PatchDiff | Unison.Codebase.Patch |
$sel:_childrenR:Raw | Unison.Codebase.Branch.Raw |
$sel:_codeAction:RangedCodeAction | Unison.LSP.Types |
$sel:_codeActionRanges:RangedCodeAction | Unison.LSP.Types |
$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 |