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

Available behaviour: Forth, Range, Level, Final.