All Versions
27
Latest Version
Avg Release Cycle
40 days
Latest Release
1246 days ago
Changelog History
Page 2
Changelog History
Page 2
-
v1.1.0.0 Changes
August 15, 2019๐ฅ Breaking Changes
MonadFail
is now implemented in terms ofFail
, instead ofNonDet
(thanks to @KingoftheHomeless)- ๐
LastMember
has been removed.withLowerToIO
and all interpreters that make use of it now only requiresMember (Embed IO) r
(thanks to @KingoftheHomeless) - ๐
State
andWriter
now have better strictness semantics
Other Changes
- โ Added
AtomicState
effect (thanks to @KingoftheHomeless) - โ Added
Fail
effect (thanks to @KingoftheHomeless) - โ Added
runOutputSem
(thanks to @cnr) - โ Added
modify'
, a strict variant ofmodify
(thanks to @KingoftheHomeless) - โ Added right-associative variants of
runOutputMonoid
andrunWriter
(thanks to @KingoftheHomeless) - โ Added
runOutputMonoidIORef
andrunOutputMonoidTVar
(thanks to @KingoftheHomeless) - ๐ Improved
Fixpoint
so it won't always diverge (thanks to @KingoftheHomeless) makeSem
will now complain ifDataKinds
isn't enabled (thanks to @pepegar)
-
v1.0.0.0 Changes
July 24, 2019๐ฅ Breaking Changes
- ๐ Renamed
Lift
toEmbed
(thanks to @googleson78) - ๐ Renamed
runAsyncInIO
tolowerAsync
- ๐ Renamed
runAsync
toasyncToIO
- ๐ Renamed
runBatchOutput
torunOutputBatched
- ๐ Renamed
runConstInput
torunInputConst
- ๐ Renamed
runEmbed
torunEmbedded
(thanks to @googleson78) - ๐ Renamed
runEmbedded
tolowerEmbedded
- ๐ Renamed
runErrorAsAnother
tomapError
- ๐ Renamed
runErrorInIO
tolowerError
- ๐ Renamed
runFoldMapOutput
torunOutputMonoid
- ๐ Renamed
runIO
toembedToMonadIO
- ๐ Renamed
runIgnoringOutput
toignoreOutput
- ๐ Renamed
runIgnoringTrace
toignoreTrace
- ๐ Renamed
runInputAsReader
toinputToReader
- ๐ Renamed
runListInput
torunInputList
- ๐ Renamed
runMonadicInput
torunInputSem
- ๐ Renamed
runOutputAsList
torunOutputList
- ๐ Renamed
runOutputAsTrace
tooutputToTrace
- ๐ Renamed
runOutputAsWriter
tooutputToWriter
- ๐ Renamed
runResourceBase
toresourceToIO
- ๐ Renamed
runResourceInIO
tolowerResource
- ๐ Renamed
runStateInIORef
torunStateIORef
- ๐ Renamed
runTraceAsList
torunTraceList
- ๐ Renamed
runTraceAsOutput
totraceToOutput
- ๐ Renamed
runTraceIO
totraceToIO
- ๐ Renamed
sendM
toembed
(thanks to @googleson78) - The
NonDet
effect is now higher-order (thanks to @KingoftheHomeless)
Other Changes
- โ Added
evalState
andevalLazyState
- โ Added
runNonDetMaybe
(thanks to @KingoftheHomeless) - โ Added
nonDetToError
(thanks to @KingoftheHomeless) - ๐ Haddock documentation for smart constructors generated via
makeSem
will no longer have weird variable names (thanks to @TheMatten)
- ๐ Renamed
-
v0.7.0.0 Changes
July 08, 2019๐ฅ Breaking Changes
- โ Added a
Pass
constructor toWriter
(thanks to @KingoftheHomeless) - ๐ Fixed a bug in
runWriter
where the MTL semantics wouldn't be respected (thanks to @KingoftheHomeless) - โ Removed the
Censor
constructor ofWriter
(thanks to @KingoftheHomeless) - ๐ Renamed
Yo
toWeaving
- ๐ Changed the visible type applications for
asks
,gets
,runEmbedded
,fromEitherM
andrunErrorAsAnother
Other Changes
- ๐ Fixed haddock generation
- โ Added a
-
v0.6.0.0 Changes
July 04, 2019๐ฅ Breaking Changes
- ๐ Changed the type of
runBatchOutput
to be more useful (thanks to @Infinisil)
Other Changes
- ๐ THE ERROR MESSAGES ARE SO MUCH BETTER :party: :party: :party:
- โ Added
runEmbedded
toPolysemy.IO
- โ Added
runOutputAsList
toPolysemy.Output
(thanks to @googleson78) - ๐ Asymptotically improved the performance of
runTraceAsList
(thanks to @googleson78)
- ๐ Changed the type of
-
v0.5.1.0 Changes
June 28, 2019- ๐ New combinators for
Polysemy.Error
:fromEither
andfromEitherM
- ๐ New combinators for
-
v0.5.0.1 Changes
June 27, 2019- ๐ Fixed a bug where
intercept
andinterceptH
wouldn't correctly handle higher-order effects
- ๐ Fixed a bug where
-
v0.5.0.0 Changes
June 26, 2019๐ฅ Breaking Changes
- โ Removed the internal
Effect
machinery
๐ New Effects and Interpretations
- ๐ New effect;
Async
, for describing asynchronous computations - ๐ New interpretation for
Resource
:runResourceBase
, which can lowerResource
effects without giving a lowering natural transformation - ๐ New interpretation for
Trace
:runTraceAsList
- ๐ New combinator:
withLowerToIO
, which is capable of transformingIO
-invariant functions as effects.
Other Changes
- ๐ท Lots of hard work on the package and CI infrastructure to make it green on GHC 8.4.4 (thanks to @jkachmar)
- ๐ Changed the order of the types for
runMonadicInput
to be more helpful (thanks to @tempname11) - ๐ Improved the error machinery to be more selective about when it runs
- Factored out the TH into a common library for third-party consumers
- โ Removed the internal
-
v0.4.0.0 Changes
June 12, 2019๐ฅ Breaking Changes
- ๐ Renamed
runResource
torunResourceInIO
Other Changes
- โ Added
runResource
, which runs aResource
purely - โ Added
onException
,finally
andbracketOnError
toResource
- โ Added a new function,
runResource
which performs bracketing for pure code
- ๐ Renamed
-
v0.3.0.1 Changes
June 09, 2019- ๐ Fixed a type error in the benchmark caused by deprecation of
Semantic
- ๐ Fixed a type error in the benchmark caused by deprecation of
-
v0.3.0.0 Changes
June 01, 2019๐ฅ Breaking Changes
- โ Removed all deprecated names
- ๐ Moved
Random
effect topolysemy-zoo
Other Changes
makeSem
can now be used to create term-level operators (thanks to @TheMatten)