Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Tree/

: Supertype ( Tree i ) ~ ( Fixed ( Along i `T'TT'I` List ) ) : Objective ( Tree i ) ~ ( List ( Supertype ( Tree i ) ) `P` i )

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from co-Kleisli/Kleisli Arrow into Arrow:

> `kyo` : Tree a `AR______` tt a `AR` o `AR______` Tree o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Covariant Endo Functor from co-Kleisli/Kleisli Arrow into Kleisli Arrow:

> `kyokl` : Tree a `AR_____` tt a `AR` ttt o `AR______` ttt ( Tree o )

Factoring through a limit from Arrow into Arrow:

> `lo` : a `AR_` List ( Supertype ( Tree o ) ) `AR_______` a `AR_` o `AR_______` a `AR_` Tree o

Some related natural transformations:

> to `ha` Adapt : Tree `C'AR__` Scrolling Tree > to `ha` Adapt : Scrolling Tree `C'AR__` Tree

Available behaviour: Forth, Range, Level, Start, Final, Depth.