[#336] [stbx-protocol, studio-common] add necessary Eq and Show instances

Author: marcosh

stbx-protocol/src/Statebox/Protocol/Fire.purs

@@ -4,6 +4,9 @@ import Prelude
 import Data.Array (index)
 import Data.Either (Either(..), either)
 import Data.Either.Nested (type (\/))
+import Data.Generic.Rep (class Generic)
+import Data.Generic.Rep.Eq (genericEq)
+import Data.Generic.Rep.Show (genericShow)
 import Data.Maybe (maybe)
 import Data.NonEmpty (head)
 
@@ -27,6 +30,14 @@ data FiringError
   -- | The selected transition is not enabled
   | FireTransitionNotEnabled
 
+derive instance genericFiringError :: Generic FiringError _
+
+instance eqFiringError :: Eq FiringError where
+  eq = genericEq
+
+instance showFiringError :: Show FiringError where
+  show = genericShow
+
 fire :: Wiring -> Firing -> Marking -> FiringError \/ Marking
 fire wiring firing marking = maybe
   (Left FireInvalidWiringTree)

studio-common/src/Data/Bag.purs

@@ -32,6 +32,9 @@ instance groupBagF :: (Monoid (BagF a n), Group (Additive n)) => Group (BagF a n
 instance showBagF :: (Show a, Show n) => Show (BagF a n) where
   show (BagF x) = "(BagF " <> show x <> ")"
 
+instance eqBagF :: (Eq a, Eq n) => Eq (BagF a n) where
+  eq (BagF x) (BagF y) = eq x y
+
 --------------------------------------------------------------------------------
 
 fromMap :: ∀ a n. Map a n -> BagF a n