Я ☞ Operators ☞ hv

Precedence: 9

`hv` - [V]oid

How to read: factor an argument via Void object contravariantly.

Useful for function application:

function `hv` argument

If you are looking for a reverse function application - use yi.

Accompanied with he, you can write effect handlers:

Event `hv` auto `he'hv` _ : Equipped _ _

State `ha` Event `hv` auto `he'he'hv` _ : Equipped _ _