Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Arrow/

: ( i `AR` ii ) ~ ( ii `RA` i ) ~ ( Function i ii ) ~ ( Arrow i ii ) : Supertype ( Arrow Void i ) ~ ( Unit ) : Supertype ( Arrow Unit i ) ~ ( i ) > Arrow : Arrow i ii `AR` Arrow i ii

Available subtypes: Given, Match, Scope, Event.

Product is a left Adjoint Functor in Arrow category:

> `hjd` : i `AR___` ii `AR__` i `P` 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

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

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

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

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