lexi-lambda/freer-simple
1
1
Fork 0
mirror of https://github.com/lexi-lambda/freer-simple.git synced 2024-09-11 08:05:51 +03:00
Code Issues Projects Releases Wiki Activity

Swap the order of some type variables in interpretM for consistency

Browse Source
This commit is contained in:
Alexis King 2018-02-20 10:45:47 -08:00
parent 99e26fae04
commit 438a5da5a3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -333,7 +333,7 @@ translate f = reinterpret (send . f)
-- 'interpretM' f = 'interpret' ('sendM' . f)
-- @
interpretM
:: forall eff effs m
:: forall eff m effs
. (Monad m, LastMember m effs)
=> (eff ~> m) -> Eff (eff ': effs) ~> Eff effs
interpretM f = interpret (sendM . f)