IO

Reads a character from standard input.

Hoist RunInBase given a natural isomorphism between the two functors

Construct an IO action from a world-transition function.

Register a finalizer in the current region. When the region terminates, all registered finalizers will be performed if they're not duplicated to a parent region.

Writes a character to standard output.

Writes a string to standard output.

Writes a string to standard output, followed by a newline.

Reads a line of standard input.

Execute a region inside its parent region P. All resources which have been opened in the given region and which haven't been duplicated using "dup", will be closed on exit from this function whether by normal termination or by raising an exception. Also all resources which have been duplicated to this region from a child region are closed on exit if they haven't been duplicated themselves. The Forall quantifier prevents resources from being returned by this function.

Throw the given error in the IO monad.

An IO action that does nothing.

An IO action is an ST action.