Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Check/

Check if Boolean is not False:

> True `hv` Unit `yok` Check `ha` True = True `hv` Unit > True `hv` Unit `yok` Check `ha` False = False `hv` Unit > False `hv` Unit `yok` Check `ha` True = False `hv` Unit > False `hv` Unit `yok` Check `ha` False = False `hv` Unit > True `hv` Unit `yuk` Check `ha` True `hv` Unit = True `hv` Unit > True `hv` Unit `yuk` Check `ha` False `hv` Unit = False `hv` Unit

Check if Maybe is not Empty:

> Exist `hv'he` A `yok` Check `ha` Exist = Exist `hv'he` A > Empty `hv` Unit `yok` Check `ha` Exist = Empty `hv` Unit > Exist `hv'he` A `yuk` Check `ha` Exist `hv'he` B = Exist `hv'he` B > Exist `hv'he` A `yuk` Check `ha` Empty `hv` Unit = Empty `hv` Unit > Empty `hv` Unit `yuk` Check `ha` Exist `hv'he` B = Empty `hv` Unit > Empty `hv` Unit `yuk` Check `ha` Empty `hv` Unit = Empty `hv` Unit

Check if Stops is not Error:

> Valid `hv'he` A `yok` Check `ha` Valid = Valid `hv'he` A > Valid `hv'he` A `yuk` Check `ha` Valid `hv'he` B = Valid `hv'he` B