github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Add a runEffect handler, wrapping relay.

Browse Source
This commit is contained in:
Rob Rix 2018-05-06 15:03:26 -04:00
parent 7d4db61f26
commit d48349e54f
2 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Control/Abstract/Evaluator.hs
View File

@ -296,7 +296,7 @@ evaluateClosureBody :: Member (EvalClosure term value) effects => term -> Evalua
evaluateClosureBody = raise . Eff.send . EvalClosure evaluateClosureBody = raise . Eff.send . EvalClosure
runEvalClosure :: (term -> Evaluator location term value effects value) -> Evaluator location term value (EvalClosure term value ': effects) a -> Evaluator location term value effects a runEvalClosure :: (term -> Evaluator location term value effects value) -> Evaluator location term value (EvalClosure term value ': effects) a -> Evaluator location term value effects a
runEvalClosure evalClosure = raiseHandler (Eff.relay pure (\ (EvalClosure term) yield -> lower (evalClosure term) >>= yield)) runEvalClosure evalClosure = runEffect (\ (EvalClosure term) yield -> evalClosure term >>= yield)
-- | An effect to evaluate a module. -- | An effect to evaluate a module.
@ -307,7 +307,7 @@ evaluateModule :: Member (EvalModule term value) effects => Module term -> Evalu
evaluateModule = raise . Eff.send . EvalModule evaluateModule = raise . Eff.send . EvalModule
runEvalModule :: (Module term -> Evaluator location term value effects value) -> Evaluator location term value (EvalModule term value ': effects) a -> Evaluator location term value effects a runEvalModule :: (Module term -> Evaluator location term value effects value) -> Evaluator location term value (EvalModule term value ': effects) a -> Evaluator location term value effects a
runEvalModule evalModule = raiseHandler (Eff.relay pure (\ (EvalModule m) yield -> lower (evalModule m) >>= yield)) runEvalModule evalModule = runEffect (\ (EvalModule m) yield -> evalModule m >>= yield)
-- | An effect for explicitly returning out of a function/method body. -- | An effect for explicitly returning out of a function/method body.
@ -324,7 +324,7 @@ catchReturn :: Member (Return value) effects => (forall x . Return value x -> Ev
catchReturn handler = raiseHandler (Eff.interpose pure (\ ret _ -> lower (handler ret))) catchReturn handler = raiseHandler (Eff.interpose pure (\ ret _ -> lower (handler ret)))
runReturn :: Evaluator location term value (Return value ': effects) value -> Evaluator location term value effects value runReturn :: Evaluator location term value (Return value ': effects) value -> Evaluator location term value effects value
runReturn = raiseHandler (Eff.relay pure (\ (Return value) _ -> pure value)) runReturn = runEffect (\ (Return value) _ -> pure value)
-- | Effects for control flow around loops (breaking and continuing). -- | Effects for control flow around loops (breaking and continuing).
@ -345,6 +345,6 @@ catchLoopControl :: Member (LoopControl value) effects => Evaluator location ter
catchLoopControl action handler = raiseHandler (Eff.interpose pure (\ control _ -> lower (handler control))) action catchLoopControl action handler = raiseHandler (Eff.interpose pure (\ control _ -> lower (handler control))) action
runLoopControl :: Evaluator location term value (LoopControl value ': effects) value -> Evaluator location term value effects value runLoopControl :: Evaluator location term value (LoopControl value ': effects) value -> Evaluator location term value effects value
runLoopControl = raiseHandler (Eff.relay pure (\ eff _ -> case eff of runLoopControl = runEffect (\ eff _ -> case eff of
Break value -> pure value Break value -> pure value
Continue value -> pure value)) Continue value -> pure value)

4
src/Control/Effect.hs
View File

@ -9,6 +9,7 @@ module Control.Effect
, Fresh , Fresh
-- * Handlers -- * Handlers
, run , run
, runEffect
, raiseHandler , raiseHandler
, runReader , runReader
, runState , runState
@ -48,6 +49,9 @@ instance Effectful Eff.Eff where
run :: Effectful m => m '[] a -> a run :: Effectful m => m '[] a -> a
run = Eff.run . lower run = Eff.run . lower
runEffect :: Effectful m => (forall v . effect v -> (v -> m effects a) -> m effects a) -> m (effect ': effects) a -> m effects a
runEffect handler = raiseHandler (Eff.relay pure (\ effect yield -> lower (handler effect (raise . yield))))
-- | Raise a handler on 'Eff.Eff' to a handler on some 'Effectful' @m@. -- | Raise a handler on 'Eff.Eff' to a handler on some 'Effectful' @m@.
raiseHandler :: Effectful m => (Eff.Eff effectsA a -> Eff.Eff effectsB b) -> m effectsA a -> m effectsB b raiseHandler :: Effectful m => (Eff.Eff effectsA a -> Eff.Eff effectsB b) -> m effectsA a -> m effectsB b
raiseHandler handler = raise . handler . lower raiseHandler handler = raise . handler . lower