fused-effects-1.1.1.3: A fast, flexible, fused effect system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Effect.Error

Description

An effect modelling catchable failure with a polymorphic error type, the combination of Throw and Catch.

This effect is similar to the traditional MonadError typeclass, though it allows the presence of multiple Error effects in a given effect stack. It offers precise exception handling, rather than the dynamic exception hierarchy provided by the exceptions package. The fused-effects-exceptions package may be more suitable for handling dynamic/impure effect handling.

Predefined carriers:

Since: 0.1.0.0

Synopsis

Error effects

type Error e = Throw e :+: Catch e Source #

Since: 0.1.0.0