github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

📝 trace.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 11:18:36 -05:00
parent f15f468706
commit 6d2f116796
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Control/Monad/Effect/Trace.hs
View File

@ -8,6 +8,7 @@ import Data.Abstract.Value
-- | 'Monad's offering a writable trace of configurations. -- | 'Monad's offering a writable trace of configurations.
class Monad m => MonadTrace t v g m where class Monad m => MonadTrace t v g m where
-- | Log the given collection of configurations.
trace :: g (Configuration (LocationFor v) t v) -> m () trace :: g (Configuration (LocationFor v) t v) -> m ()
instance (Writer (g (Configuration (LocationFor v) t v)) :< fs) => MonadTrace t v g (Eff fs) where instance (Writer (g (Configuration (LocationFor v) t v)) :< fs) => MonadTrace t v g (Eff fs) where