An effect similar to Error without the ability to be caught. Used to signal that an error is supposed to be expected by dependent programs.

interpretStopper ::
  Member (Stop Boom) r =>
  InterpreterFor Stopper r
interpretStopper =
  interpret \case
    StopBang -> stop (Bang 13)
    StopBoom -> stop (Boom "ouch")

Infix alias for Resumable.

Member (Stopper !! Boom) r =>

Effect that wraps another effect eff, marking it as throwing errors of type err using Stop.

Execute the action of a regular effect eff so that any error of type err that maybe be thrown by the (unknown) interpreter used for eff will be caught here and handled by the handler argument. This is similar to catch with the additional guarantee that the error will have to be explicitly matched, therefore preventing accidental failure to handle an error and bubbling it up to main. It also imposes a membership of Resumable err eff on the program, requiring the interpreter for eff to be adapted with resumable.

data Resumer :: Effect where
  MainProgram :: Resumer m Int

makeSem ''Resumer

interpretResumer ::
  Member (Resumable Boom Stopper) r =>
  InterpreterFor Resumer r
interpretResumer =
  interpret \ MainProgram ->
    resume (192 <$ stopBang) \ _ ->
      pure 237

Operator version of resume.

Since: 0.2.0.0

Create an interpreter for Resumable err eff by supplying a handler function for eff, analogous to interpret. If the handler throws errors with Stop, they will be absorbed into Resumable, to be caught by resume in a downstream interpreter.

interpretStopperResumable ::
  Member (Stop Boom) r =>
  InterpreterFor Stopper r
interpretStopperResumable =
  interpretResumable \case
    StopBang -> stop (Bang 13)
    StopBoom -> stop (Boom "ouch")

>>> run $ interpretStopperResumable (interpretResumer mainProgram)
237

Like interpretResumable, but for higher-order effects.

Convert a bare interpreter for eff, which (potentially) uses Stop to signal errors, into an interpreter for Resumable. Beware: This will display unsound behaviour if: * the interpreter is wrapped with actions of another effect, as in:

  interpretEff :: InterpreterFor Eff r
  ...

  interpretEffResumable :: InterpreterFor (Resumable Text Eff) r
  interpretEffResumable sem =
  resumable (interpretEff (sem finally releaseResources))
  

In this case, releaseResources will be called after every use of Eff in sem, not after the entire thunk.

• the interpreter of a higher-order effect uses a different interpreter after using runT/bindT. In this case, it will use the original interpreter instead.

If your use case matches one of these conditions, you'll need to use interpretResumable.

>>> run $ resumable interpretStopper (interpretResumer mainProgram)
237

Convenience combinator for turning an interpreter that doesn't use Stop into a Resumable.

Like resumable, but use exceptions instead of ExceptT.

Convert an interpreter for eff that throws errors of type err into a Resumable, but limiting the errors handled by consumers to the type handled, which rethrowing Errors of type unhandled.

The function canHandle determines how the errors are split.

newtype Blip =
  Blip { unBlip :: Int }
  deriving (Eq, Show)

bangOnly :: Boom -> Either Text Blip
bangOnly = \case
  Bang n -> Right (Blip n)
  Boom msg -> Left msg

interpretResumerPartial ::
  Member (Resumable Blip Stopper) r =>
  InterpreterFor Resumer r
interpretResumerPartial =
  interpret \ MainProgram ->
    resume (192 <$ stopBang) \ (Blip num) ->
      pure (num * 3)

>>> runError (resumableFor bangOnly interpretStopper (interpretResumerPartial mainProgram))
Right 39

Variant of resume that unconditionally recovers with a constant value.

Operator version of resumeAs.

Since: 0.2.0.0

Operator version of resumeAs, flipped version of (<!).

Since: 0.2.0.0

Variant of resume that unconditionally recovers with an action.

Since: 0.2.0.0

Operator variant of resumeWith.

Since: 0.2.0.0

Variant of resuming that unconditionally recovers with an action.

Since: 0.2.0.0

Operator variant of resumingWith.

Since: 0.2.0.0

Convenience specialization of resume that silently discards errors for void programs.

Variant of resume that propagates the error to another Stop effect after applying a function.

Variant of resumeHoist that uses a constant value.

Flipped variant of resume.

Variant of resume that propagates the error to an Error effect after applying a function.

Variant of resumeHoistError that uses the unchanged error.

Variant of resumeHoist that uses the unchanged error.

Variant of resume that immediately produces an Either.

Variant of resume that takes a branch for error and success. This allows the success branch to contain other resumptions.

Since: 0.2.0.0

Variant of resuming that takes a branch for error and success. This allows the success branch to contain other resumptions.

Since: 0.2.0.0

Variant of resumeHoistError that uses the unchanged error.

Convert an interpreter for eff that uses Error into one using Stop and wrap it using resumable.

Variant of resumableOr that uses Maybe and rethrows the original error.

Interpret an effect eff by wrapping it in Resumable and Stop and leaving the rest up to the user.

Reinterpreting variant of resumableFor.

Equivalent of runError.

Run Stop by throwing exceptions.

Stop if the argument is Left, transforming the error with f.

Stop if the argument is Left.

Stop with the supplied error if the argument is Nothing.

Convert a program using regular Errors to one using Stop.

Convert a program using regular Errors to one using Stop.

Convert a program using Stop to one using Error.

Map over the error type in a Stop.

Convert the error type in a Stop to Text.