Changelog for in-other-words-0.2.0.0
Changelog for in-other-words
0.2.0.0 (2021-01-30)
Breaking Changes
-Fast
interpretations of every continuation-related effect have been removed due to lack of usefulness.- The
ThreadsEff (ContT r) (ReaderPrim i)
instance has been removed due to unlawfulness. Control.Monad.Trans.List.Church
andControl.Monad.Trans.Free.Church.Alternate
have received a minor revamp. Notably, the representations ofListT
andFreeT
have been changed to become lawful monad transformers.bracketToIO
now executes the cleanup action of anygeneralBracket
uninterruptibly masked.
Non-breaking Changes
- Fixed a bug where
listen
when usinglistenToIO
would be lifted incorrectly by carriers based onFreeT
andListT
, which arose due to these not having been lawful monad transformers. - All uses of
CompositionC
in the library has been changed to proper newtypes. This should improve the quality of error messages as well as compilation times. - Added
bracketToIOUnsafe
, which has the previous semantics ofbracketToIO
-- that is, the cleanup action of eachgeneralBracket
is only executed interruptibly masked. Control.Efffect.Newtype
now exports the constructors ofWrapperOf
, thus addressing an issue where users wouldn't be allowed to derive viaWrapperOf
.Control.Efffect.Carrier
now exports the constructors ofIdentityT
, thus addressing an issue where users wouldn't be allowed to derive viaIdentityT
.- Fixed an issue where
FailC
lacked aMonadFail
instance. - Added
errorToIOAsExc
anderrorToErrorIOAsExc
(thanks @poscat0x04!)
0.1.1.0 (2020-10-30)
Non-breaking Changes
- Added
runTellAction
andignoreTell
interpreters. - Added
runEmbed
interpreter - Fixed an issue with
runShift
where HO-actions applied on ashift
could affect the continuation provided to the argument ofshift
.
0.1.0.0 (2020-10-10)
Initial release.