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 )

Available 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 ) )

Available components of natural transformations:

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