Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Event/

: ( Event i ii ) ~ ( Transition i ii ) : Supertype ( Event i ii ) ~ ( i `AR__` ii `P` i )

Subtypes: State.

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

> `yai` : Event a _ `AR_______` a `TA` o `AR______` Event o _

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

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

Some related wrappers:

> Event : i `AR_` ii `P` i `AR_____` Event i ii