github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 14:11:33 +03:00
Code Issues Projects Releases Wiki Activity

Reflow type signatures

Browse Source
This commit is contained in:
Rick Winfrey 2018-08-01 14:46:15 -07:00
parent 05e1cd8895
commit 0a306ab70a
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/Data/Abstract/Value/Concrete.hs
View File

@ -298,11 +298,22 @@ deriving instance Show address => Show (ValueError address body resume)
instance Show address => Show1 (ValueError address body) where
liftShowsPrec _ _ = showsPrec
throwValueError :: (Member (Resumable (BaseError (ValueError address body))) effects, Member (Reader ModuleInfo) effects, Member (Reader Span) effects) => ValueError address body resume -> Evaluator address (Value address body) effects resume
throwValueError :: ( Member (Resumable (BaseError (ValueError address body))) effects
, Member (Reader ModuleInfo) effects
, Member (Reader Span) effects
)
=> ValueError address body resume
-> Evaluator address (Value address body) effects resume
throwValueError err = currentErrorContext >>= \ errorContext -> throwResumable $ BaseError errorContext err
runValueError :: (Effectful (m address (Value address body)), Effects effects) => m address (Value address body) (Resumable (BaseError (ValueError address body)) ': effects) a -> m address (Value address body) effects (Either (SomeExc (BaseError (ValueError address body))) a)
runValueError :: (Effectful (m address (Value address body)), Effects effects)
=> m address (Value address body) (Resumable (BaseError (ValueError address body)) ': effects) a
-> m address (Value address body) effects (Either (SomeExc (BaseError (ValueError address body))) a)
runValueError = runResumable
runValueErrorWith :: (Effectful (m address (Value address body)), Effects effects) => (forall resume . BaseError (ValueError address body) resume -> m address (Value address body) effects resume) -> m address (Value address body) (Resumable (BaseError (ValueError address body)) ': effects) a -> m address (Value address body) effects a
runValueErrorWith :: (Effectful (m address (Value address body)), Effects effects)
=> (forall resume . BaseError (ValueError address body) resume
-> m address (Value address body) effects resume)
-> m address (Value address body) (Resumable (BaseError (ValueError address body)) ': effects) a
-> m address (Value address body) effects a
runValueErrorWith = runResumableWith