Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/State/

: Supertype ( State i ii ) ~ ( Event i ii ) : Basetype ( State i ii ) ~ ( i `AR__` ii `P` i ) > State : Event i ii `AR_____` State i ii

Available behaviour: Apply, Lease.

Covariant Functor from Arrow into Arrow:

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

Covariant Functor from Kleisli Arrow into Arrow: (using Apply/Lease):

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

Covariant Functor from Arrow into Arrow with representing objects:

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

Lax Semi Monoidal Functor from Product into Product through Arrow (using Apply/Lease):

> `yp` : State _ i `P` State _ ii `AR_______` State _ ( i `P` ii )