:: String_ -> _ Int -package:product-profunctors

throwError :: Has (Throw e) sig m => e -> m a
fused-effects Control.Effect.Throw
Throw an error, escaping the current computation up to the nearest catchError (if any). 
runThrow (throwError e >>= k) = runThrow (throwError e)
throwEnvelopeErr' :: (MonadError (Err e) m) => e -> m a
envelope Web.Envelope
Like throwEnvelopeErr but without providing a message. 
>>> import Control.Monad.Except (runExcept)

>>> throwEnvelopeErr "BAD_ERROR" "a very bad error occurred!" :: Either (Err String) Int
Left (Err {errErr = "BAD_ERROR", errExtra = Just "a very bad error occurred!"})