unison-parser-typechecker-0.0.0

Index - I

IfBodyUnison.Typechecker.TypeError
ifBodyUnison.Typechecker.TypeError
IgnoreUnison.PatternMatchCoverage.NormalizedConstraints
IllegalContextExtensionUnison.Typechecker.Context
IllFormedTypeUnison.Typechecker.Context
illFormedTypeUnison.Typechecker.Extractor
ImportsUnison.PrettyPrintEnv.FQN
importsUnison.Syntax.TermParser
improveErrorUnison.KindInference.Error
InaccessiblePatternUnison.Typechecker.Context
InAndAppUnison.Typechecker.Context
inAndAppUnison.Typechecker.Extractor
InCheckUnison.Typechecker.Context
inCheckUnison.Typechecker.Extractor
increment 
1 (Function)Unison.Syntax.Precedence
2 (Function)Unison.Util.Logger
indexByReferenceUnison.UnisonFile
indexOfUnison.Util.Text
IndirectionUnison.PatternMatchCoverage.UFMap
InEquateUnison.Typechecker.Context
inEquateUnison.Typechecker.Extractor
inferDeclsUnison.KindInference
inferDependencyMountsU.Codebase.Projects
infixLevelsUnison.Syntax.Precedence
InfixOpUnison.Syntax.Precedence
InfixPrecedenceUnison.Syntax.Precedence
infixRulesUnison.Syntax.Precedence
infoUnison.Util.Logger
info'Unison.Util.Logger
InfoExtractorUnison.Typechecker.Extractor
infoLevelUnison.Util.Logger
InfoNoteUnison.Typechecker.Context
infoNoteUnison.Typechecker.Extractor
infoNotesUnison.Typechecker.Context
InFunctionCallUnison.Typechecker.Context
inFunctionCallUnison.Typechecker.Extractor
InIfBodyUnison.Typechecker.Context
inIfBodyUnison.Typechecker.Extractor
InIfCondUnison.Typechecker.Context
inIfCondUnison.Typechecker.Extractor
InInstantiateLUnison.Typechecker.Context
InInstantiateRUnison.Typechecker.Context
Init 
1 (Type/Class)Unison.Codebase.Init.Type
2 (Data Constructor)Unison.Codebase.Init.Type
3 (Type/Class)Unison.Codebase.Init
4 (Data Constructor)Unison.Codebase.Init
initUnison.Codebase.SqliteCodebase
initCodebaseAndExitUnison.Codebase.Init
InitErrorUnison.Codebase.Init
InitErrorOpenUnison.Codebase.Init
initialStateUnison.KindInference.Solve
InitResultUnison.Codebase.Init
initWithSetupUnison.Codebase.SqliteCodebase
InMatchUnison.Typechecker.Context
inMatchUnison.Typechecker.Extractor
InMatchBodyUnison.Typechecker.Context
inMatchBodyUnison.Typechecker.Extractor
InMatchGuardUnison.Typechecker.Context
inMatchGuardUnison.Typechecker.Extractor
innermostErrorTermUnison.Typechecker.Context
innermostTermUnison.Typechecker.Extractor
InOrAppUnison.Typechecker.Context
inOrAppUnison.Typechecker.Extractor
insert 
1 (Function)Unison.PatternMatchCoverage.IntervalSet
2 (Function)Unison.PatternMatchCoverage.UFMap
3 (Function)Unison.Util.CycleTable
4 (Function)Unison.Codebase.Metadata
insertD1Unison.Util.Star2
insertD2Unison.Util.Star2
insertEndUnison.Util.CycleTable
insertProjectAndBranchUnison.Codebase.SqliteCodebase.Operations
installUcmDependenciesUnison.Codebase
InSubtypeUnison.Typechecker.Context
inSubtypeUnison.Typechecker.Extractor
inSubtypesUnison.Typechecker.TypeError
InSynthesizeUnison.Typechecker.Context
inSynthesizeUnison.Typechecker.Extractor
InSynthesizeAppUnison.Typechecker.Context
inSynthesizeAppUnison.Typechecker.Extractor
IntUnison.PatternMatchCoverage.PmLit
integrityCheckAllBranchesUnison.Codebase.IntegrityCheck
integrityCheckAllCausalsUnison.Codebase.IntegrityCheck
integrityCheckFullCodebaseUnison.Codebase.IntegrityCheck
IntegrityErrorDetectedUnison.Codebase.IntegrityCheck
IntegrityResultUnison.Codebase.IntegrityCheck
IntersectUnison.Util.Text.Pattern
intersectIntervalsUnison.PatternMatchCoverage.IntervalSet
intersectionUnison.PatternMatchCoverage.IntervalSet
intersectionWithUnison.Util.EnumContainers
IntervalSetUnison.PatternMatchCoverage.IntervalSet
interverseUnison.Util.EnumContainers
intrinsicTermReferencesUnison.Builtin
intrinsicTypeReferencesUnison.Builtin
intToKeyUnison.Util.EnumContainers
inVectorUnison.Typechecker.Extractor
InVectorAppUnison.Typechecker.Context
ioErrorRefUnison.Builtin.Decls
ioErrorTypeUnison.Builtin.Decls
ioFailureRefUnison.Builtin.Decls
IsAbility 
1 (Data Constructor)Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)Unison.KindInference.Constraint.Solved
isAbsoluteUnison.Codebase.Path
IsArr 
1 (Data Constructor)Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)Unison.KindInference.Constraint.Solved
isBuiltinTypeUnison.Builtin
IsCacheHitUnison.Codebase.Runtime
isCurrentPathUnison.Codebase.Path
IsEffectfulUnison.PatternMatchCoverage.NormalizedConstraints
isEmpty 
1 (Function)Unison.Codebase.Patch
2 (Function)Unison.Codebase.Branch
isEmpty0Unison.Codebase.Branch.Type, Unison.Codebase.Branch
isEqual 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker
isExactUnison.Typechecker.Context
isFailureUnison.Result
IsNotEffectfulUnison.PatternMatchCoverage.NormalizedConstraints
isOneUnison.Codebase.Branch
isPropagatedConstructorIdUnison.Builtin.Decls
isPropagatedRefUnison.Builtin.Decls
isPublicUnison.Codebase.Editor.RemoteRepo
isRedundantUnison.Typechecker.Context
isRelativeUnison.Codebase.Path
isRootUnison.Codebase.Path
isRoot'Unison.Codebase.Path
isSameUnison.Codebase.TermEdit
isSilentUnison.Codebase.Verbosity
isSubtype 
1 (Function)Unison.Typechecker.Context
2 (Function)Unison.Typechecker
isSuccessUnison.Result
isTermUnison.Codebase
isTestConstructorIdUnison.Builtin.Decls
isTestRefUnison.Builtin.Decls
isTopLevelPrecedenceUnison.Syntax.Precedence
IsType 
1 (Data Constructor)Unison.KindInference.Constraint.Unsolved
2 (Data Constructor)Unison.KindInference.Constraint.Solved
isTypeUnison.Codebase
isTypePreservingUnison.Codebase.TermEdit