Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/First/

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

> Exist `hc'st` A `hjd_'ys` First `ha` Exist `hc'st` B = Exist `ha` This `hc'st` A > Empty `hc` Unit `hjd'ys` First `ha` Exist `hc'st` B = Exist `ha` That `hc'st` B > Empty `hc` Unit `hjd'ys` First `ha` Empty `hc` Unit = Empty `hc` Unit > Exist `hc'st` A `hjd_'ys` First `ha` Empty `hc` Unit = Exist `ha` This `hc'st` A

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

> Valid `hc'st` A `hjd'ys` First `ha` Valid `hc'st` B = Valid `ha` This `hc'st` A > Error `hc'st` A `hjd'ys` First `ha` Valid `hc'st` B = Valid `ha` That `hc'st` B > Error `hc'st` A `hjd'ys` First `ha` Error `hc'st` B = Error `hc'st` A > Valid `hc'st` A `hjd'ys` First `ha` Error `hc'st` B = Valid `ha` This `hc'st` A