mirror of
https://github.com/github/semantic.git
synced 2024-12-27 08:54:14 +03:00
Generalize raiseHandler.
This commit is contained in:
parent
22c8fec448
commit
a4bef770cc
@ -26,7 +26,7 @@ instance Effectful Eff where
|
||||
raise = id
|
||||
lower = id
|
||||
|
||||
raiseHandler :: Effectful m => (Eff (effect ': effects) a -> Eff effects b) -> m (effect ': effects) a -> m effects b
|
||||
raiseHandler :: Effectful m => (Eff effectsA a -> Eff effectsB b) -> m effectsA a -> m effectsB b
|
||||
raiseHandler handler = raise . handler . lower
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user