rescue-0.4.2.1: More understandable exceptions
Safe HaskellNone
LanguageHaskell2010

Control.Monad.Raise.Constraint

Description

Declare which exceptions may be raised/rescued in a given context

Synopsis

Permissive

type Raises m err = Subset err (ErrorCase m) Source #

Raises this exception, but potentially others

type RaisesAtLeast m errs = Subset (OpenUnion errs) (ErrorCase m) Source #

May raise errors, including the provided list

Precise

type RaisesOnly m errs = errs ~ Errors m Source #

Restrict exceptions to exactly this list

type RaisesOne m err = IsMember err (Errors m) Source #

Raises an exception, guaranteed to NOT be the outer union