Murat Kasimov

More about me

Я language (β)

/Я language (β)/Behaviour/Check/

Check if Boolean is not False:

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

Check if Maybe is not Empty:

> Exist `hc'st` A `yok` Check `ha` Exist = Exist `hc'st` A > Empty `hc` Unit `yok` Check `ha` Exist = Empty `hc` Unit > Exist `hc'st` A `yuk` Check `ha` Exist `hc'st` B = Exist `hc'st` B > Exist `hc'st` A `yuk` Check `ha` Empty `hc` Unit = Empty `hc` Unit > Empty `hc` Unit `yuk` Check `ha` Exist `hc'st` B = Empty `hc` Unit > Empty `hc` Unit `yuk` Check `ha` Empty `hc` Unit = Empty `hc` Unit

Check if Stops is not Error:

> Valid `hc'st` A `yok` Check `ha` Valid = Valid `hc'st` A > Valid `hc'st` A `yuk` Check `ha` Valid `hc'st` B = Valid `hc'st` B