lexi-lambda/freer-simple
1
1
Fork 0
mirror of https://github.com/lexi-lambda/freer-simple.git synced 2024-12-25 15:14:29 +03:00
Code Issues Projects Releases Wiki Activity

Match coding style of runNat with the rest of the codebase

Browse Source 
This is really minor but the next commit adds a `runNatS` function that
would require a 5-var forall and that's starting to be really confusing,
making people think why it's there.
This commit is contained in:
Tomas Janousek 2017-01-16 20:19:17 +01:00
parent 8060429c52
commit 84022b9103
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Control/Monad/Freer.hs
View File

@ -36,7 +36,6 @@ import Control.Applicative (pure)
import Control.Monad.Freer.Internal
runNat
:: forall m r e w.
(Member m r)
:: Member m r
=> (forall a. e a -> m a) -> Eff (e ': r) w -> Eff r w
runNat f = handleRelay pure (\v -> (send (f v) >>=))