Murat Kasimov

More about me

Я language (β)

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

: ( Scrolling Tree ) ~ ( Tree `P'T'I'TT'I` List `T'TT'I` Shafted Tree )

Available behaviour: Forth, Focus.

Covariant Functor from Arrow into Arrow:

> `yo` : Scrolling Tree a `AR_______` a `AR` o `AR______` Scrolling Tree o > `hop` : a `AR_` Tree o `AR_______` a `AR_` List `T'TT'I` Shafted Tree `T'I_` o `AR_______` a `AR_` Scrolling Tree o

Some related instantiated morphisms:

field : Supertype ( Scrolling List i `AT__` Tree i ) field : Supertype ( Scrolling List i `AT__` List `T'TT'I` Shafted Tree `T'I_` i )

Some related natural transformations:

: Tree `C'AR_____` Scrolling Tree : Scrolling Tree `C'AR_____` Tree