Add Boolean literals

This commit is contained in:
Tomasz Rybarczyk 2019-11-13 20:26:23 +01:00
parent 69effa8fa7
commit fa1b6a1522

13
src/Literals/Boolean.purs Normal file
View File

@ -0,0 +1,13 @@
module Literals.Boolean where
import Unsafe.Coerce (unsafeCoerce)
data True
data False
true_ :: True
true_ = unsafeCoerce true
false_ :: False
false_ = unsafeCoerce false