Cleaning

Author: ivanperez-keera

src/Copilot/Visualize.hs

@@ -12,6 +12,7 @@ module Copilot.Visualize
 
 -- External imports
 import Data.Aeson             (ToJSON (..))
+import Data.Bifunctor         (second)
 import Data.List              (find, transpose)
 import Data.Maybe             (fromMaybe, isJust, isNothing)
 import GHC.Generics           (Generic)
@@ -107,8 +108,7 @@ mkTraceValue x = TraceValue (showValue x) (isNothing x)
 
 -- | Compute the list of values associated to observers.
 interpObserversOpt :: Spec -> ExecTrace -> [(String, [Maybe Output])]
-interpObserversOpt _spec e =
-  map (\(n, os) -> (n, map Just os)) (interpObservers e)
+interpObserversOpt _spec = map (second (map Just)) . interpObservers
 
 -- | Compute the list of values associated to triggers and their arguments.
 --