Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Maybe/

: ( Halts i ) ~ ( Stops Unit i ) ~ ( Maybe i ) : Supertype ( Maybe i ) ~ ( Unit `S` i ) : Basetype ( Maybe i ) ~ ( Unit `S` i ) > Maybe : Unit `S` i `AR_` Maybe i > Empty : Unit `AR_` Maybe i > Exist : i `AR____` Maybe i

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

Subtypes: List

Covariant Endo Functor from Arrow into Arrow:

> `yo` : Maybe a `AR_______` a `AR` o `AR______` Maybe o

Covariant Endo Functor from Kleisli Arrow into Arrow:

> `yok` : Maybe a `AR______` a `AR` tt o `AR______` Maybe o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow: (using Until)

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

Covariant Endo Functor from Arrow into Arrow with representing objects:

> `ryo` : Unit `AR` a `AR___` Maybe a `AR` o `AR` o > `ryo` : Void `AR` a `AR___` Maybe a `AR` o `AR` o

Lax Semi Monoidal Functor from Product into Product through Arrow (using Every):

> `yp` : Maybe i `P` Maybe ii `AR_______` Maybe ( i `P` ii )

Lax Semi Monoidal Functor from Product into Sum through Arrow (using First):

> `ys` : Maybe i `P` Maybe ii `AR_______` Maybe ( i `S` ii )

Factoring through a colimit from Arrow into Arrow:

> `has` : o `RA_` Unit `AR_______` o `RA_` a `AR_______` o `RA_` Maybe a