Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/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 = Exist `hv__'he` A `lo` B > Empty `hv` Unit `lu'yp` Every `ha` Exist `hv'he` B = Empty `hv` Unit > Empty `hv` Unit `lu'yp` Every `ha` Empty `hv` Unit = Empty `hv` Unit > Exist `hv'he` A `lu'yp` Every `ha` Empty `hv` Unit = 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 = Valid `hv__'he` A `lo` B > Error `hv'he` A `lu'yp` Every `ha` Valid `hv'he` B = Error `hv'he` A > Error `hv'he` A `lu'yp` Every `ha` Error `hv'he` B = Error `hv'he` A > Valid `hv'he` A `lu'yp` Every `ha` Error `hv'he` B = Error `hv'he` B