Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Stops/

: Supertype ( Stops i ii ) ~ ( i `S` ii ) : Basetype ( Stops i ii ) ~ ( i `S` ii ) > Stops : i `S` ii `AR__` Stops i ii > Error , Break : i `AR_____` Stops i ii > Valid , Going , Ok : ii `AR____` Stops i ii

Available behaviour: Apply, Check, Until, Every, First, Stump.

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Stops _ a `AR_____` a `AR` tt o `AR______` tt ( Stops _ o )

Lax Semi Monoidal Functor from Product into Product through Arrow:

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

Lax Semi Monoidal Functor from Product into Sum through Arrow:

> `ys` : Stops _ i `P` Stops _ ii `AR_______` Stops _ ( i `S` ii )

Factoring through a colimit from Arrow into Arrow:

> `has` : o `RA_` a `AR_______` o `RA_` aa `AR_______` o `RA_` Stops a aa