Define a Functor instance for Evaluator.

2025-01-03 13:02:37 +03:00 · 2018-02-28 10:40:41 -05:00 · 2018-02-28 10:40:41 -05:00 · 054b4d5bc2
commit 054b4d5bc2
parent d9ddce8b5e
1 changed files with 4 additions and 0 deletions
--- a/src/Analysis/Abstract/Evaluator.hs
+++ b/src/Analysis/Abstract/Evaluator.hs
@ -16,3 +16,7 @@ data Evaluator effects value a
                               ] effects
                   => Eff effects a
    }
+
+
+instance Functor (Evaluator effects value) where
+  fmap f (Evaluator run) = Evaluator (fmap f run)