diff --git a/src/Control/Monad/Effect/Trace.hs b/src/Control/Monad/Effect/Trace.hs index 9a2701c5c..e1b2237d9 100644 --- a/src/Control/Monad/Effect/Trace.hs +++ b/src/Control/Monad/Effect/Trace.hs @@ -8,6 +8,7 @@ import Data.Abstract.Value -- | 'Monad's offering a writable trace of configurations. class Monad m => MonadTrace t v g m where + -- | Log the given collection of configurations. trace :: g (Configuration (LocationFor v) t v) -> m () instance (Writer (g (Configuration (LocationFor v) t v)) :< fs) => MonadTrace t v g (Eff fs) where