unison-parser-typechecker-0.0.0

Index - $

$sel:abilityCheckFailureSite:MismatchUnison.Typechecker.TypeError
$sel:absPath:ProjectPathUnison.Codebase.ProjectPath
$sel:addedTerms:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:addedTypes:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:adds:DiffU.Codebase.Branch.Diff
$sel:ambient:MismatchUnison.Typechecker.TypeError
$sel:ambientAbilities:EnvUnison.Typechecker
$sel:arg:MismatchUnison.Typechecker.TypeError
$sel:argNum:MismatchUnison.Typechecker.TypeError
$sel:beComponent:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:beComponentTargetSize:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:beMissingDependencies:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:beWaitingDependents:BufferEntryUnison.Codebase.SqliteCodebase.Operations
$sel:branch:ProjectPathUnison.Codebase.ProjectPath
$sel:branches:DependenciesUnison.Codebase.SqliteCodebase.SyncEphemeral
$sel:branchId:ProjectBranchUnison.Codebase.ProjectPath
$sel:bugs:NotesUnison.Typechecker
$sel:cause:ErrorNoteUnison.Typechecker.Context
$sel:changedPatches:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:codebasePath:Init 
1 (Function)Unison.Codebase.Init.Type
2 (Function)Unison.Codebase.Init
$sel:codeserverId:CodeserverIdUnison.Share.Types
$sel:codeserverPath:CodeserverURIUnison.Share.Types
$sel:codeserverPort:CodeserverURIUnison.Share.Types
$sel:codeserverRegName:CodeserverURIUnison.Share.Types
$sel:codeserverScheme:CodeserverURIUnison.Share.Types
$sel:codeserverUserInfo:CodeserverURIUnison.Share.Types
$sel:compileTo:RuntimeUnison.Codebase.Runtime
$sel:conflictedConstraint:ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
$sel:conflictedVar:ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
$sel:constraintMap:NormalizedConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
$sel:constraints:SolveStateUnison.KindInference.Solve.Monad
$sel:createCodebase':InitUnison.Codebase.Init.Type
$sel:currentHash:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:cycle:MismatchUnison.Typechecker.TypeError
$sel:cycleLocs:MismatchUnison.Typechecker.TypeError
$sel:d1:Star2Unison.Util.Star2
$sel:d2:Star2Unison.Util.Star2
$sel:dataDeclarationsId':TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:dataDeclarationsId:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:dataDecls:TypeLookupUnison.Typechecker.TypeLookup
$sel:dataDeclsByReference:FileSummaryUnison.UnisonFile.Summary
$sel:dataDeclsBySymbol:FileSummaryUnison.UnisonFile.Summary
$sel:datasId:EnvUnison.UnisonFile.Env
$sel:decls':Dependencies'Unison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:decls:DependenciesUnison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:definitions:DependenciesUnison.Codebase.SqliteCodebase.SyncEphemeral
$sel:definitions:TopLevelComponentUnison.Typechecker.TypeError
$sel:defns:MismatchUnison.Typechecker.TypeError
$sel:descriptorConstraint:DescriptorUnison.KindInference.Solve.Monad
$sel:dirtySet:NormalizedConstraintsUnison.PatternMatchCoverage.NormalizedConstraints
$sel:effectDeclarationsId':TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:effectDeclarationsId:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:effectDecls:TypeLookupUnison.Typechecker.TypeLookup
$sel:effectDeclsByReference:FileSummaryUnison.UnisonFile.Summary
$sel:effectDeclsBySymbol:FileSummaryUnison.UnisonFile.Summary
$sel:effectsId:EnvUnison.UnisonFile.Env
$sel:end:PureUnison.Typechecker.Extractor
$sel:errors:NotesUnison.Typechecker
$sel:evaluate:RuntimeUnison.Codebase.Runtime
$sel:expectedLeaf:MismatchUnison.Typechecker.TypeError
$sel:expectedLoc:MismatchUnison.Typechecker.TypeError
$sel:expectedSite:MismatchUnison.Typechecker.TypeError
$sel:expectedType:MismatchUnison.Typechecker.TypeError
$sel:exprWatchSummary:FileSummaryUnison.UnisonFile.Summary
$sel:f:MismatchUnison.Typechecker.TypeError
$sel:fact:Star2Unison.Util.Star2
$sel:fileNames:FileSummaryUnison.UnisonFile.Summary
$sel:filterTermsByReferenceIdHavingTypeImpl:CodebaseUnison.Codebase.Type
$sel:filterTermsByReferentIdHavingTypeImpl:CodebaseUnison.Codebase.Type
$sel:foundLeaf:MismatchUnison.Typechecker.TypeError
$sel:foundType:MismatchUnison.Typechecker.TypeError
$sel:fqn:NamedReferenceUnison.Typechecker
$sel:fqnType:NamedReferenceUnison.Typechecker
$sel:ft:MismatchUnison.Typechecker.TypeError
$sel:get:FormatUnison.Codebase.Serialization
$sel:get:PureUnison.Typechecker.Extractor
$sel:getBooleanMismatch:MismatchUnison.Typechecker.TypeError
$sel:getBranchForHash:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getDeclType:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getExistentialMismatch:MismatchUnison.Typechecker.TypeError
$sel:getLevel:LoggerUnison.Util.Logger
$sel:getScope:LoggerUnison.Util.Logger
$sel:getTerm:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getTerm:CodeLookupUnison.Codebase.CodeLookup
$sel:getTermComponentWithTypes:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getTypeDeclaration:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:getTypeDeclaration:CodeLookupUnison.Codebase.CodeLookup
$sel:getTypeOfTermImpl:CodebaseUnison.Codebase.Type
$sel:getWatch:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:hashTermsId:TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:head:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:impliedConstraint:ConstraintConflict'Unison.KindInference.Error, Unison.KindInference.Solve
$sel:inferredType:ResolutionUnison.Typechecker
$sel:infos:NotesUnison.Typechecker
$sel:insertCachedBranch:BranchCacheUnison.Codebase.SqliteCodebase.Branch.Cache
$sel:ioTestTypes:RuntimeUnison.Codebase.Runtime
$sel:leafs:MismatchUnison.Typechecker.TypeError
$sel:lhs:MismatchUnison.Typechecker.TypeError
$sel:lookupCachedBranch:BranchCacheUnison.Codebase.SqliteCodebase.Branch.Cache
$sel:mainType:RuntimeUnison.Codebase.Runtime
$sel:mismatchSite:MismatchUnison.Typechecker.TypeError
$sel:name:ProjectUnison.Codebase.ProjectPath
$sel:name:ProjectBranchUnison.Codebase.ProjectPath
$sel:names:EnvUnison.UnisonFile.Env
$sel:nameTerm:NamerUnison.PrettyPrintEnv.Names
$sel:nameType:NamerUnison.PrettyPrintEnv.Names
$sel:newUnifVars:SolveStateUnison.KindInference.Solve.Monad
$sel:newVars:GenStateUnison.KindInference.Generate.Monad
$sel:note:MismatchUnison.Typechecker.TypeError
$sel:openCodebase:InitUnison.Codebase.Init.Type
$sel:parentBranchId:ProjectBranchUnison.Codebase.ProjectPath
$sel:patches':Dependencies'Unison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:patches:DependenciesUnison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:patchesDiff:BranchDiffUnison.Codebase.BranchDiff
$sel:path:ErrorNoteUnison.Typechecker.Context
$sel:path:ReadShareLooseCodeUnison.Codebase.Editor.RemoteRepo
$sel:prefix:LoggerUnison.Util.Logger
$sel:preloadBranch:CodebaseUnison.Codebase.Type
$sel:prettyPrintEnv:EnvUnison.KindInference.Solve.Monad
$sel:profile:COptsUnison.Codebase.Runtime
$sel:project:ProjectPathUnison.Codebase.ProjectPath
$sel:projectId:ProjectUnison.Codebase.ProjectPath
$sel:projectId:ProjectBranchUnison.Codebase.ProjectPath
$sel:put:FormatUnison.Codebase.Serialization
$sel:putBranch:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTerm:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTermComponent:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTypeDeclaration:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:putTypeDeclarationComponent:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:raw:LoggerUnison.Util.Logger
$sel:removals:DiffU.Codebase.Branch.Diff
$sel:removedTerms:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:removedTypes:BranchDiffUnison.Codebase.Branch.BranchDiff
$sel:replacement:NamedReferenceUnison.Typechecker
$sel:repo:ReadShareLooseCodeUnison.Codebase.Editor.RemoteRepo
$sel:requested:MismatchUnison.Typechecker.TypeError
$sel:resolvedLoc:ResolutionUnison.Typechecker
$sel:resolvedName:ResolutionUnison.Typechecker
$sel:rhs:MismatchUnison.Typechecker.TypeError
$sel:runSubseq:SubseqExtractor'Unison.Typechecker.Extractor
$sel:server:ReadShareLooseCodeUnison.Codebase.Editor.RemoteRepo
$sel:shareUserHandleToText:ShareUserHandleUnison.Codebase.Editor.RemoteRepo
$sel:sizeRef:CycleTableUnison.Util.CycleTable
$sel:solvedVars:MismatchUnison.Typechecker.TypeError
$sel:start:PureUnison.Typechecker.Extractor
$sel:suffixifiedPPE:PrettyPrintEnvDeclUnison.PrettyPrintEnvDecl
$sel:suggestionMatch:SuggestionUnison.Typechecker.Context
$sel:suggestionName:SuggestionUnison.Typechecker.Context
$sel:suggestionReplacement:SuggestionUnison.Typechecker.Context
$sel:suggestions:MismatchUnison.Typechecker.TypeError
$sel:suggestions:ResolutionUnison.Typechecker
$sel:suggestionType:SuggestionUnison.Typechecker.Context
$sel:table:CycleTableUnison.Util.CycleTable
$sel:tail:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:tails:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:talladds:DiffSliceUnison.Codebase.BranchDiff
$sel:tallnamespaceUpdates:DiffSliceUnison.Codebase.BranchDiff
$sel:tallremoves:DiffSliceUnison.Codebase.BranchDiff
$sel:termDiffs:DefinitionDiffsU.Codebase.Branch.Diff
$sel:terminate:RuntimeUnison.Codebase.Runtime
$sel:termNameAdds:NameChangesU.Codebase.Branch.Diff
$sel:termNameRemovals:NameChangesU.Codebase.Branch.Diff
$sel:termNames:PrettyPrintEnvUnison.PrettyPrintEnv
$sel:termReferentsByPrefix:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:terms':Dependencies'Unison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:terms:DependenciesUnison.Codebase.SqliteCodebase.Branch.Dependencies
$sel:terms:NameBasedDiffU.Codebase.Branch.Diff
$sel:terms:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:termsByReference:FileSummaryUnison.UnisonFile.Summary
$sel:termsByShortname:EnvUnison.Typechecker
$sel:termsBySymbol:FileSummaryUnison.UnisonFile.Summary
$sel:termsDiff:BranchDiffUnison.Codebase.BranchDiff
$sel:termSite:MismatchUnison.Typechecker.TypeError
$sel:termsMentioningTypeImpl:CodebaseUnison.Codebase.Type
$sel:termsOfTypeImpl:CodebaseUnison.Codebase.Type
$sel:testWatchSummary:FileSummaryUnison.UnisonFile.Summary
$sel:tlhs:MismatchUnison.Typechecker.TypeError
$sel:topLevelComponents':TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:toSeq:PathUnison.Codebase.Path
$sel:toText:ShortCausalHashUnison.Codebase.ShortCausalHash
$sel:trenames:DiffSliceUnison.Codebase.BranchDiff
$sel:trhs:MismatchUnison.Typechecker.TypeError
$sel:typeDiffs:DefinitionDiffsU.Codebase.Branch.Diff
$sel:typeLookup:EnvUnison.Typechecker
$sel:typeMap:GenStateUnison.KindInference.Generate.Monad
$sel:typeMap:SolveStateUnison.KindInference.Solve.Monad
$sel:typeNameAdds:NameChangesU.Codebase.Branch.Diff
$sel:typeNameRemovals:NameChangesU.Codebase.Branch.Diff
$sel:typeNames:PrettyPrintEnvUnison.PrettyPrintEnv
$sel:typeOfTerms:TypeLookupUnison.Typechecker.TypeLookup
$sel:types:NameBasedDiffU.Codebase.Branch.Diff
$sel:typesDiff:BranchDiffUnison.Codebase.BranchDiff
$sel:typeSite:MismatchUnison.Typechecker.TypeError
$sel:unabsolute:AbsoluteUnison.Codebase.Path
$sel:unGen:GenUnison.KindInference.Generate.Monad
$sel:unifVars:GenStateUnison.KindInference.Generate.Monad
$sel:unifVars:SolveStateUnison.KindInference.Solve.Monad
$sel:unknownTermV:MismatchUnison.Typechecker.TypeError
$sel:unknownTypeV:MismatchUnison.Typechecker.TypeError
$sel:unPath':Path'Unison.Codebase.Path
$sel:unrelative:RelativeUnison.Codebase.Path
$sel:unSolve:SolveUnison.KindInference.Solve.Monad
$sel:unsuffixifiedPPE:PrettyPrintEnvDeclUnison.PrettyPrintEnvDecl
$sel:unTreeDiff:TreeDiffU.Codebase.Branch.Diff
$sel:uvarType:UVarUnison.KindInference.UVar
$sel:v:ResolutionUnison.Typechecker
$sel:valueHash:UnsafeOneUnison.Codebase.Causal.Type, Unison.Codebase.Causal
$sel:vi_con:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:vi_eff:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:vi_id:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:vi_typ:VarInfoUnison.PatternMatchCoverage.NormalizedConstraints
$sel:watchComponents:TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:watches:UnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
$sel:withConnection:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:withConnectionIO:CodebaseUnison.Codebase.Type, Unison.Codebase
$sel:withCreatedCodebase:InitUnison.Codebase.Init
$sel:withOpenCodebase:InitUnison.Codebase.Init
$sel:_addedTermEdits:PatchDiffUnison.Codebase.Patch
$sel:_addedTypeEdits:PatchDiffUnison.Codebase.Patch
$sel:_childrenR:RawUnison.Codebase.Branch.Raw
$sel:_editsR:RawUnison.Codebase.Branch.Raw
$sel:_history:BranchUnison.Codebase.Branch.Type, Unison.Codebase.Branch
$sel:_removedTermEdits:PatchDiffUnison.Codebase.Patch
$sel:_removedTypeEdits:PatchDiffUnison.Codebase.Patch
$sel:_termEdits:PatchUnison.Codebase.Patch
$sel:_termsR:RawUnison.Codebase.Branch.Raw
$sel:_typeEdits:PatchUnison.Codebase.Patch
$sel:_typesR:RawUnison.Codebase.Branch.Raw
$sel:_uvarSymbol:UVarUnison.KindInference.UVar