Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Every/

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

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

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

> Valid `har'st` A `hjd_'yp` Every `ha` Valid `har'st` B = Valid `har_'st` A `hop` B > Error `har'st` A `hjd_'yp` Every `ha` Valid `har'st` B = Error `har'st` A > Error `har'st` A `hjd_'yp` Every `ha` Error `har'st` B = Error `har'st` A > Valid `har'st` A `hjd_'yp` Every `ha` Error `har'st` B = Error `har'st` B