Index - U
| U | Disco.Types |
| UAtom | Disco.Types |
| uatomToAtom | Disco.Types |
| uatomToEither | Disco.Types |
| uatomToTypeSubst | Disco.Types |
| UB | Disco.Types |
| 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 |
| 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 |
| use | Disco.Effects.State |
| UV | Disco.Types |