-*-change-log-*- 0.5.6.2 Ross Paterson Feb 2019 * Further backward compatability fix 0.5.6.1 Ross Paterson Feb 2019 * Backward compatability fix for MonadFix ListT instance 0.5.6.0 Ross Paterson Feb 2019 * Generalized type of except * Added Control.Monad.Trans.Writer.CPS and Control.Monad.Trans.RWS.CPS * Added Contravariant instances * Added MonadFix instance for ListT 0.5.5.0 Ross Paterson Oct 2017 * Added mapSelect and mapSelectT * Renamed selectToCont to selectToContT for consistency * Defined explicit method definitions to fix space leaks * Added missing Semigroup instance to `Constant` functor 0.5.4.0 Ross Paterson Feb 2017 * Migrate Bifoldable and Bitraversable instances for Constant 0.5.3.1 Ross Paterson Feb 2017 * Fixed for pre-AMP environments 0.5.3.0 Ross Paterson Feb 2017 * Added AccumT and SelectT monad transformers * Deprecated ListT * Added Monad (and related) instances for Reverse * Added elimLift and eitherToErrors * Added specialized definitions of several methods for efficiency * Removed specialized definition of sequenceA for Reverse * Backported Eq1/Ord1/Read1/Show1 instances for Proxy 0.5.2.0 Ross Paterson Feb 2016 * Re-added orphan instances for Either to deprecated module * Added lots of INLINE pragmas 0.5.1.0 Ross Paterson Jan 2016 * Bump minor version number, required by added instances 0.5.0.2 Ross Paterson Jan 2016 * Backported extra instances for Identity 0.5.0.1 Ross Paterson Jan 2016 * Tightened GHC bounds for PolyKinds and DeriveDataTypeable 0.5.0.0 Ross Paterson Dec 2015 * Control.Monad.IO.Class in base for GHC >= 8.0 * Data.Functor.{Classes,Compose,Product,Sum} in base for GHC >= 8.0 * Added PolyKinds for GHC >= 7.4 * Added instances of base classes MonadZip and MonadFail * Changed liftings of Prelude classes to use explicit dictionaries 0.4.3.0 Ross Paterson Mar 2015 * Added Eq1, Ord1, Show1 and Read1 instances for Const 0.4.2.0 Ross Paterson Nov 2014 * Dropped compatibility with base-1.x * Data.Functor.Identity in base for GHC >= 7.10 * Added mapLift and runErrors to Control.Applicative.Lift * Added AutoDeriveTypeable for GHC >= 7.10 * Expanded messages from mfix on ExceptT and MaybeT 0.4.1.0 Ross Paterson May 2014 * Reverted to record syntax for newtypes until next major release 0.4.0.0 Ross Paterson May 2014 * Added Sum type * Added modify', a strict version of modify, to the state monads * Added ExceptT and deprecated ErrorT * Added infixr 9 `Compose` to match (.) * Added Eq, Ord, Read and Show instances where possible * Replaced record syntax for newtypes with separate inverse functions * Added delimited continuation functions to ContT * Added instance Alternative IO to ErrorT * Handled disappearance of Control.Monad.Instances 0.3.0.0 Ross Paterson Mar 2012 * Added type synonyms for signatures of complex operations * Generalized state, reader and writer constructor functions * Added Lift, Backwards/Reverse * Added MonadFix instances for IdentityT and MaybeT * Added Foldable and Traversable instances * Added Monad instances for Product 0.2.2.1 Ross Paterson Oct 2013 * Backport of fix for disappearance of Control.Monad.Instances 0.2.2.0 Ross Paterson Sep 2010 * Handled move of Either instances to base package 0.2.1.0 Ross Paterson Apr 2010 * Added Alternative instance for Compose * Added Data.Functor.Product 0.2.0.0 Ross Paterson Mar 2010 * Added Constant and Compose * Renamed modules to avoid clash with mtl * Removed Monad constraint from Monad instance for ContT 0.1.4.0 Ross Paterson Mar 2009 * Adjusted lifting of Identity and Maybe transformers 0.1.3.0 Ross Paterson Mar 2009 * Added IdentityT transformer * Added Applicative and Alternative instances for (Either e) 0.1.1.0 Ross Paterson Jan 2009 * Made all Functor instances assume Functor 0.1.0.1 Ross Paterson Jan 2009 * Adjusted dependencies 0.1.0.0 Ross Paterson Jan 2009 * Two versions of lifting of callcc through StateT * Added Applicative instances 0.0.1.0 Ross Paterson Jan 2009 * Added constructors state, etc for simple monads 0.0.0.0 Ross Paterson Jan 2009 * Split Haskell 98 transformers from the mtl