Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ya'yo/

`ya'yo` - [Y]oneda Contr[A]variant , [Y]oneda C[O]variant | starting precedence - 8

It's a composition of ya and yo operators:

`ya'yo` : t ( tt a ) `AR__` into ( from o a ) ( t ( tt o ) )

This operator is available for functors with multiple parameters:

`yia'yo` : t _ ( tt a ) `AR__` into ( from o a ) ( t _ ( tt o ) ) `yai'yo` : t ( tt a ) _ `AR__` into ( from o a ) ( t ( tt o ) _ ) `ya'yio` : t ( tt _ a ) `AR__` into ( from o a ) ( t ( tt _ o ) ) `ya'yoi` : t ( tt a _ ) `AR__` into ( from o a ) ( t ( tt o _ ) ) `yia'yio` : t _ ( tt _ a ) `AR__` into ( from o a ) ( t _ ( tt _ o ) ) `yai'yoi` : t ( tt a _ ) _ `AR__` into ( from o a ) ( t ( tt o _ ) _ ) `yai'yio` : t ( tt _ a ) _ `AR__` into ( from o a ) ( t ( tt _ o ) _ ) `yia'yoi` : t _ ( tt a _ ) `AR__` into ( from o a ) ( t _ ( tt o _ ) )

Available stretched versions:

`ya_'yo` `ya__'yo` `ya___'yo` `ya____'yo` `ya_____'yo` `ya______'yo` `ya_______'yo`