github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Code Issues Projects Releases Wiki Activity

Don’t qualify the import of Eff.

Browse Source
This commit is contained in:
Rob Rix 2018-05-07 13:04:08 -04:00
parent 4becd242aa
commit 05c2770499
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,11 +24,11 @@ module Control.Abstract.Evaluator
, module Control.Monad.Effect.Reader , module Control.Monad.Effect.Reader
, module Control.Monad.Effect.Resumable , module Control.Monad.Effect.Resumable
, module Control.Monad.Effect.State , module Control.Monad.Effect.State
, Eff.relay , relay
) where ) where
import Control.Effect import Control.Effect
import qualified Control.Monad.Effect as Eff import Control.Monad.Effect
import Control.Monad.Effect.Fail import Control.Monad.Effect.Fail
import Control.Monad.Effect.Fresh import Control.Monad.Effect.Fresh
import Control.Monad.Effect.NonDet import Control.Monad.Effect.NonDet
@ -39,7 +39,7 @@ import Data.Abstract.Module
import Prelude hiding (fail) import Prelude hiding (fail)
import Prologue import Prologue
newtype Evaluator location term value effects a = Evaluator { runEvaluator :: Eff.Eff effects a } newtype Evaluator location term value effects a = Evaluator { runEvaluator :: Eff effects a }
deriving (Applicative, Effectful, Functor, Monad) deriving (Applicative, Effectful, Functor, Monad)
deriving instance Member NonDet effects => Alternative (Evaluator location term value effects) deriving instance Member NonDet effects => Alternative (Evaluator location term value effects)
@ -52,7 +52,7 @@ data EvalClosure term value resume where
EvalClosure :: term -> EvalClosure term value value EvalClosure :: term -> EvalClosure term value value
evaluateClosureBody :: Member (EvalClosure term value) effects => term -> Evaluator location term value effects value evaluateClosureBody :: Member (EvalClosure term value) effects => term -> Evaluator location term value effects value
evaluateClosureBody = raise . Eff.send . EvalClosure evaluateClosureBody = raise . 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 = runEffect (\ (EvalClosure term) yield -> evalClosure term >>= yield) runEvalClosure evalClosure = runEffect (\ (EvalClosure term) yield -> evalClosure term >>= yield)
@ -63,7 +63,7 @@ data EvalModule term value resume where
EvalModule :: Module term -> EvalModule term value value EvalModule :: Module term -> EvalModule term value value
evaluateModule :: Member (EvalModule term value) effects => Module term -> Evaluator location term value effects value evaluateModule :: Member (EvalModule term value) effects => Module term -> Evaluator location term value effects value
evaluateModule = raise . Eff.send . EvalModule evaluateModule = raise . 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 = runEffect (\ (EvalModule m) yield -> evalModule m >>= yield) runEvalModule evalModule = runEffect (\ (EvalModule m) yield -> evalModule m >>= yield)
@ -77,10 +77,10 @@ deriving instance Eq value => Eq (Return value a)
deriving instance Show value => Show (Return value a) deriving instance Show value => Show (Return value a)
earlyReturn :: Member (Return value) effects => value -> Evaluator location term value effects value earlyReturn :: Member (Return value) effects => value -> Evaluator location term value effects value
earlyReturn = raise . Eff.send . Return earlyReturn = raise . send . Return
catchReturn :: Member (Return value) effects => (forall x . Return value x -> Evaluator location term value effects a) -> Evaluator location term value effects a -> Evaluator location term value effects a catchReturn :: Member (Return value) effects => (forall x . Return value x -> Evaluator location term value effects a) -> Evaluator location term value effects a -> Evaluator location term value effects a
catchReturn handler = raiseHandler (Eff.interpose pure (\ ret _ -> lower (handler ret))) catchReturn handler = raiseHandler (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 = runEffect (\ (Return value) _ -> pure value) runReturn = runEffect (\ (Return value) _ -> pure value)
@ -95,13 +95,13 @@ deriving instance Eq value => Eq (LoopControl value a)
deriving instance Show value => Show (LoopControl value a) deriving instance Show value => Show (LoopControl value a)
throwBreak :: Member (LoopControl value) effects => value -> Evaluator location term value effects value throwBreak :: Member (LoopControl value) effects => value -> Evaluator location term value effects value
throwBreak = raise . Eff.send . Break throwBreak = raise . send . Break
throwContinue :: Member (LoopControl value) effects => value -> Evaluator location term value effects value throwContinue :: Member (LoopControl value) effects => value -> Evaluator location term value effects value
throwContinue = raise . Eff.send . Continue throwContinue = raise . send . Continue
catchLoopControl :: Member (LoopControl value) effects => Evaluator location term value effects a -> (forall x . LoopControl value x -> Evaluator location term value effects a) -> Evaluator location term value effects a catchLoopControl :: Member (LoopControl value) effects => Evaluator location term value effects a -> (forall x . LoopControl value x -> Evaluator location term value effects a) -> Evaluator location term value effects a
catchLoopControl action handler = raiseHandler (Eff.interpose pure (\ control _ -> lower (handler control))) action catchLoopControl action handler = raiseHandler (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 = runEffect (\ eff _ -> case eff of runLoopControl = runEffect (\ eff _ -> case eff of