Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Given/

: Supertype ( Given i ii ) ~ ( i `AR` ii ) : Basetype ( Given i ii ) ~ ( i `AR` ii ) > Given : i `AR_` ii `AR_____` Given i ii

Covariant Endo Functor from Arrow into Arrow:

> `yo` : Given _ a `AR_______` a `AR` o `AR______` Given _ o

Covariant Endo Functor from Kleisli Arrow into Arrow:

> `yok` : Given _ a `AR______` a `AR` tt o `AR______` Given _ o

Covariant Endo Functor from Arrow into Arrow with representing objects:

> `yor` : Given i o `AR___` i `AR` o