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

📝 reinterpret.

Browse Source
This commit is contained in:
Rob Rix 2018-04-05 10:12:55 -04:00
parent f5009daa82
commit 7b24f196b7
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/Semantic/Telemetry.hs
View File

@ -52,6 +52,7 @@ ignoreTelemetry = interpret (\ t -> case t of
WriteLog{} -> pure ()) WriteLog{} -> pure ())
-- | Interpret an effect by replacing it with another effect.
reinterpret :: (forall x. effect x -> Eff (newEffect ': effs) x) reinterpret :: (forall x. effect x -> Eff (newEffect ': effs) x)
-> Eff (effect ': effs) a -> Eff (effect ': effs) a
-> Eff (newEffect ': effs) a -> Eff (newEffect ': effs) a