Documentation

Project something from the local environment.

Set the local environment.

Update the enviroment using the provided function.

Perform a computation in its own local environment. This does not alter the environment of the current state.

Perform a computation in an empty local environment.

Get the name of the local binding currently being vectorised.

Run a vectorisation computation in a local environment, with this id set as the current binding.

Lookup a PA tyvars from the local environment.

Add a tyvar to the local environment.

Add mapping between a tyvar and pa dictionary to the local environment.

Get the set of tyvars from the local environment.