Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Arrow/

: ( i `AR` ii ) ~ ( ii `RA` i ) ~ ( Arrow i ii )

Subtypes: Scope, Event.

Factoring through Void:

> `hv` : Arrow a o `AR_____` Arrow a o > `yi` : a `AR__` Arrow ( Arrow a o ) `AR__` o

Contravariant Endo Functor from Arrow into Arrow (1/2 argument):

> `yai` : Arrow a _ `AR_______` a `RA` o `AR______` Arrow o _

Covariant Endo Functor from Arrow into Arrow (2/2 argument):

> `yio` : Arrow _ a `AR_______` a `AR` o `AR______` Arrow _ o