- Added the
exceptToValidate
,exceptToValidateWith
,validateToError
, andvalidateToErrorWith
functions for converting between different error-raising monads. - Removed the
DefaultSignatures
-based default methods forMonadValidate
in favor of aWrappedMonadTrans
newtype available fromControl.Monad.Validate.Class
that can be used to derive instances usingDerivingVia
. - Added a default implementation of
dispute
in terms ofrefute
andtolerate
and added their equivalence as a law forMonadValidate
.
- Added the
tolerate
method toMonadValidate
, which allows relaxing validation errors from fatal to nonfatal. - Added the
embedValidateT
andmapErrors
functions, which can be used together to locally alter the type of validation errors inValidateT
computations. - Removed the
MonadValidate
instance forContT
, which is no longer possible to implement due to the addition oftolerate
.
- Initial release.