Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviours/Every/

Converting a Product of Maybe items into Maybe Product of these items:

Exist `hv'he` A `lu'yp` Every `ha` Exist `hv'he` B `q______` Exist `hv__'he` A `lo` B Empty `hv` Unit `lu'yp` Every `ha` Exist `hv'he` B `q_____` Empty `hv` Unit Empty `hv` Unit `lu'yp` Every `ha` Empty `hv` Unit `q____` Empty `hv` Unit Exist `hv'he` A `lu'yp` Every `ha` Empty `hv` Unit `q_____` Empty `hv` Unit

Converting a Product of Stops items into Stops Product of these items:

Valid `hv'he` A `lu'yp` Every `ha` Valid `hv'he` B `q______` Valid `hv__'he` A `lo` B Error `hv'he` A `lu'yp` Every `ha` Valid `hv'he` B `q______` Error `hv'he` A Error `hv'he` A `lu'yp` Every `ha` Error `hv'he` B `q______` Error `hv'he` A Valid `hv'he` A `lu'yp` Every `ha` Error `hv'he` B `q______` Error `hv'he` B