unison-parser-typechecker-0.0.0

Index - T

TUnison.PatternMatchCoverage.Literal
tableUnison.Util.CycleTable
tailUnison.Codebase.Causal.Type, Unison.Codebase.Causal
tailsUnison.Codebase.Causal.Type, Unison.Codebase.Causal
takeUnison.Util.Text
takeWhileUnison.Util.TQueue
talladdsUnison.Codebase.BranchDiff
tallnamespaceUpdatesUnison.Codebase.BranchDiff
tallremovesUnison.Codebase.BranchDiff
tell1Unison.Result
tellAndFailUnison.Result
Term 
1 (Type/Class)Unison.Typechecker.Context
2 (Type/Class)Unison.Codebase.Runtime
termUnison.Syntax.TermParser
term1to2Unison.Codebase.SqliteCodebase.Conversions
term2to1Unison.Codebase.SqliteCodebase.Conversions
termBindingsUnison.UnisonFile
TermBufferEntryUnison.Codebase.SqliteCodebase.Operations
termComponent1to2Unison.Codebase.SqliteCodebase.Conversions
termConstraintsUnison.KindInference.Generate
termDiffsU.Codebase.Branch.Diff
termDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TermEditUnison.Codebase.TermEdit
termExistsUnison.Codebase.SqliteCodebase.Operations
termFQNUnison.PrettyPrintEnv
terminateUnison.Codebase.Runtime
termNameUnison.PrettyPrintEnv
termNameAddsU.Codebase.Branch.Diff
termNameOrHashOnlyUnison.PrettyPrintEnv
termNameOrHashOnlyFqUnison.PrettyPrintEnv
termNameRemovalsU.Codebase.Branch.Diff
termNamesUnison.PrettyPrintEnv
termReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
termReferentsByPrefixUnison.Codebase.Type, Unison.Codebase
termReferentsByShortHashUnison.Codebase
termRefTypeReferencesUnison.Builtin
termRefTypesUnison.Builtin
terms 
1 (Function)U.Codebase.Branch.Diff
2 (Function)Unison.PrettyPrintEnv
3 (Function)Unison.UnisonFile.Type, Unison.UnisonFile
termsByReferenceUnison.UnisonFile.Summary
termsByShortnameUnison.Typechecker
termsBySymbolUnison.UnisonFile.Summary
termsDiffUnison.Codebase.BranchDiff
termSignatureExternalLabeledDependenciesUnison.UnisonFile
termSiteUnison.Typechecker.TypeError
termsMentioningTypeUnison.Codebase
termsMentioningTypeImpl 
1 (Function)Unison.Codebase.Type
2 (Function)Unison.Codebase.SqliteCodebase.Operations
termsOfTypeUnison.Codebase
termsOfTypeImpl 
1 (Function)Unison.Codebase.Type
2 (Function)Unison.Codebase.SqliteCodebase.Operations
terms_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
termVarAnnotationsUnison.Typechecker.Context.Structure
testResultListRefUnison.Builtin.Decls
testResultListTypeUnison.Builtin.Decls
testResultRefUnison.Builtin.Decls
testWatchSummaryUnison.UnisonFile.Summary
Text 
1 (Data Constructor)Unison.PatternMatchCoverage.PmLit
2 (Type/Class)Unison.Util.Text
3 (Data Constructor)Unison.Util.Text
threadKilledFailureRefUnison.Builtin.Decls
threeWayMergeUnison.Codebase.Causal
threeWayMerge'Unison.Codebase.Causal
thresholdUnison.Util.Text
thunkArgTypeUnison.Builtin.Decls
TicketUnison.Util.RefPromise
tlhsUnison.Typechecker.TypeError
tlsFailureRefUnison.Builtin.Decls
tlsPrivateKeyRefUnison.Builtin.Decls
tlsSignedCertRefUnison.Builtin.Decls
tlsSignedCertTypeUnison.Builtin.Decls
toAbsoluteSplitUnison.Codebase.Path
toClassesUnison.PatternMatchCoverage.UFMap
toDefnsIdsByNameUnison.UnisonFile
todoHashLengthUnison.PrettyPrintEnv
toEitherUnison.Result
toHandleUnison.Util.Logger
toHashUnison.Codebase.ShortCausalHash
toIdsUnison.Codebase.ProjectPath
toLazyTextUnison.Util.Text
toListUnison.Codebase.Path
toLowercaseUnison.Util.Text
toMaybe 
1 (Function)Unison.Result
2 (Function)Unison.Codebase.Editor.DisplayObject
toNameUnison.Codebase.Path
toNames 
1 (Function)Unison.Codebase.ProjectPath
2 (Function)Unison.UnisonFile.Names
3 (Function)Unison.Codebase.Branch.Names
TopUnison.Syntax.Precedence
TopLevelComponent 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Typechecker.TypeError
topLevelComponent 
1 (Function)Unison.Typechecker.Extractor
2 (Function)Unison.Typechecker.TypeError
TopLevelComponentNotFoundUnison.Result
topLevelComponents 
1 (Function)Unison.UnisonFile
2 (Function)Unison.Typechecker
topLevelComponents'Unison.UnisonFile.Type, Unison.UnisonFile
toPrettyPrintEnvDeclUnison.Codebase.Branch.Names
toProjectAndBranchUnison.Codebase.ProjectPath
toReference 
1 (Function)Unison.Codebase.TermEdit
2 (Function)Unison.Codebase.TypeEdit
toRootUnison.Codebase.ProjectPath
toStandardErrorUnison.Util.Logger
toStandardOutUnison.Util.Logger
toString 
1 (Function)Unison.Codebase.ShortCausalHash
2 (Function)Unison.Util.Text
toTermAndWatchNamesUnison.UnisonFile.Names
toText 
1 (Function)Unison.Codebase.Path
2 (Function)Unison.Codebase.ShortCausalHash
3 (Function)Unison.Util.Text
toUppercaseUnison.Util.Text
toUtf8Unison.Util.Text
TQueue 
1 (Type/Class)Unison.Util.TQueue
2 (Data Constructor)Unison.Util.TQueue
traceUnison.Util.Logger
trace'Unison.Util.Logger
traceLevelUnison.Util.Logger
traceNoteUnison.Typechecker.Extractor
traceSubseqUnison.Typechecker.Extractor
transform 
1 (Function)Unison.Codebase.Causal
2 (Function)Unison.Codebase.Branch
transform0Unison.Codebase.Branch
transitiveClosureUnison.Util.TransitiveClosure
transitiveClosure'Unison.Util.TransitiveClosure
transitiveClosure1Unison.Util.TransitiveClosure
transitiveClosure1'Unison.Util.TransitiveClosure
transitiveDependenciesUnison.Codebase.CodeLookup
traverseConstructorTypesUnison.PatternMatchCoverage.Class
traverseSet_Unison.Util.EnumContainers
traverseWithKeyUnison.Util.EnumContainers
TreeDiff 
1 (Type/Class)U.Codebase.Branch.Diff
2 (Data Constructor)U.Codebase.Branch.Diff
trenamesUnison.Codebase.BranchDiff
trhsUnison.Typechecker.TypeError
tryUnison.Util.Text.Pattern
tryAnyUnison.Util.Exception
tryDequeueUnison.Util.TQueue
tryFlushBufferUnison.Codebase.SqliteCodebase.Operations
tryFlushDeclBufferUnison.Codebase.SqliteCodebase.Operations
tryFlushTermBufferUnison.Codebase.SqliteCodebase.Operations
tryPeekWhileUnison.Util.TQueue
tryPrettySolvedConstraintUnison.KindInference.Constraint.Pretty
tryPrettyUVarKindUnison.KindInference.Constraint.Pretty
tryReadPromiseUnison.Util.RefPromise
tsubUnison.Typechecker.TypeError
tsupUnison.Typechecker.TypeError
ttype1to2Unison.Codebase.SqliteCodebase.Conversions
ttype2to1Unison.Codebase.SqliteCodebase.Conversions
tupleConsTermUnison.Builtin.Decls
TuplePatternUnison.Builtin.Decls
tupleTermUnison.Builtin.Decls
TupleTerm'Unison.Builtin.Decls
TupleType'Unison.Builtin.Decls
TypeUnison.Typechecker.Context
type1to2'Unison.Codebase.SqliteCodebase.Conversions
type2to1'Unison.Codebase.SqliteCodebase.Conversions
TypeAnnotationUnison.KindInference.Constraint.Context
typecheckedToNamesUnison.UnisonFile.Names
typecheckedToTypeLookupUnison.UnisonFile
TypecheckedUnisonFile 
1 (Type/Class)Unison.UnisonFile.Type, Unison.UnisonFile
2 (Data Constructor)Unison.UnisonFile.Type
typecheckedUnisonFileUnison.UnisonFile
TypecheckedUnisonFileIdUnison.UnisonFile.Type, Unison.UnisonFile
TypecheckerBugUnison.Result
typecheckingTermUnison.UnisonFile
typeConstraintsUnison.KindInference.Generate
typeDependenciesUnison.DataDeclaration.Dependencies
typeDiffsU.Codebase.Branch.Diff
typeDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TypeEditUnison.Codebase.TypeEdit
TypeError 
1 (Data Constructor)Unison.Typechecker.Context
2 (Data Constructor)Unison.Result
3 (Type/Class)Unison.Typechecker.TypeError
typeErrorFromNoteUnison.Typechecker.TypeError
typeErrorsUnison.Typechecker.Context
typeFQNUnison.PrettyPrintEnv
TypeInfo 
1 (Data Constructor)Unison.Result
2 (Type/Class)Unison.Typechecker.TypeError
typeInfoFromNoteUnison.Typechecker.TypeError
TypeLookup 
1 (Type/Class)Unison.Typechecker.TypeLookup
2 (Data Constructor)Unison.Typechecker.TypeLookup
typeLookup 
1 (Function)Unison.Typechecker
2 (Function)Unison.Builtin
typeLookupForDependenciesUnison.Codebase
typeMap 
1 (Function)Unison.KindInference.Generate.Monad
2 (Function)Unison.KindInference.Solve.Monad
TypeMismatchUnison.Typechecker.Context
typeMismatchUnison.Typechecker.Extractor
typeNameUnison.PrettyPrintEnv
typeNameAddsU.Codebase.Branch.Diff
typeNameOrHashOnlyUnison.PrettyPrintEnv
typeNameOrHashOnlyFqUnison.PrettyPrintEnv
typeNameRemovalsU.Codebase.Branch.Diff
typeNamesUnison.PrettyPrintEnv
TypeNoteUnison.Typechecker.TypeError
typeOfUnison.Builtin
typeOfDataConstructorUnison.Typechecker.TypeLookup
typeOfEffectConstructorUnison.Typechecker.TypeLookup
typeOfReferentUnison.Typechecker.TypeLookup
typeOfTermUnison.Typechecker.TypeLookup
typeOfTerm'Unison.Typechecker.TypeLookup
typeOfTermsUnison.Typechecker.TypeLookup
typeProvUnison.KindInference.Constraint.Unsolved
TypeProvenanceUnison.KindInference.Constraint.TypeProvenance
typeReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
typeReferencesByShortHashUnison.Codebase
types 
1 (Function)U.Codebase.Branch.Diff
2 (Function)Unison.PrettyPrintEnv
typesDiffUnison.Codebase.BranchDiff
typeSiteUnison.Typechecker.TypeError
types_Unison.Codebase.Branch.Type, Unison.Codebase.Branch
typeToReferenceUnison.Hashing.V2.Convert
typeToReferenceMentionsUnison.Hashing.V2.Convert
TypeVar 
1 (Type/Class)Unison.Typechecker.TypeVar
2 (Type/Class)Unison.Typechecker.Context
TypeWarningUnison.Result
TypingUnison.Codebase.TermEdit
typingUnison.Codebase.TermEdit.Typing
tyvars 
1 (Function)Unison.Syntax.DeclParser
2 (Function)Unison.Syntax.DeclParser