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_'dcpp` Every `ha` Exist `har'st` B = Exist `har_'st` A `hop` B
> Empty `har` Unit `hjd'dcpp` Every `ha` Exist `har'st` B = Empty `har` Unit
> Empty `har` Unit `hjd'dcpp` Every `ha` Empty `har` Unit = Empty `har` Unit
> Exist `har'st` A `hjd_'dcpp` 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_'dcpp` Every `ha` Valid `har'st` B = Valid `har_'st` A `hop` B
> Error `har'st` A `hjd_'dcpp` Every `ha` Valid `har'st` B = Error `har'st` A
> Error `har'st` A `hjd_'dcpp` Every `ha` Error `har'st` B = Error `har'st` A
> Valid `har'st` A `hjd_'dcpp` Every `ha` Error `har'st` B = Error `har'st` B