From 0a306ab70ac8d6eb9a52c98be7f75bacd80d48bd Mon Sep 17 00:00:00 2001 From: Rick Winfrey Date: Wed, 1 Aug 2018 14:46:15 -0700 Subject: [PATCH] Reflow type signatures --- src/Data/Abstract/Value/Concrete.hs | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/src/Data/Abstract/Value/Concrete.hs b/src/Data/Abstract/Value/Concrete.hs index 98e7f2dd6..19d30ad39 100644 --- a/src/Data/Abstract/Value/Concrete.hs +++ b/src/Data/Abstract/Value/Concrete.hs @@ -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