@@ -6,7 +6,7 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/).
66## [ Unreleased]
77### Changed
88- *** Breaking Change*** : ` MonadT ` is now witnessed by a parameter for better subtyping, and no longer requires a common
9- ` run ` interface
9+ ` run ` interface; each ` run ` method is now ` runXXXT() ` , where ` XXX ` is the name of the transformer in question
1010- *** Breaking Change*** : ` Applicative#zip ` and derivatives evaluate from left to right now across the board.
1111- *** Breaking Change*** : ` testsupport.EquatableM ` replaced with ` Equivalence `
1212- ` Alter ` now merely requires an ` Fn1 ` instead of an explicit ` Effect `
@@ -15,31 +15,32 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/).
1515 retain parallelization inflection points
1616
1717### Added
18- - ` MonadError ` , monads that can be thrown to and caught from, with defaults for ` IO ` , ` Either ` , ` Maybe ` , and ` Try `
1918- ` MonadRec ` , monads that support a stack-safe ` trampolineM ` method with defaults for all exported monads
20- - ` Optic#andThen ` , ` Optic#compose ` , and other defaults added
21- - ` Prism#andThen ` , ` Prism#compose ` begets another ` Prism `
22- - ` Prism#fromPartial ` public interfaces
19+ - ` MonadError ` , monads that can be thrown to and caught from, with defaults for ` IO ` , ` Either ` , ` Maybe ` , and ` Try `
20+ - ` MonadBase ` , an interface representing lifting infrastructure for ` Monad ` s
21+ - ` MonadReader ` and ` MonadWriter ` , general interfaces for reading from an environment and accumulating results
22+ - ` SafeT ` , a stack-safe monad transformer for any ` MonadRec `
2323- ` ReaderT ` , the transformer for the reader monad
24- - ` Until ` , for repeatedly executing an ` IO ` until its result matches a predicate
24+ - ` WriterT ` , a monad transformer for an accumulation and a value
25+ - ` StateT ` , the ` State ` monad transformer
26+ - ` Lift ` , an existentially-quantified lifting function for some ` MonadBase ` type
2527- ` IO#interruptible ` , for wrapping an ` IO ` in a thread interruption check
2628- ` IO#monitorSync ` , for wrapping an ` IO ` in a ` synchronized ` block on a given lock object
2729- ` IO#pin ` , for pinning an ` IO ` to an ` Executor ` without yet executing it
2830- ` IO#fuse ` , for fusing the fork opportunities of a given ` IO ` into a single linearized ` IO `
2931- ` IO#memoize ` , for memoizing an ` IO ` by caching its first successful result
32+ - ` Until ` , for repeatedly executing an ` IO ` until its result matches a predicate
33+ - ` Optic#andThen ` , ` Optic#compose ` , and other defaults added
34+ - ` Prism#andThen ` , ` Prism#compose ` begets another ` Prism `
35+ - ` Prism#fromPartial ` public interfaces
3036- ` Tuple2-8#fromIterable ` , for populating a ` TupleN ` with the first ` N ` elements of an ` Iterable `
3137- ` Fn2#curry ` , for converting an ` Fn1<Tuple2<A,B>,C> ` to an ` Fn2<A,B,C> `
32- - ` MonadBase ` , an interface representing lifting infrastructure for ` Monad ` s
33- - ` Lift ` , an existentially-quantified lifting function for some ` MonadBase ` type
34- - ` MonadReader ` and ` MonadWriter ` , general interfaces for reading from an environment and accumulating results
35- - ` StateT ` , the ` State ` monad transformer
36- - ` WriterT ` , a monad transformer for an accumulation and a value
3738- ` EquivalenceTrait ` , a traitor ` Trait ` to make it easier to test properties of type-classes with a separate equivalence
3839 relation
39- - ` SafeT ` , a stack-safe monad transformer for any ` MonadRec `
4040
4141### Deprecated
4242- ` Peek ` , ` Peek2 ` , ` Maybe#peek ` , and ` Either#peek ` in favor of explicitly matching into ` IO ` and running it
43+ - ` Force ` , in favor if traversing into an ` IO ` and explicitly running it
4344
4445## [ 4.0.0] - 2019-05-20
4546### Changed
0 commit comments