diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-21 21:15:03 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-21 21:15:03 +0200 |
| commit | 511915adb65e6616e3ba3bae4cb61f6c708560c1 (patch) | |
| tree | 26d91a15ae710764b7d31df35269c2c0ec68d5ed /src/Parser | |
| parent | be3eac94b495a015541907d035044a1687aaa4b1 (diff) | |
Boolean literals and comparison operators
Changelog: Added `True` and `False` literals, and comparison operators for boolean values
Diffstat (limited to 'src/Parser')
| -rw-r--r-- | src/Parser/Expr.hs | 10 |
1 files changed, 10 insertions, 0 deletions
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 |