Safe Haskell | None |
---|---|
Language | Haskell2010 |
Declare which exceptions may be raised/rescued in a given context
Permissive
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