Murat Kasimov

More about me

Я language (β)

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

: ( Nonempty List i ) ~ ( Construction Maybe i ) > `st` : Nonempty List i `AR_______` Resursive ( Along i `T'TT'I` Maybe ) > `bt` : Nonempty List i `AR_______` Supertype ( Nonempty List i ) `P` i

Available behaviour: Apply, Forth, Plane, Range, Level, Start, Final.

Covariant Functor from Arrow into Arrow:

> `yo` : Nonempty List a `AR_______` a `AR` o `AR______` Nonempty List o

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

> `kyo` : Nonempty List a `AR______` tt a `AR` o `AR______` Nonempty List o

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

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

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

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

Covariant Functor from Arrow into Arrow with representing objects:

> `ryo` : Unit `AR` a `AR___` Nonempty List a `AR` o `AR` o

Lax Semi Monoidal Functor from Product into Product through Arrow:

> `yp` : Nonempty List i `P` Nonempty List ii `AR_______` Nonempty List ( i `P` ii )

Lax Semi Monoidal Functor from Product into Whether through Arrow:

> `yw` : Nonempty List i `P` Nonempty List ii `AR_______` Nonempty List ( i `W` ii )

Factoring through a limit from Arrow into Arrow:

> `hop` : a `AR_` Supertype ( Nonempty List o ) `AR_______` a `AR_` o `AR_______` a `AR_` Nonempty List o

Some related instantiated morphisms:

> push : i `AR___` Nonempty List i `AR_` i `P` Nonempty List i > pop : Nonempty List i `AR_` Maybe i `P` Nonempty List i > top : Supertype ( Nonempty List i `AT__` i )

Some related natural transformations:

> morph `ha` Adapt : Nonempty List `C'AR______` List > morph `ha` Adapt : Nonempty List `C'AR______` Scrolling List > morph `ha` Adapt : Nonempty List `C'AR______` Alone `P'T'I'TT'I` List > morph `ha` Adapt : Scrolling List `C'AR_____` Nonempty List > morph `ha` Adapt : Twice `C'AR____` Nonempty List