Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Sliding List/

: Supertype ( Sliding List i ) ~ ( List i `P` Shafted List i ) : Basetype ( Sliding List i ) ~ ( List i `P` Shafted List i )

Available behaviour: Fresh, Stock.

Covariant Functor from Arrow into Arrow:

> `yo` : Sliding List a `AR_______` a `AR` o `AR______` Sliding List o

Covariant Functor from co-Kleisli Arrow into Arrow:

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a limit from Arrow into Arrow:

> `hop` : a `AR_` List o `AR_______` a `AR_` Shafted List o `AR_______` a `AR_` Nonempty List o

Some related instantiated morphisms:

> field : Supertype ( Sliding List i `AT__` List i ) > field : Supertype ( Sliding List i `AT__` Shafted List i ) > shift : Shifter List `AR_____` Supertype ( Event `T'I` Sliding List i `T'I` Maybe ( List i ) )