Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Arrow/

: ( i `AR` ii ) ~ ( ii `RA` i ) ~ ( Function i ii ) ~ ( Arrow i ii ) > Arrow : Arrow i ii `AR` Arrow i ii > `tb` : i `AR_` ii `AR_____` Given i ii > `tb` : i `AR_` Boolean `AR____` Match i > `tb` : i `AR_` ii `P` ( ii `AR` i ) `AR______` Scope i ii > `tb` : i `AR_` ii `P` i `AR______` Event i ii > `tb` : i `AR_` ii `P` i `AR______` State i ii

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

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

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

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

Contravariant Functor from Arrow into Arrow with representing objects (1/2 argument):

> `yair` : Arrow a i `AR___` i `RA` a

Covariant Functor from Arrow into Arrow with representing objects (2/2 argument):

> `yior` : Arrow i o `AR___` i `AR` o