Go to the first, previous, next, last section, table of contents.

Primitive state-transformer monad

This monad underlies our implementation of arrays, mutable and immutable, and our implementation of I/O, including "C calls".

You probably won't use the monad directly, but you might use all those other things!

The "state interface document" defines the state-related types in sections 1.4 and 1.5, and the monad itself in section 2.1.


Go to the first, previous, next, last section, table of contents.