| uname | Language.PureScript.Parser.Lexer, Language.PureScript.Parser, Language.PureScript |
| uname' | Language.PureScript.Parser.Lexer, Language.PureScript.Parser, Language.PureScript |
| UnaryMinus | Language.PureScript.AST.Declarations, Language.PureScript.AST, Language.PureScript |
| UnaryOperator | Language.PureScript.CodeGen.JS.AST, Language.PureScript.CodeGen.JS, Language.PureScript.CodeGen, Language.PureScript |
| unCheck | Language.PureScript.TypeChecker.Monad, Language.PureScript.TypeChecker, Language.PureScript |
| Undefined | Language.PureScript.Environment, Language.PureScript |
| undefined | Language.PureScript.Constants |
| underscore | Language.PureScript.Parser.Lexer, Language.PureScript.Parser, Language.PureScript |
| Unifiable | Control.Monad.Unify |
| unifiesWith | Language.PureScript.TypeChecker.Unify |
| unifyCurrentSubstitution | Control.Monad.Unify |
| unifyNextVar | Control.Monad.Unify |
| unifyRows | Language.PureScript.TypeChecker.Unify |
| UnifyState | |
| 1 (Type/Class) | Control.Monad.Unify |
| 2 (Data Constructor) | Control.Monad.Unify |
| UnifyT | |
| 1 (Type/Class) | Control.Monad.Unify |
| 2 (Data Constructor) | Control.Monad.Unify |
| unifyTypes | Language.PureScript.TypeChecker.Unify |
| unit | Language.PureScript.Constants |
| Unknown | Control.Monad.Unify |
| unknown | Control.Monad.Unify |
| unknowns | Control.Monad.Unify |
| Unqualified | Language.PureScript.AST.Declarations, Language.PureScript.AST, Language.PureScript |
| unsafeIndex | Language.PureScript.Constants |
| unSupplyT | Language.PureScript.Supply, Language.PureScript |
| unThunk | Language.PureScript.CodeGen.JS.Optimizer.Inliner |
| untilE | Language.PureScript.Constants |
| unUnify | Control.Monad.Unify |
| usedTypeVariables | Language.PureScript.Types, Language.PureScript |