unison-parser-typechecker-0.0.0

Index - T

TUnison.PatternMatchCoverage.Literal
takeUnison.Util.Text
takeWhileUnison.Util.TQueue
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
termDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TermEditUnison.Codebase.TermEdit
termEditsUnison.Codebase.Patch
termExistsUnison.Codebase.SqliteCodebase.Operations
termNameUnison.PrettyPrintEnv
termNameOrHashOnlyUnison.PrettyPrintEnv
termNameOrHashOnlyFqUnison.PrettyPrintEnv
termNamespaceBindingsUnison.UnisonFile
termReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
termRefTypeReferencesUnison.Builtin
termRefTypesUnison.Builtin
terms 
1 (Function)Unison.PrettyPrintEnv
2 (Function)Unison.Codebase.Branch.Type, Unison.Codebase.Branch
termSignatureExternalLabeledDependenciesUnison.UnisonFile
termsMentioningTypeUnison.Codebase
termsMentioningTypeImplUnison.Codebase.SqliteCodebase.Operations
termsOfTypeUnison.Codebase
termsOfTypeImplUnison.Codebase.SqliteCodebase.Operations
testResultListRefUnison.Builtin.Decls
testResultListTypeUnison.Builtin.Decls
testResultRefUnison.Builtin.Decls
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
tlsFailureRefUnison.Builtin.Decls
tlsPrivateKeyRefUnison.Builtin.Decls
tlsSignedCertRefUnison.Builtin.Decls
tlsSignedCertTypeUnison.Builtin.Decls
to'Unison.Codebase.SqliteCodebase.Branch.Dependencies
toAbsoluteSplitUnison.Codebase.Path
toClassesUnison.PatternMatchCoverage.UFMap
todoHashLengthUnison.PrettyPrintEnv
toEitherUnison.Result
toHandleUnison.Util.Logger
toHashUnison.Codebase.ShortCausalHash
toIdsUnison.Codebase.ProjectPath
toLazyTextUnison.Util.Text
toListUnison.Codebase.Path
toList0Unison.Codebase.Branch
toLowercaseUnison.Util.Text
toMaybe 
1 (Function)Unison.Result
2 (Function)Unison.Codebase.Editor.DisplayObject
toNameUnison.Codebase.Path
toName'Unison.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
topLevelComponentsUnison.UnisonFile
toPrettyPrintEnvDeclUnison.Codebase.Branch.Names
toProjectAndBranchUnison.Codebase.ProjectPath
toReference 
1 (Function)Unison.Codebase.TermEdit
2 (Function)Unison.Codebase.TypeEdit
toRootUnison.Codebase.ProjectPath
toSplit'Unison.Codebase.Path
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.ProjectPath
3 (Function)Unison.Util.Text
toText'Unison.Codebase.Path
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
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
tryReadPromiseUnison.Util.RefPromise
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
typeDisplayObjectLabeledDependenciesUnison.Codebase.Editor.DisplayObject
TypeEditUnison.Codebase.TypeEdit
typeEditsUnison.Codebase.Patch
TypeError 
1 (Data Constructor)Unison.Typechecker.Context
2 (Type/Class)Unison.Typechecker.TypeError
3 (Data Constructor)Unison.Result
typeErrorFromNoteUnison.Typechecker.TypeError
typeErrorsUnison.Typechecker.Context
TypeInfo 
1 (Type/Class)Unison.Typechecker.TypeError
2 (Data Constructor)Unison.Result
typeInfoFromNoteUnison.Typechecker.TypeError
TypeLookup 
1 (Type/Class)Unison.Typechecker.TypeLookup
2 (Data Constructor)Unison.Typechecker.TypeLookup
typeLookupUnison.Builtin
typeLookupForDependenciesUnison.Codebase
TypeMismatchUnison.Typechecker.Context
typeMismatchUnison.Typechecker.Extractor
typeNameUnison.PrettyPrintEnv
typeNameOrHashOnlyUnison.PrettyPrintEnv
typeNameOrHashOnlyFqUnison.PrettyPrintEnv
typeNamespaceBindingsUnison.UnisonFile
TypeNoteUnison.Typechecker.TypeError
typeOfUnison.Builtin
typeOfDataConstructorUnison.Typechecker.TypeLookup
typeOfEffectConstructorUnison.Typechecker.TypeLookup
typeOfReferentUnison.Typechecker.TypeLookup
typeOfTermUnison.Typechecker.TypeLookup
typeOfTerm'Unison.Typechecker.TypeLookup
typeProvUnison.KindInference.Constraint.Unsolved
TypeProvenanceUnison.KindInference.Constraint.TypeProvenance
typeReferencesByPrefixUnison.Codebase.SqliteCodebase.Operations, Unison.Codebase
types 
1 (Function)Unison.PrettyPrintEnv
2 (Function)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
TypingUnison.Codebase.TermEdit
typingUnison.Codebase.TermEdit.Typing