- GHC 9.2.3 compatiblity
- Added
hoistSteps
- Added
threadBaseControlViaUnlift
- GHC 9.0.1 compatiblity (thanks @berberman!)
-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.
- 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!)
- 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
.
Initial release.