next up previous contents
Next: Monads Up: The Ur/Web Manual Previous: The Ur Standard Library   Contents

The Ur/Web Standard Library

Some operations are only allowed in server-side code or only in client-side code. The type system does not enforce such restrictions, but the compiler enforces them in the process of whole-program compilation. In the discussion below, we note when a set of operations has a location restriction.