Add Boolean literals
commitfa1b6a1522d86c49c24db884659605c9f38608e5
authorTomasz Rybarczyk <paluho@gmail.com>
dateWed 13 Nov 2019, 20:26 (7 years ago)
parent69effa8
src/Literals/Boolean.pursnew file+13
@@ -0,0 +1,13 @@
1+module Literals.Boolean where
2+
3+import Unsafe.Coerce (unsafeCoerce)
4+
5+data True
6+data False
7+
8+true_ :: True
9+true_ = unsafeCoerce true
10+
11+false_ :: False
12+false_ = unsafeCoerce false
13+