unison-core1-0.0.0
Contents
Index
Index
$sel:addedNames:Diff
Unison.NamesWithHistory
$sel:annotation:DataDeclaration
Unison.DataDeclaration
$sel:bind:Subst
Unison.ABT
$sel:bindInheritAnnotation:Subst
Unison.ABT
$sel:bound:DataDeclaration
Unison.DataDeclaration
$sel:children:Nametree
Unison.Util.Nametree
$sel:constructors':DataDeclaration
Unison.DataDeclaration
$sel:constructorToDecl:DeclNameLookup
Unison.DeclNameLookup
$sel:declToConstructors:DeclNameLookup
Unison.DeclNameLookup
$sel:freeVars:Term
Unison.ABT.Normalized
$sel:freshen:Subst
Unison.ABT
$sel:getPolytype:Monotype
Unison.Type
$sel:matchBody:MatchCase
Unison.Term
$sel:matchGuard:MatchCase
Unison.Term
$sel:matchPattern:MatchCase
Unison.Term
$sel:modifier:DataDeclaration
Unison.DataDeclaration
$sel:originalNames:Diff
Unison.NamesWithHistory
$sel:out:Term
Unison.ABT.Normalized
$sel:removedNames:Diff
Unison.NamesWithHistory
$sel:terms:Defns
Unison.Util.Defns
$sel:terms:Names
Unison.Names
$sel:toDataDecl:EffectDeclaration
Unison.DataDeclaration
$sel:toList:ForwardName
Unison.Name.Forward
$sel:types:Defns
Unison.Util.Defns
$sel:types:Names
Unison.Names
$sel:value:Nametree
Unison.Util.Nametree
$sel:variable:Subst
Unison.ABT
Ability
Unison.Var
Abs
1 (Data Constructor)
Unison.ABT
2 (Data Constructor)
Unison.ABT.Normalized
abs
Unison.ABT
Abs'
1 (Data Constructor)
Unison.ABT
2 (Data Constructor)
Unison.Type
3 (Data Constructor)
Unison.Term
abs'
Unison.ABT
Abs''
Unison.ABT
absChain
Unison.ABT
absChain'
Unison.ABT
AbsN'
Unison.ABT
AbsNA'
Unison.ABT
Absolute
Unison.Position
absr
Unison.ABT
ABT
1 (Type/Class)
Unison.ABT
2 (Type/Class)
Unison.ABT.Normalized
Accumulate
Unison.Hashable
accumulate
Unison.Hashable
accumulate'
Unison.Hashable
addTerm
Unison.Names
addType
Unison.Names
Align
Unison.ABT.Normalized
align
Unison.ABT.Normalized
alignDefnsWith
Unison.Util.Defns
allVars
1 (Function)
Unison.ABT
2 (Function)
Unison.Term
3 (Function)
Unison.DataDeclaration
alpha
Unison.ABT.Normalized
Alphabetical
Unison.Name
amap
1 (Function)
Unison.ABT
2 (Function)
Unison.Term
3 (Function)
Unison.DataDeclaration
Ambiguous
Unison.Names.ResolutionResult
And
Unison.Term
and
Unison.Term
And'
Unison.Term
andor
Unison.Type
andor'
Unison.Type
Ands'
Unison.Term
ANFBlank
Unison.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
annotate
Unison.ABT
annotateBound
Unison.ABT
annotatedVar
Unison.ABT
annotation
Unison.ABT
annotation'
Unison.ABT
ann_
Unison.Term
any
Unison.Type
anyRef
Unison.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
application
Unison.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
arrow
Unison.Type
Arrow'
Unison.Type
arrow'
Unison.Type
Arrow''
Unison.Type
arrows
Unison.Type
Arrows'
Unison.Type
As
Unison.Pattern
asDataDecl
Unison.DataDeclaration
asDataDecl_
Unison.DataDeclaration
av'
Unison.Type
bakeId
Unison.Var
baseFunctor_
Unison.ABT
beginsWithSegment
Unison.Name
betaNormalForm
Unison.Term
betaReduce
Unison.Term
BinaryApp'
Unison.Term
BinaryAppPred'
Unison.Term
BinaryApps'
Unison.Term
BinaryAppsPred'
Unison.Term
bindExternal
Unison.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
booleanRef
Unison.Type
Bound
Unison.ABT
branch
Unison.Project
branchWithOptionalProjectParser
Unison.Project
Builtin
1 (Data Constructor)
Unison.Reference
2 (Data Constructor)
Unison.DataDeclaration
builtin
1 (Function)
Unison.Type
2 (Function)
Unison.Term
Builtin'
Unison.Term
builtinAbilities
Unison.Type
builtinIO
Unison.Type
builtinIORef
Unison.Type
Bytes
Unison.Hashable
bytes
Unison.Type
bytesRef
Unison.Type
changeVars
Unison.ABT
Char
1 (Data Constructor)
Unison.Pattern
2 (Data Constructor)
Unison.Term
char
1 (Function)
Unison.Type
2 (Function)
Unison.Term
Char'
Unison.Term
charClassRef
Unison.Type
charRef
Unison.Type
classifyProjectBranchName
Unison.Project
cleanup
Unison.Type
cleanupAbilityLists
Unison.Type
cleanups
Unison.Type
cleanupTypes
Unison.Settings
cleanupVars
Unison.Type
cleanupVars1
Unison.Type
cleanupVars1'
Unison.Type
cleanupVarsMap
Unison.Type
code
Unison.Type
codeRef
Unison.Type
commonPrefix
Unison.Name
compareAlphabetical
Unison.Name
compareSuffix
Unison.Name
component
Unison.Reference
componentFor
Unison.Reference
componentFromLength
Unison.Reference
components
1 (Function)
Unison.Reference
2 (Function)
Unison.Util.Components
3 (Function)
Unison.ABT
Con
Unison.Referent
Con'
Unison.ReferentPrime
Concat
Unison.Pattern
Conflicted
1 (Type/Class)
Unison.Util.Conflicted
2 (Data Constructor)
Unison.Util.Conflicted
conflicts
Unison.Names
ConId
Unison.Referent
ConReference
Unison.LabeledDependency
Cons
Unison.Pattern
cons
Unison.Name
consLetRec
Unison.Term
Constructor
1 (Data Constructor)
Unison.Pattern
2 (Data Constructor)
Unison.Term
constructor
Unison.Term
Constructor'
Unison.Term
constructorCount
Unison.DataDeclaration
constructorDependencies
Unison.Term
ConstructorId
Unison.DataDeclaration.ConstructorId
constructorIds
Unison.DataDeclaration
constructorNames
Unison.DataDeclaration
ConstructorReference
1 (Type/Class)
Unison.ConstructorReference
2 (Data Constructor)
Unison.ConstructorReference
ConstructorReferenceId
Unison.ConstructorReference
constructors
Unison.DataDeclaration
constructorsForType
Unison.Names
constructors_
Unison.DataDeclaration
ConstructorType
Unison.ConstructorType
constructorType
Unison.DataDeclaration
constructorTypes
Unison.DataDeclaration
constructorVars
Unison.DataDeclaration
contains
Unison.Names
containsCase
Unison.Term
containsCaseTerm
Unison.Term
containsExpression
1 (Function)
Unison.ABT
2 (Function)
Unison.Term
containsSignature
Unison.Term
Continue
Unison.ABT
countSegments
Unison.Name
Cycle
Unison.ABT
cycle
Unison.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
cycler
Unison.ABT
CycleSize
Unison.Reference
Data
Unison.ConstructorType
dataConstructor
Unison.LabeledDependency
DataDeclaration
1 (Type/Class)
Unison.DataDeclaration
2 (Data Constructor)
Unison.DataDeclaration
dataDeclToNames'
Unison.DataDeclaration.Names
debugNoteLoc
Unison.Settings
debugNoteSummary
Unison.Settings
debugRevealForalls
Unison.Settings
Decl
1 (Data Constructor)
Unison.DataDeclaration
2 (Type/Class)
Unison.DataDeclaration
declAsDataDecl_
Unison.DataDeclaration
declConstructorReferents
Unison.DataDeclaration
declFields
Unison.DataDeclaration
DeclNameLookup
1 (Type/Class)
Unison.DeclNameLookup
2 (Data Constructor)
Unison.DeclNameLookup
DeclOrBuiltin
Unison.DataDeclaration
declTypeDependencies
Unison.DataDeclaration
Defn
Unison.Util.Defn
Defns
1 (Type/Class)
Unison.Util.Defns
2 (Data Constructor)
Unison.Util.Defns
defnsAreEmpty
Unison.Util.Defns
DefnsF
Unison.Util.Defns
DefnsF2
Unison.Util.Defns
DefnsF3
Unison.Util.Defns
DefnsF4
Unison.Util.Defns
Delay
Unison.Var
delay
Unison.Term
Delay'
Unison.Term
demoHideVarNumber
Unison.Settings
dependencies
1 (Function)
Unison.Type
2 (Function)
Unison.Term
Derived
Unison.Reference
derivedBase32Hex
1 (Function)
Unison.Reference
2 (Function)
Unison.Type
DerivedId
Unison.Reference
derivedTerm
Unison.LabeledDependency
derivedType
Unison.LabeledDependency
Diff
1 (Type/Class)
Unison.NamesWithHistory
2 (Data Constructor)
Unison.NamesWithHistory
diff
Unison.NamesWithHistory
difference
Unison.Names
Double
Unison.Hashable
dropAbs
Unison.ABT
editFunctionResult
Unison.Type
Effect
1 (Data Constructor)
Unison.ConstructorType
2 (Data Constructor)
Unison.Type
effect
Unison.Type
Effect'
Unison.Type
Effect''
Unison.Type
Effect0'
Unison.Type
effect1
Unison.Type
Effect1'
Unison.Type
EffectBind
Unison.Pattern
effectConstructor
Unison.LabeledDependency
EffectDeclaration
1 (Type/Class)
Unison.DataDeclaration
2 (Data Constructor)
Unison.DataDeclaration
effectDeclToNames'
Unison.DataDeclaration.Names
EffectfulArrows'
Unison.Type
EffectPure
Unison.Pattern
effectRef
Unison.Type
Effects
Unison.Type
effects
Unison.Type
Effects'
Unison.Type
effectType
Unison.Type
effectV
Unison.Type
endsWith
Unison.Name
endsWithReverseSegments
Unison.Name
endsWithSegments
Unison.Name
Eta
Unison.Var
etaNormalForm
Unison.Term
etaReduceEtaVars
Unison.Term
ExactName
Unison.NamesWithHistory
existentializeArrows
Unison.Type
expandWildcardImport
Unison.Names
expectConstructorNames
Unison.DeclNameLookup
expectDeclName
Unison.DeclNameLookup
extraMap
1 (Function)
Unison.ABT
2 (Function)
Unison.Term
extraMap'
Unison.Term
F
1 (Type/Class)
Unison.Type
2 (Type/Class)
Unison.Term
fileHandle
Unison.Type
fileHandleRef
Unison.Type
filePathRef
Unison.Type
filter
Unison.Names
filterByHQs
Unison.Names
filterByRankedSuffix
Unison.Name
filterBySHs
Unison.Names
filterBySuffix
Unison.Name
filterTypes
Unison.Names
find
Unison.ABT
find'
Unison.ABT
FindAction
Unison.ABT
flattenEffects
Unison.Type
flattenNametree
Unison.Util.Nametree
flattenNametrees
Unison.Util.Nametree
flipApply
Unison.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
floatRef
Unison.Type
fold
1 (Function)
Unison.ReferentPrime
2 (Function)
Unison.Referent
3 (Function)
Unison.LabeledDependency
foldMap'
Unison.Pattern
Forall
Unison.Type
forAll
Unison.Type
Forall'
Unison.Type
forAll'
Unison.Type
ForallNamed'
Unison.Type
foralls
Unison.Type
ForallsNamed'
Unison.Type
ForallsNamedOpt'
Unison.Type
foreachSubterm
Unison.ABT
ForwardName
1 (Type/Class)
Unison.Name.Forward
2 (Data Constructor)
Unison.Name.Forward
Found
Unison.ABT
Free
Unison.ABT
freeEffectVars
Unison.Type
freeTypeVarAnnotations
Unison.Term
freeTypeVars
Unison.Term
freeVarOccurrences
Unison.ABT
freeVars
1 (Function)
Unison.ABT
2 (Function)
Unison.Type
3 (Function)
Unison.Term
freeVars'
Unison.ABT
freeVarsToOuters
Unison.Type
fresh
1 (Function)
Unison.ABT
2 (Function)
Unison.Term
freshenBothWrt
Unison.ABT
freshenId
Unison.Var
freshenS
Unison.ABT
freshenWrt
Unison.ABT
freshId
Unison.Var
freshIn
1 (Function)
Unison.ABT
2 (Function)
Unison.Var
freshInBoth
Unison.ABT
fromBytes
Unison.Hashable
fromHQ
Unison.HashQualifiedPrime
fromHQ2
Unison.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
fromPattern
Unison.HashQualified
fromReference
Unison.HashQualified
fromReferenceIds
Unison.Names
fromReferent
1 (Function)
Unison.HashQualified
2 (Function)
Unison.Term
fromReverseSegments
Unison.Name
fromSegment
Unison.Name
fromSegments
Unison.Name
fromTermReference
Unison.Referent
fromTermReferenceId
Unison.Referent
fromTerms
Unison.Util.Defns
fromTermsAndTypes
Unison.Names
fromText
1 (Function)
Unison.Reference
2 (Function)
Unison.Referent
fromTypes
Unison.Util.Defns
fromUnconflictedReferenceIds
Unison.Names
fullyQualifiedProjectAndBranchNamesParser
Unison.Project
functionResult
Unison.Type
fuzzyFind
Unison.Names
GConstructorReference
Unison.ConstructorReference
generalize
Unison.Type
generalize'
Unison.Type
generalizedDependencies
1 (Function)
Unison.Pattern
2 (Function)
Unison.Term
generalizeLowercase
Unison.Type
generalizeTypeSignatures
Unison.Term
generateRecordAccessors
Unison.DataDeclaration.Records
getAnnotation
Unison.Names.ResolutionResult
getTypeAnnotation
Unison.Term
groupByComponent
Unison.Reference
Handle
Unison.Term
handle
Unison.Term
Handle'
Unison.Term
hash
Unison.Hashable
hashAlgorithmRef
Unison.Type
hasHash
Unison.HashQualified
Hashed
Unison.Hashable
HashOnly
Unison.HashQualified
HashQualified
1 (Type/Class)
Unison.HashQualified
2 (Data Constructor)
Unison.HashQualified
3 (Type/Class)
Unison.HashQualifiedPrime
4 (Data Constructor)
Unison.HashQualifiedPrime
hashQualifyTermsRelation
Unison.Names
hashQualifyTypesRelation
Unison.Names
hasName
Unison.HashQualified
hasSubpattern
Unison.Pattern
hasTermNamed
Unison.NamesWithHistory
hasTypeNamed
Unison.NamesWithHistory
hoistDefnsF
Unison.Util.Defns
hqName
Unison.Names
HQSegment
Unison.HashQualifiedPrime
hqTermName
Unison.Names
hqTermName'
Unison.Names
hqTypeName
Unison.Names
hqTypeName'
Unison.Names
iarrayRef
Unison.Type
iarrayType
Unison.Type
ibytearrayRef
Unison.Type
ibytearrayType
Unison.Type
Id
1 (Data Constructor)
Unison.Reference
2 (Type/Class)
Unison.Reference
3 (Type/Class)
Unison.Referent
Id'
Unison.Reference
idToHash
Unison.Reference
idToShortHash
Unison.Reference
idToText
Unison.Reference
If
Unison.Term
If'
Unison.Term
iff
1 (Function)
Unison.Type
2 (Function)
Unison.Term
iff'
Unison.Type
iff2
Unison.Type
importing
Unison.Names
IncludeSuffixes
Unison.NamesWithHistory
inferAbility
Unison.Var
Inference
Unison.Var
InferenceType
Unison.Var
inferInput
Unison.Var
inferOther
Unison.Var
inferOutput
Unison.Var
inferPatternBindE
Unison.Var
inferPatternBindV
Unison.Var
inferPatternPureE
Unison.Var
inferPatternPureV
Unison.Var
inferTypeConstructor
Unison.Var
inferTypeConstructorArg
Unison.Var
Input
Unison.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
intRef
Unison.Type
IntroOuter
Unison.Type
introOuter
Unison.Type
IntroOuter'
Unison.Type
IntroOuterNamed'
Unison.Type
Irrelevant
Unison.Var
isAbsolute
Unison.Name.Internal
,
Unison.Name
isAction
Unison.Var
isArrow
Unison.Type
isBuiltin
Unison.Reference
isConstructor
Unison.ReferentPrime
isEmpty
Unison.Names
isFreeIn
Unison.ABT
isLam
Unison.Term
isPrefixOf
1 (Function)
Unison.Name
2 (Function)
Unison.Reference
3 (Function)
Unison.Referent
isRelative
Unison.Name
IsTop
Unison.Term
isUnqualified
Unison.Name
joinDot
Unison.Name
Kind
Unison.Kind
labeledDeclDependenciesIncludingSelf
Unison.DataDeclaration
labeledDeclTypeDependencies
Unison.DataDeclaration
labeledDependencies
1 (Function)
Unison.Type
2 (Function)
Unison.Pattern
3 (Function)
Unison.Term
LabeledDependency
Unison.LabeledDependency
labeledReferences
Unison.Names
labeledTypeDependencies
Unison.DataDeclaration
Lam
Unison.Term
lam
Unison.Term
Lam'
Unison.Term
lam'
Unison.Term
LamNamed'
Unison.Term
LamsNamed'
Unison.Term
LamsNamedOpt'
Unison.Term
LamsNamedOrDelay'
Unison.Term
LamsNamedPred'
Unison.Term
lamWithoutBindingAnns
Unison.Term
lastSegment
Unison.Name
lenientToNametree
Unison.Names
Let
Unison.Term
let1
Unison.Term
Let1'
Unison.Term
let1'
Unison.Term
Let1Named'
Unison.Term
Let1NamedTop'
Unison.Term
Let1Top'
Unison.Term
let1_
Unison.Term
LetRec
Unison.Term
letRec
Unison.Term
LetRec'
Unison.Term
letRec'
Unison.Term
LetRecNamed'
Unison.Term
LetRecNamedAnnotated'
Unison.Term
LetRecNamedAnnotatedTop'
Unison.Term
LetRecNamedTop'
Unison.Term
LetRecTop'
Unison.Term
letRec_
Unison.Term
Lets'
Unison.Term
List
Unison.Term
list
1 (Function)
Unison.Type
2 (Function)
Unison.Term
List'
Unison.Term
list'
Unison.Term
listRef
Unison.Type
loc
1 (Function)
Unison.Blank
2 (Function)
Unison.Pattern
longestTermName
Unison.NamesWithHistory
lookupHQPattern
Unison.NamesWithHistory
lookupHQTerm
Unison.NamesWithHistory
lookupHQTerm'
Unison.NamesWithHistory
lookupHQType
Unison.NamesWithHistory
lookupHQType'
Unison.NamesWithHistory
lookupRelativeHQTerm
Unison.NamesWithHistory
lookupRelativeHQTerm'
Unison.NamesWithHistory
lookupRelativeHQType
Unison.NamesWithHistory
lookupRelativeHQType'
Unison.NamesWithHistory
makeAbsolute
1 (Function)
Unison.Name
2 (Function)
Unison.Names
makeRelative
1 (Function)
Unison.Name
2 (Function)
Unison.Names
map
Unison.Names
mapDefns
Unison.Util.Defns
mapNames
Unison.Names
marrayRef
Unison.Type
marrayType
Unison.Type
Match
Unison.Term
match
Unison.Term
Match'
Unison.Term
MatchCase
1 (Type/Class)
Unison.Term
2 (Data Constructor)
Unison.Term
matchCaseExtraMap
Unison.Term
matchCaseFromTerm
Unison.Term
matchCaseToTerm
Unison.Term
matchesNamedReference
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
matchesNamedReferent
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
matchPattern_
Unison.Term
mbytearrayRef
Unison.Type
mbytearrayType
Unison.Type
MissingResult
Unison.Var
missingResult
1 (Function)
Unison.Var
2 (Function)
Unison.Term
MissingResultPlaceholder
Unison.Blank
mkDataDecl'
Unison.DataDeclaration
mkEffectDecl'
Unison.DataDeclaration
Modifier
Unison.DataDeclaration
Monotype
1 (Type/Class)
Unison.Type
2 (Data Constructor)
Unison.Type
monotype
Unison.Type
mvarRef
Unison.Type
Name
1 (Type/Class)
Unison.Name.Internal
,
Unison.Name
2 (Data Constructor)
Unison.Name.Internal
name
Unison.Var
nameb
Unison.Blank
named
Unison.Var
nameds
Unison.Var
nameLength
Unison.HashQualifiedPrime
NameOnly
1 (Data Constructor)
Unison.HashQualified
2 (Data Constructor)
Unison.HashQualifiedPrime
Names
1 (Type/Class)
Unison.Names
2 (Data Constructor)
Unison.Names
namesForReference
Unison.Names
namesForReferent
Unison.Names
nameStr
Unison.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
natRef
Unison.Type
normalizeForallOrder
Unison.Type
NotFound
Unison.Names.ResolutionResult
numberedFreeVars
Unison.ABT
occurrences
Unison.ABT
Or
Unison.Term
or
Unison.Term
Or'
Unison.Term
orderedComponents
Unison.ABT
Ors'
Unison.Term
Other
Unison.Var
out
Unison.ABT
out'
Unison.ABT
Output
Unison.Var
OverappliedBinaryAppPred'
Unison.Term
parent
Unison.Name
partition
Unison.LabeledDependency
partitionResolutions
Unison.Names.ResolvesTo
Pattern
1 (Data Constructor)
Unison.Var
2 (Type/Class)
Unison.Pattern
PatternBindE
Unison.Var
PatternBindV
Unison.Var
patternMap
Unison.Term
PatternPureE
Unison.Var
PatternPureV
Unison.Var
patternRef
Unison.Type
Placeholder
Unison.Blank
placeholder
Unison.Term
Pos
Unison.Reference
Position
Unison.Position
preferring
Unison.Names
preferShallowLibDepth
Unison.Name
prefix0
Unison.Names
prepareTDNR
Unison.Term
prependUserSlugToProjectName
Unison.Project
processHandle
Unison.Type
processHandleRef
Unison.Type
project
Unison.Project
ProjectAndBranch
1 (Type/Class)
Unison.Project
2 (Data Constructor)
Unison.Project
ProjectAndBranchNames
Unison.Project
ProjectAndBranchNames'Ambiguous
Unison.Project
ProjectAndBranchNames'Unambiguous
Unison.Project
projectAndBranchNamesParser
Unison.Project
projectAndBranchNamesParser2
Unison.Project
projectAndOptionalBranchParser
Unison.Project
ProjectBranchName
Unison.Project
ProjectBranchNameKind
Unison.Project
ProjectBranchNameKind'Contributor
Unison.Project
ProjectBranchNameKind'DraftRelease
Unison.Project
ProjectBranchNameKind'NothingSpecial
Unison.Project
ProjectBranchNameKind'Release
Unison.Project
ProjectBranchNameOrLatestRelease
Unison.Project
ProjectBranchNameOrLatestRelease'LatestRelease
Unison.Project
ProjectBranchNameOrLatestRelease'Name
Unison.Project
projectBranchNameParser
Unison.Project
projectBranchNameUserSlug
Unison.Project
ProjectBranchSpecifier
Unison.Project
ProjectBranchSpecifier'Name
Unison.Project
ProjectBranchSpecifier'NameOrLatestRelease
Unison.Project
ProjectName
Unison.Project
projectNameParser
Unison.Project
projectNameToUserProjectSlugs
Unison.Project
projectNameUserSlug
Unison.Project
promiseRef
Unison.Type
Prune
Unison.ABT
Pure'
Unison.Type
purifyArrows
Unison.Type
push
Unison.NamesWithHistory
rawName
Unison.Var
readSuffix
Unison.Reference
reannotateUp
Unison.ABT
rebuildMaybeUp
Unison.ABT
rebuildUp
Unison.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
Reference
Unison.Reference
Reference'
Unison.Reference
ReferenceBuiltin
Unison.Reference
ReferenceDerived
Unison.Reference
referenceIds
Unison.Names
reference_
1 (Function)
Unison.ConstructorReference
2 (Function)
Unison.ReferentPrime
,
Unison.Referent
Referent
Unison.Referent
referent
Unison.LabeledDependency
Referent'
1 (Type/Class)
Unison.ReferentPrime
2 (Data Constructor)
Unison.Term
referents
Unison.LabeledDependency
RefId
Unison.Referent
refId
1 (Function)
Unison.Type
2 (Function)
Unison.Term
refRef
Unison.Type
refTermsHQNamed
Unison.Names
refTermsNamed
Unison.Names
refType
Unison.Type
RegularWatch
Unison.WatchKind
Relative
Unison.Position
removeAllEffectVars
Unison.Type
removeEffectVars
Unison.Type
removeEmptyEffects
Unison.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
renameTypeVar
Unison.Term
renderTermMaxLength
Unison.Settings
requalify
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
Request
Unison.Term
request
Unison.Term
Request'
1 (Data Constructor)
Unison.Type
2 (Data Constructor)
Unison.Term
RequestOrCtor'
Unison.Term
reset
Unison.Var
ResolutionError
Unison.Names.ResolutionResult
ResolutionFailure
Unison.Names.ResolutionResult
ResolutionResult
Unison.Names.ResolutionResult
Resolve
Unison.Blank
resolve
Unison.Term
resolveName
Unison.Names
resolveNameIncludingNames
Unison.Names
ResolvesTo
Unison.Names.ResolvesTo
ResolvesToLocal
Unison.Names.ResolvesTo
ResolvesToNamespace
Unison.Names.ResolvesTo
restrictReferences
Unison.Names
Retain
Unison.Blank
reverseSegments
Unison.Name
rewriteCasesLHS
Unison.Term
rewriteDown
Unison.ABT
rewriteDown_
Unison.ABT
rewriteExpression
Unison.ABT
rewriteSignatures
Unison.Term
scopeRef
Unison.Type
scopeType
Unison.Type
searchByRankedSuffix
Unison.Name
searchBySuffix
Unison.Name
SearchType
Unison.NamesWithHistory
segments
Unison.Name.Internal
,
Unison.Name
Semver
1 (Type/Class)
Unison.Project
2 (Data Constructor)
Unison.Project
SeqOp
Unison.Pattern
SequenceLiteral
Unison.Pattern
SequenceOp
Unison.Pattern
setConstructorNames
Unison.DataDeclaration
setLoc
Unison.Pattern
setPosition
Unison.Name
shadowing
Unison.Names
shadowing1
Unison.Names
shadowTerms
Unison.Names
showShort
Unison.Reference
showSuffix
Unison.Reference
singleLet
Unison.Term
Size
Unison.Reference
Snoc
Unison.Pattern
snoc
Unison.Name
socket
Unison.Type
socketRef
Unison.Type
sortByLength
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
sortByText
Unison.Name
sortNamed
Unison.Name
sortNames
Unison.Name
splits
Unison.Name
Star
Unison.Kind
stmRef
Unison.Type
stripEffect
Unison.Type
stripIntroOuters
Unison.Type
stripNamePrefix
1 (Function)
Unison.Name
2 (Function)
Unison.Name.Forward
stripNamespace
Unison.HashQualified
stripReversedPrefix
Unison.Name
Structural
Unison.DataDeclaration
Subst
1 (Type/Class)
Unison.ABT
2 (Data Constructor)
Unison.ABT
subst
Unison.ABT
substInheritAnnotation
Unison.ABT
substs
Unison.ABT
substsInheritAnnotation
Unison.ABT
substTypeVar
Unison.Term
substTypeVars
Unison.Term
subterms
Unison.ABT
suffixes
Unison.Name
suffixFrom
Unison.Name
suffixifyByHash
Unison.Name
suffixifyByHashName
Unison.Name
suffixifyByName
Unison.Name
Symbol
1 (Type/Class)
Unison.Symbol
2 (Data Constructor)
Unison.Symbol
symbol
Unison.Symbol
TAbs
Unison.ABT.Normalized
TAbss
Unison.ABT.Normalized
Tag
Unison.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
Term0
Unison.Term
Term0'
Unison.Term
Term2
Unison.Term
Term3
Unison.Term
TermDefn
Unison.Util.Defn
termDependencies
Unison.Term
TermLink
Unison.Term
termLink
1 (Function)
Unison.Type
2 (Function)
Unison.Term
TermLink'
Unison.Term
termLinkRef
Unison.Type
termName
Unison.NamesWithHistory
termNamesByLength
Unison.NamesWithHistory
termRef
Unison.LabeledDependency
TermReference
1 (Type/Class)
Unison.Reference
2 (Data Constructor)
Unison.LabeledDependency
TermReferenceId
Unison.Reference
termReferences
Unison.Names
TermReferent
Unison.LabeledDependency
termReferents
Unison.Names
TermResolutionFailure
Unison.Names.ResolutionResult
termsNamed
Unison.Names
TestWatch
Unison.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
textRef
Unison.Type
threadId
Unison.Type
threadIdRef
Unison.Type
ticketRef
Unison.Type
timeSpecRef
Unison.Type
tlsCipherRef
Unison.Type
tlsClientConfigRef
Unison.Type
tlsPrivateKeyRef
Unison.Type
tlsRef
Unison.Type
tlsServerConfigRef
Unison.Type
tlsSignedCertRef
Unison.Type
tlsVersionRef
Unison.Type
Tm
1 (Data Constructor)
Unison.ABT
2 (Data Constructor)
Unison.ABT.Normalized
tm
Unison.ABT
Tm'
Unison.ABT
tm'
Unison.ABT
toBytes
Unison.Hashable
toConstructorReference
Unison.Referent
toConstructorReferenceId
Unison.Referent
toHash
1 (Function)
Unison.Reference
2 (Function)
Unison.HashQualified
3 (Function)
Unison.HashQualifiedPrime
toHQ
Unison.HashQualifiedPrime
toId
1 (Function)
Unison.Reference
2 (Function)
Unison.ConstructorReference
3 (Function)
Unison.Referent
Token
Unison.Hashable
toName
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
toNameOnly
Unison.HashQualifiedPrime
toPattern
Unison.Term
toReference
Unison.Referent
toReference'
Unison.ReferentPrime
toReferenceId
Unison.Referent
toShortHash
1 (Function)
Unison.Reference
2 (Function)
Unison.ConstructorReference
3 (Function)
Unison.Referent
toString
Unison.Referent
toStringWith
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
toTermReference
1 (Function)
Unison.ReferentPrime
2 (Function)
Unison.Referent
toTermReferenceId
Unison.Referent
toText
1 (Function)
Unison.Reference
2 (Function)
Unison.Referent
toTextWith
1 (Function)
Unison.HashQualified
2 (Function)
Unison.HashQualifiedPrime
toTypeReference
Unison.ReferentPrime
transform
1 (Function)
Unison.ABT
2 (Function)
Unison.ABT.Normalized
transformM
Unison.ABT
traverseNametreeWithName
Unison.Util.Nametree
tryStripReversedPrefix
Unison.Name
TTm
Unison.ABT.Normalized
tvarRef
Unison.Type
Type
1 (Type/Class)
Unison.Var
2 (Type/Class)
Unison.Type
TypeConstructor
Unison.Var
TypeConstructorArg
Unison.Var
typed
Unison.Var
TypeDefn
Unison.Util.Defn
typeDependencies
1 (Function)
Unison.Term
2 (Function)
Unison.DataDeclaration
TypeF
Unison.Type
TypeLink
Unison.Term
typeLink
1 (Function)
Unison.Type
2 (Function)
Unison.Term
TypeLink'
Unison.Term
typeLinkRef
Unison.Type
typeMap
Unison.Term
typeName
Unison.NamesWithHistory
typeOf
Unison.Var
typeOfConstructor
Unison.DataDeclaration
typeRef
Unison.LabeledDependency
TypeReference
1 (Type/Class)
Unison.Reference
2 (Data Constructor)
Unison.LabeledDependency
TypeReferenceId
Unison.Reference
typeReferences
Unison.Names
TypeResolutionFailure
Unison.Names.ResolutionResult
typesNamed
Unison.Names
udpClientSockAddr
Unison.Type
udpClientSockAddrRef
Unison.Type
udpListenSocket
Unison.Type
udpListenSocketRef
Unison.Type
udpSocket
Unison.Type
udpSocketRef
Unison.Type
unabs
Unison.ABT
unabsA
Unison.ABT
unAnds
Unison.Term
unannotate
Unison.Term
unApps
1 (Function)
Unison.Type
2 (Function)
Unison.Term
unAppsPred
Unison.Term
unArrows
Unison.Type
unBinaryApp
Unison.Term
unBinaryAppPred
Unison.Term
unBinaryApps
Unison.Term
unBinaryAppsPred
Unison.Term
Unbound
Unison.Pattern
uncapitalize
Unison.Var
unDelay
Unison.Term
unEffect0
Unison.Type
unEffectfulArrows
Unison.Type
unEffects1
Unison.Type
unflattenNametree
Unison.Util.Nametree
unflattenNametrees
Unison.Util.Nametree
unfoldNametree
Unison.Util.Nametree
unforall
Unison.Type
unforall'
Unison.Type
unForalls
Unison.Type
unForallsOpt
Unison.Type
unhashComponent
1 (Function)
Unison.Term
2 (Function)
Unison.DataDeclaration
unIntroOuters
Unison.Type
Unique
Unison.DataDeclaration
universallyQuantifyIfFree
Unison.Var
unLams'
Unison.Term
unLamsOpt'
Unison.Term
unLamsPred'
Unison.Term
unLamsUntilDelay'
Unison.Term
unLet
Unison.Term
unLet1
Unison.Term
unLetRec
Unison.Term
unLetRecNamed
Unison.Term
unLetRecNamedAnnotated
Unison.Term
unnamedRef
Unison.Var
UnnamedReference
Unison.Var
unnamedTest
Unison.Var
UnnamedWatch
Unison.Var
unOrs
Unison.Term
unOverappliedBinaryAppPred
Unison.Term
unPure
Unison.Type
unqualified
Unison.Name
unReferent
Unison.Term
unReqOrCtor
Unison.Term
unsafeFromText
Unison.Reference
unsafeId
Unison.Reference
unvar
Unison.ABT
unzipDefns
Unison.Util.Defns
unzipDefnsWith
Unison.Util.Defns
updateDependencies
1 (Function)
Unison.Type
2 (Function)
Unison.Pattern
3 (Function)
Unison.Term
4 (Function)
Unison.DataDeclaration
User
Unison.Var
usesEffects
Unison.Type
V
Unison.ABT
v'
Unison.Type
value
Unison.Type
valueRef
Unison.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
vmapM
Unison.ABT
vtmap
Unison.Term
watch
Unison.Term
WatchKind
Unison.WatchKind
watchKindShouldBeStoredInDatabase
Unison.WatchKind
watchMaybe
Unison.Term
withEffectDeclM
Unison.DataDeclaration
wrapV
1 (Function)
Unison.Type
2 (Function)
Unison.Term
zipDefns
Unison.Util.Defns
zipDefnsWith
Unison.Util.Defns
zipDefnsWith3
Unison.Util.Defns
zipDefnsWith4
Unison.Util.Defns
_Ann
Unison.Term
_Constructor
Unison.Term
_DerivedId
Unison.Reference
_hqTermAliases
Unison.Names
_hqTermName
Unison.Names
_hqTypeAliases
Unison.Names
_hqTypeName
Unison.Names
_Match
Unison.Term
_Ref
1 (Function)
Unison.Type
2 (Function)
Unison.Term
_Request
Unison.Term
_TermLink
Unison.Term
_TypeLink
Unison.Term