Split up BooleanOperator

src/Data/Syntax/Expression.hs

@@ -77,40 +77,68 @@ instance Evaluatable Arithmetic where
     go (FloorDivision a b) = liftNumeric2 liftedFloorDiv a b
 
 -- | Regex matching operators (Ruby's =~ and ~!)
-data RegexMatch a
+data Matches a = Matches { lhs :: a, rhs :: a }
-  = Matches !a !a
-  | NotMatches !a !a
   deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable, Named1, Message1)
 
-instance Eq1 RegexMatch where liftEq = genericLiftEq
+instance Eq1 Matches where liftEq = genericLiftEq
-instance Ord1 RegexMatch where liftCompare = genericLiftCompare
+instance Ord1 Matches where liftCompare = genericLiftCompare
-instance Show1 RegexMatch where liftShowsPrec = genericLiftShowsPrec
+instance Show1 Matches where liftShowsPrec = genericLiftShowsPrec
+instance Evaluatable Matches
 
--- TODO: Implement Eval instance for Match
+data NotMatches a = NotMatches { lhs :: a, rhs :: a }
-instance Evaluatable RegexMatch
-
--- | Boolean operators.
-data BooleanOperator a
-  = Or !a !a
-  | And !a !a
-  | Not !a
-  | XOr !a !a
   deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable, Named1, Message1)
 
-instance Eq1 BooleanOperator where liftEq = genericLiftEq
+instance Eq1 NotMatches where liftEq = genericLiftEq
-instance Ord1 BooleanOperator where liftCompare = genericLiftCompare
+instance Ord1 NotMatches where liftCompare = genericLiftCompare
-instance Show1 BooleanOperator where liftShowsPrec = genericLiftShowsPrec
+instance Show1 NotMatches where liftShowsPrec = genericLiftShowsPrec
+instance Evaluatable NotMatches
 
-instance Evaluatable BooleanOperator where
+data Or a = Or { lhs :: a, rhs :: a }
-  -- N.B. we have to use Monad rather than Applicative/Traversable on 'And' and 'Or' so that we don't evaluate both operands
+  deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable, Named1, Message1)
+
+instance Eq1 Or where liftEq = genericLiftEq
+instance Ord1 Or where liftCompare = genericLiftCompare
+instance Show1 Or where liftShowsPrec = genericLiftShowsPrec
+
+instance Evaluatable Or where
+  eval t = rvalBox =<< go (fmap subtermValue t) where
+    go (Or a b) = do
+      cond <- a
+      ifthenelse cond (pure cond) b
+
+data And a = And { lhs :: a, rhs :: a }
+  deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable, Named1, Message1)
+
+instance Eq1 And where liftEq = genericLiftEq
+instance Ord1 And where liftCompare = genericLiftCompare
+instance Show1 And where liftShowsPrec = genericLiftShowsPrec
+instance Evaluatable And where
   eval t = rvalBox =<< go (fmap subtermValue t) where
     go (And a b) = do
       cond <- a
       ifthenelse cond b (pure cond)
-    go (Or a b) = do
+
-      cond <- a
+data Not a = Not { term :: a }
-      ifthenelse cond (pure cond) b
+  deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable, Named1, Message1)
+
+instance Eq1 Not where liftEq = genericLiftEq
+instance Ord1 Not where liftCompare = genericLiftCompare
+instance Show1 Not where liftShowsPrec = genericLiftShowsPrec
+
+instance Evaluatable Not where
+  eval t = rvalBox =<< go (fmap subtermValue t) where
     go (Not a) = a >>= fmap (boolean . not) . asBool
+
+data XOr a = XOr { lhs :: a, rhs :: a }
+  deriving (Declarations1, Diffable, Eq, Foldable, FreeVariables1, Functor, Generic1, Hashable1, Mergeable, Ord, Show, ToJSONFields1, Traversable, Named1, Message1)
+
+instance Eq1 XOr where liftEq = genericLiftEq
+instance Ord1 XOr where liftCompare = genericLiftCompare
+instance Show1 XOr where liftShowsPrec = genericLiftShowsPrec
+
+instance Evaluatable XOr where
+  -- N.B. we have to use Monad rather than Applicative/Traversable on 'And' and 'Or' so that we don't evaluate both operands
+  eval t = rvalBox =<< go (fmap subtermValue t) where
     go (XOr a b) = boolean <$> liftA2 (/=) (a >>= asBool) (b >>= asBool)
 
 -- | Javascript delete operator

src/Data/Term.hs

@@ -17,6 +17,7 @@ import Data.JSON.Fields
 import Data.Record
 import Text.Show
 import Proto3.Suite.Class
+import Proto3.Suite.DotProto
 import qualified Proto3.Wire.Encode as Encode
 import qualified Proto3.Wire.Decode as Decode
 

src/Language/Go/Assignment.hs

@@ -41,14 +41,16 @@ type Syntax =
    , Expression.RShift
    , Expression.UnsignedRShift
    , Expression.Complement
-   , Expression.BooleanOperator
    , Expression.Call
    , Expression.Comparison
    , Expression.Subscript
    , Statement.PostDecrement
    , Statement.PostIncrement
    , Expression.MemberAccess
-   , Expression.BooleanOperator
+   , Expression.And
+   , Expression.Not
+   , Expression.Or
+   , Expression.XOr
    , Expression.Call
    , Expression.Comparison
    , Expression.Subscript

src/Language/Java/Assignment.hs

@@ -44,7 +44,10 @@ type Syntax =
    , Expression.RShift
    , Expression.UnsignedRShift
    , Expression.Complement
-   , Expression.BooleanOperator
+   , Expression.And
+   , Expression.Not
+   , Expression.Or
+   , Expression.XOr
    , Expression.InstanceOf
    , Expression.MemberAccess
    , Expression.Subscript

src/Language/PHP/Assignment.hs

@@ -47,7 +47,10 @@ type Syntax = '[
   , Expression.BXOr
   , Expression.LShift
   , Expression.RShift
-  , Expression.BooleanOperator
+  , Expression.And
+  , Expression.Not
+  , Expression.Or
+  , Expression.XOr
   , Expression.Call
   , Expression.Cast
   , Expression.Comparison

src/Language/Python/Assignment.hs

@@ -49,7 +49,10 @@ type Syntax =
    , Declaration.Function
    , Declaration.Variable
    , Expression.Arithmetic
-   , Expression.BooleanOperator
+   , Expression.And
+   , Expression.Not
+   , Expression.Or
+   , Expression.XOr
    , Expression.BAnd
    , Expression.BOr
    , Expression.BXOr

src/Language/Ruby/Assignment.hs

@@ -51,11 +51,15 @@ type Syntax = '[
   , Expression.LShift
   , Expression.RShift
   , Expression.Complement
-  , Expression.BooleanOperator
+  , Expression.And
+  , Expression.Not
+  , Expression.Or
+  , Expression.XOr
   , Expression.Call
   , Expression.Comparison
   , Expression.Enumeration
-  , Expression.RegexMatch
+  , Expression.Matches
+  , Expression.NotMatches
   , Expression.MemberAccess
   , Expression.ScopeResolution
   , Expression.Subscript

src/Language/TypeScript/Assignment.hs

@@ -55,7 +55,10 @@ type Syntax = '[
   , Expression.RShift
   , Expression.UnsignedRShift
   , Expression.Complement
-  , Expression.BooleanOperator
+  , Expression.And
+  , Expression.Not
+  , Expression.Or
+  , Expression.XOr
   , Expression.Call
   , Expression.Cast
   , Expression.Comparison