Murat Kasimov

More about me

Я language (β)

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

: ( Scrolling List ) ~ ( Alone `P'T'I'TT'I` Shafted List ) : Supertype ( Scrolling List i ) ~ ( Alone i `P` Shafted List i ) : Basetype ( Scrolling List i ) ~ ( Alone i `P` Shafted List i ) > `st` : Scrolling List i `AR_______` Alone i `P` Shafted List > `bt` : Scrolling List i `AR_______` Alone i `P` Shafted List

Available behaviour: Forth, Range, Level, Focus.

Covariant Functor from Arrow into Arrow:

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

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a limit from Arrow into Arrow:

> `hop` : a `AR_` Alone o `AR_______` a `AR_` Shafted List o `AR_______` a `AR_` Scrolling List o

Some related instantiated morphisms:

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

Some related natural transformations:

> morph `ha` Adapt : Nonempty List `C'AR` Scrolling List > morph `ha` Adapt : Scrolling List `C'AR` Nonempty List > morph `ha` Adapt : Scrolling List `C'AR` Scrolling Tree