Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Reach/

: Supertype ( Reach i ii ) ~ ( Scope i ii ) : Basetype ( Reach i ii ) ~ ( i `AR__` ii `P` ( ii `AR` i ) ) > Reach : Scope i ii `AR_____` Reach i ii

Available behaviour: Apply.

Covariant Functor from Scope into Arrow:

> `yo` : Reach _ a `AR______` a `AT` o `AR_____` Reach _ o

Covariant Functor from Arrow into Arrow with representing objects:

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

Related natural transformations:

> Arrow `har` derive `ha` Adapt : Reach i `C'AR______` State i