disco-0.2: Functional programming language for teaching discrete math.
Quick Jump
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
$
%
.
<
=
@
|
_
All
Index - U
U
Disco.Types
ua
Disco.Exhaustiveness
UAtom
Disco.Types
uatomToAtom
Disco.Types
uatomToEither
Disco.Types
uatomToTypeSubst
Disco.Types
UB
Disco.Types
ubsBySort
Disco.Typecheck.Solve
UD
Disco.AST.Surface
UFixity
Disco.Syntax.Operators
ugetPA
Disco.Pretty.Prec
, Disco.Pretty
uisVar
Disco.Types
unbind
Disco.Effects.Fresh
Unbound
Disco.Typecheck.Util
UnboundError
Disco.Error
UnboundPanic
Disco.Error
UnboundTyVar
Disco.Typecheck.Util
Unification
Disco.Types
unify
Disco.Typecheck.Unify
unify'
Disco.Typecheck.Unify
unifyAtoms
Disco.Typecheck.Unify
unifyUAtoms
Disco.Typecheck.Unify
Union
Disco.Syntax.Operators
Unit
Disco.Types
unit
Disco.Exhaustiveness.TypeInfo
unknown
Disco.Exhaustiveness.TypeInfo
unpair
Disco.Types
Unqual
Disco.Typecheck.Solve
UnqualBase
Disco.Typecheck.Solve
unRelMap
Disco.Typecheck.Solve
Unsolvable
Disco.Typecheck.Util
Until
Disco.AST.Generic
,
Disco.AST.Surface
unVM
Disco.Typecheck.Solve
UOp
Disco.Syntax.Operators
UOpF
Disco.Syntax.Operators
uopMap
Disco.Syntax.Operators
uPrec
Disco.Syntax.Operators
URL
Disco.Doc
use
Disco.Effects.State
UV
Disco.Types