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

📝 runEffect.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:57:26 -05:00
parent 54dbd0785b
commit 915d8706f0
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Effect.hs
View File

@ -35,6 +35,8 @@ class RunEffect f a where
-- | The incremental result of an effect w.r.t. the parameter value, factoring in the interpretation of the effect. -- | The incremental result of an effect w.r.t. the parameter value, factoring in the interpretation of the effect.
type Result f a type Result f a
type instance Result f a = a type instance Result f a = a
-- | Interpret the topmost effect in a computation with some sensible defaults (defined per-effect), and return the incremental 'Result'.
runEffect :: Eff (f ': fs) a -> Eff fs (Result f a) runEffect :: Eff (f ': fs) a -> Eff fs (Result f a)
instance Monoid b => RunEffect (State b) a where instance Monoid b => RunEffect (State b) a where