unison-core1-0.0.0

Index

$sel:addedNames:DiffUnison.NamesWithHistory
$sel:annotation:DataDeclarationUnison.DataDeclaration
$sel:bind:SubstUnison.ABT
$sel:bindInheritAnnotation:SubstUnison.ABT
$sel:bound:DataDeclarationUnison.DataDeclaration
$sel:children:NametreeUnison.Util.Nametree
$sel:constructors':DataDeclarationUnison.DataDeclaration
$sel:constructorToDecl:DeclNameLookupUnison.DeclNameLookup
$sel:declToConstructors:DeclNameLookupUnison.DeclNameLookup
$sel:freeVars:TermUnison.ABT.Normalized
$sel:freshen:SubstUnison.ABT
$sel:getPolytype:MonotypeUnison.Type
$sel:matchBody:MatchCaseUnison.Term
$sel:matchGuard:MatchCaseUnison.Term
$sel:matchPattern:MatchCaseUnison.Term
$sel:modifier:DataDeclarationUnison.DataDeclaration
$sel:originalNames:DiffUnison.NamesWithHistory
$sel:out:TermUnison.ABT.Normalized
$sel:removedNames:DiffUnison.NamesWithHistory
$sel:terms:DefnsUnison.Util.Defns
$sel:terms:NamesUnison.Names
$sel:toDataDecl:EffectDeclarationUnison.DataDeclaration
$sel:toList:ForwardNameUnison.Name.Forward
$sel:types:DefnsUnison.Util.Defns
$sel:types:NamesUnison.Names
$sel:value:NametreeUnison.Util.Nametree
$sel:variable:SubstUnison.ABT
AbilityUnison.Var
Abs 
1 (Data Constructor)Unison.ABT
2 (Data Constructor)Unison.ABT.Normalized
absUnison.ABT
Abs' 
1 (Data Constructor)Unison.ABT
2 (Data Constructor)Unison.Type
3 (Data Constructor)Unison.Term
abs'Unison.ABT
Abs''Unison.ABT
absChainUnison.ABT
absChain'Unison.ABT
AbsN'Unison.ABT
AbsNA'Unison.ABT
AbsoluteUnison.Position
absrUnison.ABT
ABT 
1 (Type/Class)Unison.ABT
2 (Type/Class)Unison.ABT.Normalized
AccumulateUnison.Hashable
accumulateUnison.Hashable
accumulate'Unison.Hashable
addTermUnison.Names
addTypeUnison.Names
AlignUnison.ABT.Normalized
alignUnison.ABT.Normalized
alignDefnsWithUnison.Util.Defns
allVars 
1 (Function)Unison.ABT
2 (Function)Unison.Term
3 (Function)Unison.DataDeclaration
alphaUnison.ABT.Normalized
AlphabeticalUnison.Name
amap 
1 (Function)Unison.ABT
2 (Function)Unison.Term
3 (Function)Unison.DataDeclaration
AmbiguousUnison.Names.ResolutionResult
AndUnison.Term
andUnison.Term
And'Unison.Term
andorUnison.Type
andor'Unison.Type
Ands'Unison.Term
ANFBlankUnison.Var
Ann 
1 (Data Constructor)Unison.Type
2 (Data Constructor)Unison.Term
ann 
1 (Function)Unison.Type
2 (Function)Unison.Term
Ann' 
1 (Data Constructor)Unison.Type
2 (Data Constructor)Unison.Term
annotateUnison.ABT
annotateBoundUnison.ABT
annotatedVarUnison.ABT
annotationUnison.ABT
annotation'Unison.ABT
ann_Unison.Term
anyUnison.Type
anyRefUnison.Type
App 
1 (Data Constructor)Unison.Type
2 (Data Constructor)Unison.Term
app 
1 (Function)Unison.Type
2 (Function)Unison.Term
App' 
1 (Data Constructor)Unison.Type
2 (Data Constructor)Unison.Term
app'Unison.Type
applicationUnison.Pattern
apps 
1 (Function)Unison.Type
2 (Function)Unison.Term
Apps' 
1 (Data Constructor)Unison.Type
2 (Data Constructor)Unison.Term
apps' 
1 (Function)Unison.Type
2 (Function)Unison.Term
AppsPred'Unison.Term
app_Unison.Term
arity 
1 (Function)Unison.Type
2 (Function)Unison.Term
Arrow 
1 (Data Constructor)Unison.Kind
2 (Data Constructor)Unison.Type
arrowUnison.Type
Arrow'Unison.Type
arrow'Unison.Type
Arrow''Unison.Type
arrowsUnison.Type
Arrows'Unison.Type
AsUnison.Pattern
asDataDeclUnison.DataDeclaration
asDataDecl_Unison.DataDeclaration
av'Unison.Type
bakeIdUnison.Var
baseFunctor_Unison.ABT
beginsWithSegmentUnison.Name
betaNormalFormUnison.Term
betaReduceUnison.Term
BinaryApp'Unison.Term
BinaryAppPred'Unison.Term
BinaryApps'Unison.Term
BinaryAppsPred'Unison.Term
bindExternalUnison.Type
bindNames 
1 (Function)Unison.Type.Names
2 (Function)Unison.Term
3 (Function)Unison.DataDeclaration.Names
bindReferences 
1 (Function)Unison.Type
2 (Function)Unison.DataDeclaration
Blank 
1 (Type/Class)Unison.Blank
2 (Data Constructor)Unison.Blank
3 (Data Constructor)Unison.Var
4 (Data Constructor)Unison.Term
blank 
1 (Function)Unison.Var
2 (Function)Unison.Term
Blank'Unison.Term
Boolean 
1 (Data Constructor)Unison.Pattern
2 (Data Constructor)Unison.Term
boolean 
1 (Function)Unison.Type
2 (Function)Unison.Term
Boolean'Unison.Term
booleanRefUnison.Type
BoundUnison.ABT
branchUnison.Project
branchWithOptionalProjectParserUnison.Project
Builtin 
1 (Data Constructor)Unison.Reference
2 (Data Constructor)Unison.DataDeclaration
builtin 
1 (Function)Unison.Type
2 (Function)Unison.Term
Builtin'Unison.Term
builtinAbilitiesUnison.Type
builtinIOUnison.Type
builtinIORefUnison.Type
BytesUnison.Hashable
bytesUnison.Type
bytesRefUnison.Type
changeVarsUnison.ABT
Char 
1 (Data Constructor)Unison.Pattern
2 (Data Constructor)Unison.Term
char 
1 (Function)Unison.Type
2 (Function)Unison.Term
Char'Unison.Term
charClassRefUnison.Type
charRefUnison.Type
classifyProjectBranchNameUnison.Project
cleanupUnison.Type
cleanupAbilityListsUnison.Type
cleanupsUnison.Type
cleanupTypesUnison.Settings
cleanupVarsUnison.Type
cleanupVars1Unison.Type
cleanupVars1'Unison.Type
cleanupVarsMapUnison.Type
codeUnison.Type
codeRefUnison.Type
commonPrefixUnison.Name
compareAlphabeticalUnison.Name
compareSuffixUnison.Name
componentUnison.Reference
componentForUnison.Reference
componentFromLengthUnison.Reference
components 
1 (Function)Unison.Reference
2 (Function)Unison.Util.Components
3 (Function)Unison.ABT
ConUnison.Referent
Con'Unison.ReferentPrime
ConcatUnison.Pattern
Conflicted 
1 (Type/Class)Unison.Util.Conflicted
2 (Data Constructor)Unison.Util.Conflicted
conflictsUnison.Names
ConIdUnison.Referent
ConReferenceUnison.LabeledDependency
ConsUnison.Pattern
consUnison.Name
consLetRecUnison.Term
Constructor 
1 (Data Constructor)Unison.Pattern
2 (Data Constructor)Unison.Term
constructorUnison.Term
Constructor'Unison.Term
constructorCountUnison.DataDeclaration
constructorDependenciesUnison.Term
ConstructorIdUnison.DataDeclaration.ConstructorId
constructorIdsUnison.DataDeclaration
constructorNamesUnison.DataDeclaration
ConstructorReference 
1 (Type/Class)Unison.ConstructorReference
2 (Data Constructor)Unison.ConstructorReference
ConstructorReferenceIdUnison.ConstructorReference
constructorsUnison.DataDeclaration
constructorsForTypeUnison.Names
constructors_Unison.DataDeclaration
ConstructorTypeUnison.ConstructorType
constructorTypeUnison.DataDeclaration
constructorTypesUnison.DataDeclaration
constructorVarsUnison.DataDeclaration
containsUnison.Names
containsCaseUnison.Term
containsCaseTermUnison.Term
containsExpression 
1 (Function)Unison.ABT
2 (Function)Unison.Term
containsSignatureUnison.Term
ContinueUnison.ABT
countSegmentsUnison.Name
CycleUnison.ABT
cycleUnison.ABT
Cycle' 
1 (Data Constructor)Unison.ABT
2 (Data Constructor)Unison.Type
3 (Data Constructor)Unison.Term
cycle'Unison.ABT
Cycle''Unison.ABT
CycleA'Unison.ABT
cyclerUnison.ABT
CycleSizeUnison.Reference
DataUnison.ConstructorType
dataConstructorUnison.LabeledDependency
DataDeclaration 
1 (Type/Class)Unison.DataDeclaration
2 (Data Constructor)Unison.DataDeclaration
dataDeclToNames'Unison.DataDeclaration.Names
debugNoteLocUnison.Settings
debugNoteSummaryUnison.Settings
debugRevealForallsUnison.Settings
Decl 
1 (Data Constructor)Unison.DataDeclaration
2 (Type/Class)Unison.DataDeclaration
declAsDataDecl_Unison.DataDeclaration
declConstructorReferentsUnison.DataDeclaration
declFieldsUnison.DataDeclaration
DeclNameLookup 
1 (Type/Class)Unison.DeclNameLookup
2 (Data Constructor)Unison.DeclNameLookup
DeclOrBuiltinUnison.DataDeclaration
declTypeDependenciesUnison.DataDeclaration
DefnUnison.Util.Defn
Defns 
1 (Type/Class)Unison.Util.Defns
2 (Data Constructor)Unison.Util.Defns
defnsAreEmptyUnison.Util.Defns
DefnsFUnison.Util.Defns
DefnsF2Unison.Util.Defns
DefnsF3Unison.Util.Defns
DefnsF4Unison.Util.Defns
DelayUnison.Var
delayUnison.Term
Delay'Unison.Term
demoHideVarNumberUnison.Settings
dependencies 
1 (Function)Unison.Type
2 (Function)Unison.Term
DerivedUnison.Reference
derivedBase32Hex 
1 (Function)Unison.Reference
2 (Function)Unison.Type
DerivedIdUnison.Reference
derivedTermUnison.LabeledDependency
derivedTypeUnison.LabeledDependency
Diff 
1 (Type/Class)Unison.NamesWithHistory
2 (Data Constructor)Unison.NamesWithHistory
diffUnison.NamesWithHistory
differenceUnison.Names
DoubleUnison.Hashable
dropAbsUnison.ABT
editFunctionResultUnison.Type
Effect 
1 (Data Constructor)Unison.ConstructorType
2 (Data Constructor)Unison.Type
effectUnison.Type
Effect'Unison.Type
Effect''Unison.Type
Effect0'Unison.Type
effect1Unison.Type
Effect1'Unison.Type
EffectBindUnison.Pattern
effectConstructorUnison.LabeledDependency
EffectDeclaration 
1 (Type/Class)Unison.DataDeclaration
2 (Data Constructor)Unison.DataDeclaration
effectDeclToNames'Unison.DataDeclaration.Names
EffectfulArrows'Unison.Type
EffectPureUnison.Pattern
effectRefUnison.Type
EffectsUnison.Type
effectsUnison.Type
Effects'Unison.Type
effectTypeUnison.Type
effectVUnison.Type
endsWithUnison.Name
endsWithReverseSegmentsUnison.Name
endsWithSegmentsUnison.Name
EtaUnison.Var
etaNormalFormUnison.Term
etaReduceEtaVarsUnison.Term
ExactNameUnison.NamesWithHistory
existentializeArrowsUnison.Type
expandWildcardImportUnison.Names
expectConstructorNamesUnison.DeclNameLookup
expectDeclNameUnison.DeclNameLookup
extraMap 
1 (Function)Unison.ABT
2 (Function)Unison.Term
extraMap'Unison.Term
F 
1 (Type/Class)Unison.Type
2 (Type/Class)Unison.Term
fileHandleUnison.Type
fileHandleRefUnison.Type
filePathRefUnison.Type
filterUnison.Names
filterByHQsUnison.Names
filterByRankedSuffixUnison.Name
filterBySHsUnison.Names
filterBySuffixUnison.Name
filterTypesUnison.Names
findUnison.ABT
find'Unison.ABT
FindActionUnison.ABT
flattenEffectsUnison.Type
flattenNametreeUnison.Util.Nametree
flattenNametreesUnison.Util.Nametree
flipApplyUnison.Type
Float 
1 (Data Constructor)Unison.Var
2 (Data Constructor)Unison.Pattern
3 (Data Constructor)Unison.Term
float 
1 (Function)Unison.Type
2 (Function)Unison.Term
Float'Unison.Term
floatRefUnison.Type
fold 
1 (Function)Unison.ReferentPrime
2 (Function)Unison.Referent
3 (Function)Unison.LabeledDependency
foldMap'Unison.Pattern
ForallUnison.Type
forAllUnison.Type
Forall'Unison.Type
forAll'Unison.Type
ForallNamed'Unison.Type
forallsUnison.Type
ForallsNamed'Unison.Type
ForallsNamedOpt'Unison.Type
foreachSubtermUnison.ABT
ForwardName 
1 (Type/Class)Unison.Name.Forward
2 (Data Constructor)Unison.Name.Forward
FoundUnison.ABT
FreeUnison.ABT
freeEffectVarsUnison.Type
freeTypeVarAnnotationsUnison.Term
freeTypeVarsUnison.Term
freeVarOccurrencesUnison.ABT
freeVars 
1 (Function)Unison.ABT
2 (Function)Unison.Type
3 (Function)Unison.Term
freeVars'Unison.ABT
freeVarsToOutersUnison.Type
fresh 
1 (Function)Unison.ABT
2 (Function)Unison.Term
freshenBothWrtUnison.ABT
freshenIdUnison.Var
freshenSUnison.ABT
freshenWrtUnison.ABT
freshIdUnison.Var
freshIn 
1 (Function)Unison.ABT
2 (Function)Unison.Var
freshInBothUnison.ABT
fromBytesUnison.Hashable
fromHQUnison.HashQualifiedPrime
fromId 
1 (Function)Unison.Reference
2 (Function)Unison.Referent
fromName 
1 (Function)Unison.Name.Forward
2 (Function)Unison.HashQualified
3 (Function)Unison.HashQualifiedPrime
fromNamedReference 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
fromNamedReferent 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
fromNameHash 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
fromPatternUnison.HashQualified
fromReferenceUnison.HashQualified
fromReferenceIdsUnison.Names
fromReferent 
1 (Function)Unison.HashQualified
2 (Function)Unison.Term
fromReverseSegmentsUnison.Name
fromSegmentUnison.Name
fromSegmentsUnison.Name
fromTermReferenceUnison.Referent
fromTermReferenceIdUnison.Referent
fromTermsUnison.Util.Defns
fromTermsAndTypesUnison.Names
fromText 
1 (Function)Unison.Reference
2 (Function)Unison.Referent
fromTypesUnison.Util.Defns
fromUnconflictedUnison.Names
fromUnconflictedReferenceIdsUnison.Names
fullyQualifiedProjectAndBranchNamesParserUnison.Project
functionResultUnison.Type
fuzzyFindUnison.Names
GConstructorReferenceUnison.ConstructorReference
generalizeUnison.Type
generalize'Unison.Type
generalizedDependencies 
1 (Function)Unison.Pattern
2 (Function)Unison.Term
generalizeLowercaseUnison.Type
generalizeTypeSignaturesUnison.Term
generateRecordAccessorsUnison.DataDeclaration.Records
getAnnotationUnison.Names.ResolutionResult
getTypeAnnotationUnison.Term
groupByComponentUnison.Reference
HandleUnison.Term
handleUnison.Term
Handle'Unison.Term
hashUnison.Hashable
hashAlgorithmRefUnison.Type
hasHashUnison.HashQualified
HashedUnison.Hashable
HashOnlyUnison.HashQualified
HashOrHQUnison.HashQualifiedPrime
HashQualified 
1 (Type/Class)Unison.HashQualified
2 (Data Constructor)Unison.HashQualified
3 (Type/Class)Unison.HashQualifiedPrime
4 (Data Constructor)Unison.HashQualifiedPrime
hashQualifyTermsRelationUnison.Names
hashQualifyTypesRelationUnison.Names
hasNameUnison.HashQualified
hasSubpatternUnison.Pattern
hasTermNamedUnison.NamesWithHistory
hasTypeNamedUnison.NamesWithHistory
hmapRefUnison.Type
hoistDefnsFUnison.Util.Defns
hqNameUnison.Names
HQSegmentUnison.HashQualifiedPrime
hqTermNameUnison.Names
hqTermName'Unison.Names
hqTypeNameUnison.Names
hqTypeName'Unison.Names
iarrayRefUnison.Type
iarrayTypeUnison.Type
ibytearrayRefUnison.Type
ibytearrayTypeUnison.Type
Id 
1 (Data Constructor)Unison.Reference
2 (Type/Class)Unison.Reference
3 (Type/Class)Unison.Referent
Id'Unison.Reference
idToHashUnison.Reference
idToShortHashUnison.Reference
idToTextUnison.Reference
IfUnison.Term
If'Unison.Term
iff 
1 (Function)Unison.Type
2 (Function)Unison.Term
iff'Unison.Type
iff2Unison.Type
importingUnison.Names
IncludeSuffixesUnison.NamesWithHistory
inferAbilityUnison.Var
InferenceUnison.Var
InferenceTypeUnison.Var
inferInputUnison.Var
inferOtherUnison.Var
inferOutputUnison.Var
inferPatternBindEUnison.Var
inferPatternBindVUnison.Var
inferPatternPureEUnison.Var
inferPatternPureVUnison.Var
inferTypeConstructorUnison.Var
inferTypeConstructorArgUnison.Var
InputUnison.Var
Int 
1 (Data Constructor)Unison.Hashable
2 (Data Constructor)Unison.Pattern
3 (Data Constructor)Unison.Term
int 
1 (Function)Unison.Type
2 (Function)Unison.Term
Int'Unison.Term
intRefUnison.Type
IntroOuterUnison.Type
introOuterUnison.Type
IntroOuter'Unison.Type
IntroOuterNamed'Unison.Type
IrrelevantUnison.Var
isAbsoluteUnison.Name.Internal, Unison.Name
isActionUnison.Var
isArrowUnison.Type
isBuiltinUnison.Reference
isConstructorUnison.ReferentPrime
isEmptyUnison.Names
isFreeInUnison.ABT
isLamUnison.Term
isPrefixOf 
1 (Function)Unison.Name
2 (Function)Unison.Reference
3 (Function)Unison.Referent
isRelativeUnison.Name
IsTopUnison.Term
isUnqualifiedUnison.Name
joinDotUnison.Name
KindUnison.Kind
labeledDeclDependenciesIncludingSelfUnison.DataDeclaration
labeledDeclTypeDependenciesUnison.DataDeclaration
labeledDependencies 
1 (Function)Unison.Type
2 (Function)Unison.Pattern
3 (Function)Unison.Term
LabeledDependencyUnison.LabeledDependency
labeledReferencesUnison.Names
labeledTypeDependenciesUnison.DataDeclaration
LamUnison.Term
lamUnison.Term
Lam'Unison.Term
lam'Unison.Term
LamNamed'Unison.Term
LamsNamed'Unison.Term
LamsNamedOpt'Unison.Term
LamsNamedOrDelay'Unison.Term
LamsNamedPred'Unison.Term
lamWithoutBindingAnnsUnison.Term
lastSegmentUnison.Name
lenientToNametreeUnison.Names
LetUnison.Term
let1Unison.Term
Let1'Unison.Term
let1'Unison.Term
Let1Named'Unison.Term
Let1NamedTop'Unison.Term
Let1Top'Unison.Term
let1_Unison.Term
LetRecUnison.Term
letRecUnison.Term
LetRec'Unison.Term
letRec'Unison.Term
LetRecAnnotatedTop'Unison.Term
LetRecNamed'Unison.Term
LetRecNamedAnnotated'Unison.Term
LetRecNamedAnnotatedTop'Unison.Term
LetRecNamedTop'Unison.Term
LetRecTop'Unison.Term
letRec_Unison.Term
Lets'Unison.Term
ListUnison.Term
list 
1 (Function)Unison.Type
2 (Function)Unison.Term
List'Unison.Term
list'Unison.Term
listRefUnison.Type
loc 
1 (Function)Unison.Blank
2 (Function)Unison.Pattern
longestTermNameUnison.NamesWithHistory
lookupHQPatternUnison.NamesWithHistory
lookupHQTermUnison.NamesWithHistory
lookupHQTerm'Unison.NamesWithHistory
lookupHQTypeUnison.NamesWithHistory
lookupHQType'Unison.NamesWithHistory
lookupRelativeHQTermUnison.NamesWithHistory
lookupRelativeHQTerm'Unison.NamesWithHistory
lookupRelativeHQTypeUnison.NamesWithHistory
lookupRelativeHQType'Unison.NamesWithHistory
makeAbsolute 
1 (Function)Unison.Name
2 (Function)Unison.Names
makeRelative 
1 (Function)Unison.Name
2 (Function)Unison.Names
mapUnison.Names
mapDefnsUnison.Util.Defns
mapNamesUnison.Names
marrayRefUnison.Type
marrayTypeUnison.Type
MatchUnison.Term
matchUnison.Term
Match'Unison.Term
MatchCase 
1 (Type/Class)Unison.Term
2 (Data Constructor)Unison.Term
matchCaseExtraMapUnison.Term
matchCaseFromTermUnison.Term
matchCaseToTermUnison.Term
matchesNamedReference 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
matchesNamedReferent 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
matchPattern_Unison.Term
mbytearrayRefUnison.Type
mbytearrayTypeUnison.Type
MissingResultUnison.Var
missingResult 
1 (Function)Unison.Var
2 (Function)Unison.Term
MissingResultPlaceholderUnison.Blank
mkDataDecl'Unison.DataDeclaration
mkEffectDecl'Unison.DataDeclaration
ModifierUnison.DataDeclaration
Monotype 
1 (Type/Class)Unison.Type
2 (Data Constructor)Unison.Type
monotypeUnison.Type
mvarRefUnison.Type
Name 
1 (Type/Class)Unison.Name.Internal, Unison.Name
2 (Data Constructor)Unison.Name.Internal
nameUnison.Var
namebUnison.Blank
namedUnison.Var
namedsUnison.Var
nameLengthUnison.HashQualifiedPrime
NameOnly 
1 (Data Constructor)Unison.HashQualified
2 (Data Constructor)Unison.HashQualifiedPrime
Names 
1 (Type/Class)Unison.Names
2 (Data Constructor)Unison.Names
namesForReferenceUnison.Names
namesForReferentUnison.Names
nameStrUnison.Var
Nametree 
1 (Type/Class)Unison.Util.Nametree
2 (Data Constructor)Unison.Util.Nametree
Nat 
1 (Data Constructor)Unison.Hashable
2 (Data Constructor)Unison.Pattern
3 (Data Constructor)Unison.Term
nat 
1 (Function)Unison.Type
2 (Function)Unison.Term
Nat'Unison.Term
natRefUnison.Type
normalizeForallOrderUnison.Type
NotFoundUnison.Names.ResolutionResult
numberedFreeVarsUnison.ABT
occurrencesUnison.ABT
OrUnison.Term
orUnison.Term
Or'Unison.Term
orderedComponentsUnison.ABT
Ors'Unison.Term
OtherUnison.Var
outUnison.ABT
out'Unison.ABT
OutputUnison.Var
OverappliedBinaryAppPred'Unison.Term
parentUnison.Name
partitionUnison.LabeledDependency
partitionResolutionsUnison.Names.ResolvesTo
Pattern 
1 (Data Constructor)Unison.Var
2 (Type/Class)Unison.Pattern
PatternBindEUnison.Var
PatternBindVUnison.Var
patternMapUnison.Term
PatternPureEUnison.Var
PatternPureVUnison.Var
patternRefUnison.Type
PlaceholderUnison.Blank
placeholderUnison.Term
PosUnison.Reference
PositionUnison.Position
preferringUnison.Names
preferShallowLibDepthUnison.Name
prefix0Unison.Names
prepareTDNRUnison.Term
prependUserSlugToProjectNameUnison.Project
processHandleUnison.Type
processHandleRefUnison.Type
projectUnison.Project
ProjectAndBranch 
1 (Type/Class)Unison.Project
2 (Data Constructor)Unison.Project
ProjectAndBranchNamesUnison.Project
ProjectAndBranchNames'AmbiguousUnison.Project
ProjectAndBranchNames'UnambiguousUnison.Project
projectAndBranchNamesParserUnison.Project
projectAndBranchNamesParser2Unison.Project
projectAndOptionalBranchParserUnison.Project
ProjectBranchNameUnison.Project
ProjectBranchNameKindUnison.Project
ProjectBranchNameKind'ContributorUnison.Project
ProjectBranchNameKind'DraftReleaseUnison.Project
ProjectBranchNameKind'NothingSpecialUnison.Project
ProjectBranchNameKind'ReleaseUnison.Project
ProjectBranchNameOrLatestReleaseUnison.Project
ProjectBranchNameOrLatestRelease'LatestReleaseUnison.Project
ProjectBranchNameOrLatestRelease'NameUnison.Project
projectBranchNameParserUnison.Project
projectBranchNameUserSlugUnison.Project
ProjectBranchSpecifierUnison.Project
ProjectBranchSpecifier'NameUnison.Project
ProjectBranchSpecifier'NameOrLatestReleaseUnison.Project
ProjectNameUnison.Project
projectNameParserUnison.Project
projectNameToUserProjectSlugsUnison.Project
projectNameUserSlugUnison.Project
promiseRefUnison.Type
PruneUnison.ABT
Pure'Unison.Type
purifyArrowsUnison.Type
pushUnison.NamesWithHistory
rawNameUnison.Var
readSuffixUnison.Reference
reannotateUpUnison.ABT
rebuildMaybeUpUnison.ABT
rebuildUpUnison.ABT
rebuildUp'Unison.ABT
Recorded 
1 (Data Constructor)Unison.Blank
2 (Type/Class)Unison.Blank
Ref 
1 (Data Constructor)Unison.Referent
2 (Data Constructor)Unison.Type
3 (Data Constructor)Unison.Term
ref 
1 (Function)Unison.Type
2 (Function)Unison.Term
Ref' 
1 (Data Constructor)Unison.ReferentPrime
2 (Data Constructor)Unison.Type
3 (Data Constructor)Unison.Term
ReferenceUnison.Reference
Reference'Unison.Reference
ReferenceBuiltinUnison.Reference
ReferenceDerivedUnison.Reference
referenceIdsUnison.Names
reference_ 
1 (Function)Unison.ConstructorReference
2 (Function)Unison.ReferentPrime, Unison.Referent
ReferentUnison.Referent
referentUnison.LabeledDependency
Referent' 
1 (Type/Class)Unison.ReferentPrime
2 (Data Constructor)Unison.Term
referentsUnison.LabeledDependency
RefIdUnison.Referent
refId 
1 (Function)Unison.Type
2 (Function)Unison.Term
refRefUnison.Type
refTermsHQNamedUnison.Names
refTermsNamedUnison.Names
refTypeUnison.Type
RegularWatchUnison.WatchKind
RelativeUnison.Position
removeAllEffectVarsUnison.Type
removeEffectVarsUnison.Type
removeEmptyEffectsUnison.Type
removePureEffects 
1 (Function)Unison.Settings
2 (Function)Unison.Type
rename 
1 (Function)Unison.ABT
2 (Function)Unison.ABT.Normalized
renames 
1 (Function)Unison.ABT
2 (Function)Unison.ABT.Normalized
renameTypeVarUnison.Term
renderTermMaxLengthUnison.Settings
requalify 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
RequestUnison.Term
requestUnison.Term
Request' 
1 (Data Constructor)Unison.Type
2 (Data Constructor)Unison.Term
RequestOrCtor'Unison.Term
resetUnison.Var
ResolutionErrorUnison.Names.ResolutionResult
ResolutionFailureUnison.Names.ResolutionResult
ResolutionResultUnison.Names.ResolutionResult
ResolveUnison.Blank
resolveUnison.Term
resolveNameUnison.Names
resolveNameIncludingNamesUnison.Names
ResolvesToUnison.Names.ResolvesTo
ResolvesToLocalUnison.Names.ResolvesTo
ResolvesToNamespaceUnison.Names.ResolvesTo
restrictReferencesUnison.Names
RetainUnison.Blank
reverseSegmentsUnison.Name
rewriteCasesLHSUnison.Term
rewriteDownUnison.ABT
rewriteDown_Unison.ABT
rewriteExpressionUnison.ABT
rewriteSignaturesUnison.Term
scopeRefUnison.Type
scopeTypeUnison.Type
searchByRankedSuffixUnison.Name
searchBySuffixUnison.Name
SearchTypeUnison.NamesWithHistory
segmentsUnison.Name.Internal, Unison.Name
Semver 
1 (Type/Class)Unison.Project
2 (Data Constructor)Unison.Project
SeqOpUnison.Pattern
SequenceLiteralUnison.Pattern
SequenceOpUnison.Pattern
setConstructorNamesUnison.DataDeclaration
setLocUnison.Pattern
setPositionUnison.Name
shadowingUnison.Names
shadowing1Unison.Names
shadowTermsUnison.Names
showShortUnison.Reference
showSuffixUnison.Reference
singleLetUnison.Term
SizeUnison.Reference
SnocUnison.Pattern
snocUnison.Name
socketUnison.Type
socketRefUnison.Type
sortByLength 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
sortByTextUnison.Name
sortNamedUnison.Name
sortNamesUnison.Name
splitsUnison.Name
StarUnison.Kind
stmRefUnison.Type
stripEffectUnison.Type
stripIntroOutersUnison.Type
stripNamePrefix 
1 (Function)Unison.Name
2 (Function)Unison.Name.Forward
stripNamespaceUnison.HashQualified
stripReversedPrefixUnison.Name
StructuralUnison.DataDeclaration
Subst 
1 (Type/Class)Unison.ABT
2 (Data Constructor)Unison.ABT
substUnison.ABT
substInheritAnnotationUnison.ABT
substsUnison.ABT
substsInheritAnnotationUnison.ABT
substTypeVarUnison.Term
substTypeVarsUnison.Term
subtermsUnison.ABT
suffixesUnison.Name
suffixFromUnison.Name
suffixifyByHashUnison.Name
suffixifyByHashNameUnison.Name
suffixifyByNameUnison.Name
Symbol 
1 (Type/Class)Unison.Symbol
2 (Data Constructor)Unison.Symbol
symbolUnison.Symbol
TAbsUnison.ABT.Normalized
TAbssUnison.ABT.Normalized
TagUnison.Hashable
take 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
Term 
1 (Type/Class)Unison.ABT
2 (Data Constructor)Unison.ABT
3 (Type/Class)Unison.ABT.Normalized
4 (Data Constructor)Unison.ABT.Normalized
5 (Type/Class)Unison.Term
Term' 
1 (Type/Class)Unison.ABT
2 (Data Constructor)Unison.ABT
3 (Type/Class)Unison.Term
Term0Unison.Term
Term0'Unison.Term
Term2Unison.Term
Term3Unison.Term
TermDefnUnison.Util.Defn
termDependenciesUnison.Term
TermLinkUnison.Term
termLink 
1 (Function)Unison.Type
2 (Function)Unison.Term
TermLink'Unison.Term
termLinkRefUnison.Type
termNameUnison.NamesWithHistory
termNamesByLengthUnison.NamesWithHistory
termRefUnison.LabeledDependency
TermReference 
1 (Type/Class)Unison.Reference
2 (Data Constructor)Unison.LabeledDependency
TermReferenceIdUnison.Reference
termReferencesUnison.Names
TermReferentUnison.LabeledDependency
termReferentsUnison.Names
TermResolutionFailureUnison.Names.ResolutionResult
termsNamedUnison.Names
terms_Unison.Util.Defns
TestWatchUnison.WatchKind
Text 
1 (Data Constructor)Unison.Hashable
2 (Data Constructor)Unison.Pattern
3 (Data Constructor)Unison.Term
text 
1 (Function)Unison.Type
2 (Function)Unison.Term
Text'Unison.Term
textRefUnison.Type
threadIdUnison.Type
threadIdRefUnison.Type
ticketRefUnison.Type
timeSpecRefUnison.Type
tlsCipherRefUnison.Type
tlsClientConfigRefUnison.Type
tlsPrivateKeyRefUnison.Type
tlsRefUnison.Type
tlsServerConfigRefUnison.Type
tlsSignedCertRefUnison.Type
tlsVersionRefUnison.Type
Tm 
1 (Data Constructor)Unison.ABT
2 (Data Constructor)Unison.ABT.Normalized
tmUnison.ABT
Tm'Unison.ABT
tm'Unison.ABT
toBytesUnison.Hashable
toConstructorReferenceUnison.Referent
toConstructorReferenceIdUnison.Referent
toHash 
1 (Function)Unison.Reference
2 (Function)Unison.HashQualified
3 (Function)Unison.HashQualifiedPrime
toHQUnison.HashQualifiedPrime
toId 
1 (Function)Unison.Reference
2 (Function)Unison.ConstructorReference
3 (Function)Unison.Referent
TokenUnison.Hashable
toName 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
toNameOnlyUnison.HashQualifiedPrime
toPatternUnison.Term
toReferenceUnison.Referent
toReference'Unison.ReferentPrime
toReferenceIdUnison.Referent
toShortHash 
1 (Function)Unison.Reference
2 (Function)Unison.ConstructorReference
3 (Function)Unison.Referent
toStringUnison.Referent
toStringWith 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
toTermReference 
1 (Function)Unison.ReferentPrime
2 (Function)Unison.Referent
toTermReferenceIdUnison.Referent
toText 
1 (Function)Unison.Reference
2 (Function)Unison.Referent
toTextWith 
1 (Function)Unison.HashQualified
2 (Function)Unison.HashQualifiedPrime
toTypeReferenceUnison.ReferentPrime
transform 
1 (Function)Unison.ABT
2 (Function)Unison.ABT.Normalized
transformMUnison.ABT
traverseNametreeWithNameUnison.Util.Nametree
tryStripReversedPrefixUnison.Name
TTmUnison.ABT.Normalized
tvarRefUnison.Type
Type 
1 (Type/Class)Unison.Var
2 (Type/Class)Unison.Type
TypeConstructorUnison.Var
TypeConstructorArgUnison.Var
typedUnison.Var
TypeDefnUnison.Util.Defn
typeDependencies 
1 (Function)Unison.Term
2 (Function)Unison.DataDeclaration
TypeFUnison.Type
TypeLinkUnison.Term
typeLink 
1 (Function)Unison.Type
2 (Function)Unison.Term
TypeLink'Unison.Term
typeLinkRefUnison.Type
typeMapUnison.Term
typeNameUnison.NamesWithHistory
typeOfUnison.Var
typeOfConstructorUnison.DataDeclaration
typeRefUnison.LabeledDependency
TypeReference 
1 (Type/Class)Unison.Reference
2 (Data Constructor)Unison.LabeledDependency
TypeReferenceIdUnison.Reference
typeReferencesUnison.Names
TypeResolutionFailureUnison.Names.ResolutionResult
typesNamedUnison.Names
types_Unison.Util.Defns
udpClientSockAddrUnison.Type
udpClientSockAddrRefUnison.Type
udpListenSocketUnison.Type
udpListenSocketRefUnison.Type
udpSocketUnison.Type
udpSocketRefUnison.Type
unabsUnison.ABT
unabsAUnison.ABT
unAndsUnison.Term
unannotateUnison.Term
unApps 
1 (Function)Unison.Type
2 (Function)Unison.Term
unAppsPredUnison.Term
unArrowsUnison.Type
unBinaryAppUnison.Term
unBinaryAppPredUnison.Term
unBinaryAppsUnison.Term
unBinaryAppsPredUnison.Term
UnboundUnison.Pattern
uncapitalizeUnison.Var
unDelayUnison.Term
unEffect0Unison.Type
unEffectfulArrowsUnison.Type
unEffects1Unison.Type
unflattenNametreeUnison.Util.Nametree
unflattenNametreesUnison.Util.Nametree
unfoldNametreeUnison.Util.Nametree
unforallUnison.Type
unforall'Unison.Type
unForallsUnison.Type
unForallsOptUnison.Type
unhashComponent 
1 (Function)Unison.Term
2 (Function)Unison.DataDeclaration
unIntroOutersUnison.Type
unionWithUnison.Util.Nametree
UniqueUnison.DataDeclaration
universallyQuantifyIfFreeUnison.Var
unLams'Unison.Term
unLamsOpt'Unison.Term
unLamsPred'Unison.Term
unLamsUntilDelay'Unison.Term
unLetUnison.Term
unLet1Unison.Term
unLetRecUnison.Term
unLetRecAnnotatedUnison.Term
unLetRecNamedUnison.Term
unLetRecNamedAnnotatedUnison.Term
unnamedRefUnison.Var
UnnamedReferenceUnison.Var
unnamedTestUnison.Var
UnnamedWatchUnison.Var
unOrsUnison.Term
unOverappliedBinaryAppPredUnison.Term
unPureUnison.Type
unqualifiedUnison.Name
unReferentUnison.Term
unReqOrCtorUnison.Term
unsafeFromTextUnison.Reference
unsafeIdUnison.Reference
unvarUnison.ABT
unzipDefnsUnison.Util.Defns
unzipDefnsWithUnison.Util.Defns
updateDependencies 
1 (Function)Unison.Type
2 (Function)Unison.Pattern
3 (Function)Unison.Term
4 (Function)Unison.DataDeclaration
UserUnison.Var
usesEffectsUnison.Type
VUnison.ABT
v'Unison.Type
valueUnison.Type
valueRefUnison.Type
Var 
1 (Type/Class)Unison.ABT
2 (Data Constructor)Unison.ABT
3 (Type/Class)Unison.Var
4 (Data Constructor)Unison.Pattern
var 
1 (Function)Unison.ABT
2 (Function)Unison.Type
3 (Function)Unison.Term
Var' 
1 (Data Constructor)Unison.ABT
2 (Data Constructor)Unison.Type
3 (Data Constructor)Unison.Term
var'Unison.Term
visit 
1 (Function)Unison.ABT
2 (Function)Unison.ABT.Normalized
visit'Unison.ABT
visitPure 
1 (Function)Unison.ABT
2 (Function)Unison.ABT.Normalized
visit_Unison.ABT
vmap 
1 (Function)Unison.ABT
2 (Function)Unison.Term
vmapMUnison.ABT
vtmapUnison.Term
watchUnison.Term
WatchKindUnison.WatchKind
watchKindShouldBeStoredInDatabaseUnison.WatchKind
watchMaybeUnison.Term
withEffectDeclMUnison.DataDeclaration
wrapV 
1 (Function)Unison.Type
2 (Function)Unison.Term
zipDefnsUnison.Util.Defns
zipDefnsWithUnison.Util.Defns
zipDefnsWith3Unison.Util.Defns
zipDefnsWith4Unison.Util.Defns
_AnnUnison.Term
_ConstructorUnison.Term
_DerivedIdUnison.Reference
_hqTermAliasesUnison.Names
_hqTermNameUnison.Names
_hqTypeAliasesUnison.Names
_hqTypeNameUnison.Names
_MatchUnison.Term
_Ref 
1 (Function)Unison.Type
2 (Function)Unison.Term
_RequestUnison.Term
_TermLinkUnison.Term
_TypeLinkUnison.Term