unison-core1-0.0.0
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
$
_
All
Index - A
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