Murat Kasimov

More about me

Я language (β)

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

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

It's a composition of yo and ya operators:

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

This operator is available for functors with multiple parameters:

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

Available stretched versions:

`yo_'ya` `yo__'ya` `yo___'ya` `yo____'ya` `yo_____'ya` `yo______'ya` `yo_______'ya`