Changelog for checked-exceptions-0.3.0.0
Revision history for checked-exceptions
0.3.0.0 -- 2026-08-24
- Breaking:
Control.Monad.CheckedExcept.Plugin moved to the checked-exceptions:plugin sublibrary; add checked-exceptions:plugin to build-depends.
- Support GHC 9.8+ for the core library (
base >= 4.16). Plugin sublibrary requires GHC 9.10+ with matching ghc (9.10 / 9.12 / 9.14; not ghc-lib).
OneOf: hide data constructor; construct with oneOf. Payload carries an ElemIx witness.
Elem and Contains are now classes producing ElemIx / Subset witnesses instead of vacuous type families.
Contains es es is no longer auto-derived for abstract es; use containsRefl or weakenExceptionsWith.
- Export
ElemIx, Subset, lookupSubset, containsRefl, weakenExceptionsWith, weakenOneOfWith.
- Fix
QualifiedDo >>= so the continuation can return a different type (b not a).
- Replace the type-checker plugin's fiat coercions with a
defaultingPlugin that proposes exception-set metavariable defaults.
- Remove
unsafeCoerceConstraint / unsound proveElem widening.
- Drop
ghc-tcplugins-extra dependency.
0.1.0.0 -- YYYY-mm-dd
- First version. Released on an unsuspecting world.