Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Tree/

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

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

Covariant Functor from Arrow into Arrow:

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

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

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

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

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

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

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

Some related natural transformations:

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