From 511915adb65e6616e3ba3bae4cb61f6c708560c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sat, 21 Jun 2025 21:15:03 +0200
Subject: Boolean literals and comparison operators

Changelog: Added `True` and `False` literals, and comparison operators for boolean values
---
 src/Parser/Expr.hs | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/Parser/Expr.hs')

diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs
index 079cfba..b9b5f01 100644
--- a/src/Parser/Expr.hs
+++ b/src/Parser/Expr.hs
@@ -118,6 +118,13 @@ numberLiteral = label "number" $ lexeme $ do
              else return $ SomeExpr $ Pure x
         ]
 
+boolLiteral :: TestParser SomeExpr
+boolLiteral = label "bool" $ lexeme $ do
+    SomeExpr . Pure <$> choice
+        [ wsymbol "True"  *> return True
+        , wsymbol "False" *> return False
+        ]
+
 quotedString :: TestParser (Expr Text)
 quotedString = label "string" $ lexeme $ do
     void $ char '"'
@@ -261,11 +268,13 @@ someExpr = join inner <?> "expression"
                               [ SomeBinOp ((==) @Integer)
                               , SomeBinOp ((==) @Scientific)
                               , SomeBinOp ((==) @Text)
+                              , SomeBinOp ((==) @Bool)
                               ]
               , binary' "/=" (\op xs ys -> length xs /= length ys || or  (zipWith op xs ys)) $
                               [ SomeBinOp ((/=) @Integer)
                               , SomeBinOp ((/=) @Scientific)
                               , SomeBinOp ((/=) @Text)
+                              , SomeBinOp ((/=) @Bool)
                               ]
               , binary ">" $
                   [ SomeBinOp ((>) @Integer)
@@ -347,6 +356,7 @@ typedExpr = do
 literal :: TestParser SomeExpr
 literal = label "literal" $ choice
     [ numberLiteral
+    , boolLiteral
     , SomeExpr <$> quotedString
     , SomeExpr <$> regex
     , list
-- 
cgit v1.2.3