Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/List/

: Supertype ( List i ) ~ ( Maybe ( Nonempty List i ) ) : Basetype ( List i ) ~ ( Unit `S` Nonempty List i )

Covariant Functor from Arrow into Arrow:

> `yo` : List a `AR______` a `AR` o `AR_____` List o

Covariant Functor from Kleisli Arrow into Arrow:

> `yok` : List a `AR_____` a `AR` tt o `AR_____` List o

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

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

Covariant Functor from Arrow into Arrow with representing objects:

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

Lax Semi Monoidal Functor from Product into Product through Arrow:

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

Lax Semi Monoidal Functor from Product into Whether through Arrow:

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

Available instantiated morphisms:

> push : i `AR___` List i `AR_` i `P` List i > pop : List i `AR_` Maybe i `P` List i

Available components of natural transformations:

> Arrow `har` derive `ha` Adapt : Twice `C'AR__` List > Arrow `har` derive `ha` Merge : List `P'T'I'TT'I` List `C'AR___` List > Arrow `har` derive `ha` Merge : List `P'T'I'TT'I` Nonempty List `C'AR___` Nonempty List > Scope `har` within `ha` Fresh : List `C'AT__` Maybe > Scope `har` within `ha` Stock : List `C'AT__` Maybe