Murat Kasimov

More about me

Я language (β)

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

: Supertype ( Scrolling List i ) ~ Objective ( Scrolling List i ) ~ ( Alone i `P` Shafted List i )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Scrolling List a `AR_____` a `AR` o `AR____` Scrolling List o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

`yokl` : Scrolling List a `AR___` a `AR_` tt `L` tt `T` ll `L` Scrolling List `T` l `T` o `AR_` tt ( Scrolling List o )

Lax Semi Monoidal Functor from Product into Product through Arrow:

`yp` : ( Scrolling List i ) `P` ( Scrolling List `L` Scrolling List `T` l `T` ii ) `AR___` Scrolling List ( i `P` ii )

Factoring through a limit from Arrow into Arrow:

`lo` : a `AR` Alone o `AR___` a `AR` Shafted List o `AR__` a `AR` Scrolling List o `lu` : Alone o `AR___` Shafted List o `AR__` Scrolling List o