Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/S'T'I'TT'I/

: ( S'T'I'TT'I t tt ) ~ ( T'TT'I'TTT'I S tt ttt ) : Supertype ( S'T'I'TT'I t tt i ) ~ ( tt i `S` ttt i ) : Basetype ( S'T'I'TT'I t tt i ) ~ ( tt i `S` ttt i )

Available infix type operators:

: t `S'T'I'TT'I` tt | precedence = 5

Covariant Endo Functor from Arrow into Arrow:

> `yo` : t `S'T'I'TT'I` tt `T'I___` a `AR_______` a `AR` o `AR______` t `S'T'I'TT'I` tt `T'I___` o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : t `S'T'I'TT'I` tt `T'I___` a `AR_____` a `AR` tt o `AR______` tt ( t `S'T'I'TT'I` tt `T'I___` o )

Some related wrappers:

> Clasp : t i `S` tt i `AR_______` t `S'T'I'TT'I` tt `T'I___` i