Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/State/

: Supertype ( State i ii ) ~ ( Event i ii )

Covariant Endo Functor from Arrow into Arrow:

`yo` : State _ a `AR_____` a `AR` o `AR____` State _ o

Covariant Endo Functor from Kleisli Arrow into Arrow:

`yok` : State _ `AR____` a `AR_` State _ `L` State _ `T` ll `T` o `AR_` State _

Lax Semi Monoidal Functor from Product into Product through Arrow:

`yp` : ( State _ i ) `P` ( State _ `L` State _ `T` l `T` ii ) `AR___` State _ ( i `P` ii )