- Fix certain warnings with newer GHC for cleaner builds.
- Add
liftMaybe
utility function toControl.Monad.Except.CoHas
.
- Reexport
Control.Monad.Reader
from theControl.Monad.Reader.Has
module with customask
,asks
andreader
functions more compatible with theHas
class. - Similarly for
Control.Monad.Except
,CoHas
andthrowError
/liftError
functions.
- Added the
update
method toHas
(yay lenses). - Fixed the documentation regarding the recursiveness of the search.
- Less boilerplate for
Has
tuple instances andCoHas
Either
instance. - Out-of-the-box
Has
support for up to sextuples due to the reduced boilerplate.
- Added
CoHas
class (dual toHas
), allowing injecting values into sum types.
- Added documentation.
- Export the SearchSuccessful type which might aid hand-writing instances.
Initial release.