Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Scope/

: ( i `AT` ii ) ~ ( ii `TA` i ) ~ ( Attribute i ii ) ~ ( Scope i ii ) : Supertype ( Scope i ii ) ~ ( i `AR__` ii `P` ( ii `AR` i ) )

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

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

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

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

Some related wrappers:

> Scope : i `AR_` ii `P` ( ii `AR` i ) `AR___` Scope i ii