polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-12-12 02:13:15 +03:00
Code Issues Projects Releases Wiki Activity

runIgnoringTrace

Browse Source
This commit is contained in:
Sandy Maguire 2019-04-02 16:07:25 -04:00
parent 6e11e06f30
commit f17ad3fc66
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Polysemy/Trace.hs
View File

@ -20,6 +20,12 @@ runTraceIO = interpret $ \case
{-# INLINE runTraceIO #-}
runIgnoringTrace :: Member (Lift IO) r => Semantic (Trace ': r) a -> Semantic r a
runIgnoringTrace = interpret $ \case
Trace _ k -> pure k
{-# INLINE runIgnoringTrace #-}
runTraceAsOutput :: Semantic (Trace ': r) a -> Semantic (Output String ': r) a
runTraceAsOutput = reinterpret $ \case
Trace m k -> output m >> pure k