Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Alone/

: ( Alone i ) ~ ( I i ) : Supertype ( Alone i ) ~ ( i ) > Alone : i `AR__` Alone i

Covariant Functor from Arrow into Arrow:

> `yo` : Alone a `AR_______` a `AR` o `AR______` Alone o

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Alone a `AR_____` a `AR` tt o `AR______` tt ( Alone o )

Covariant Functor from Arrow into Arrow with representing objects:

> `ryo` : Unit `AR` a `AR___` Alone a `AR` o `AR` o > `yor` : Alone o `AR___` Unit `AR` o