Documentation

Contains the vectorised and lifted versions of some thing.

Get the vectorised version of a thing.

Get the lifted version of a thing.

Apply some function to both the vectorised and lifted versions of a thing.

Get the type of a vectorised variable.

Make a vectorised non-recursive binding.

Make a vectorised recursive binding.

Wrap a vectorised variable as a vectorised expression.

Wrap a vectorised type as a vectorised expression.

Make a vectorised note.

Make a vectorised let expresion.

Make a vectorised lambda abstraction. The lifted version also binds the lifting context.

Like vLams but the lifted version doesn't bind the lifting context.

Apply some argument variables to an expression. The lifted version is also applied to the variable of the lifting context.