Control.Monad.Raise.Constraint

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

Documentation

type Raises m err = Subset err (OpenUnion (Errors m))

Raises this exception, but potentially others

type RaisesAtLeast m errs = Subset (OpenUnion errs) (OpenUnion (Errors m))

May raise errors, including the provided list

type RaisesOnly m errs = errs ~ Errors m

Restrict exceptions to exactly this list