Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Every/

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

> Exist `hc'st` A `hjd_'yp` Every `ha` Exist `hc'st` B = Exist `hc__'st` A `hop` B > Empty `hc` Unit `hjd'yp` Every `ha` Exist `hc'st` B = Empty `hc` Unit > Empty `hc` Unit `hjd'yp` Every `ha` Empty `hc` Unit = Empty `hc` Unit > Exist `hc'st` A `hjd_'yp` Every `ha` Empty `hc` Unit = Empty `hc` Unit

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

> Valid `hc'st` A `hjd_'yp` Every `ha` Valid `hc'st` B = Valid `hc__'st` A `hop` B > Error `hc'st` A `hjd_'yp` Every `ha` Valid `hc'st` B = Error `hc'st` A > Error `hc'st` A `hjd_'yp` Every `ha` Error `hc'st` B = Error `hc'st` A > Valid `hc'st` A `hjd_'yp` Every `ha` Error `hc'st` B = Error `hc'st` B