packages/transformers.git
3 years agoBump minor version number to 0.5.1.0, required by added instances 0_5_1_0
Ross Paterson [Sun, 17 Jan 2016 15:47:13 +0000 (15:47 +0000)] 
Bump minor version number to 0.5.1.0, required by added instances

3 years agopathch-level release 0.5.0.2
Ross Paterson [Sun, 17 Jan 2016 02:39:49 +0000 (02:39 +0000)] 
pathch-level release 0.5.0.2

3 years agopatch-level release
Ross Paterson [Sun, 17 Jan 2016 02:25:44 +0000 (02:25 +0000)] 
patch-level release

3 years agoRequire GHC >= 7.0 for DeriveDataTypeable (fixes #19)
Ross Paterson [Sun, 17 Jan 2016 02:21:58 +0000 (02:21 +0000)] 
Require GHC >= 7.0 for DeriveDataTypeable (fixes #19)
It seems it was buggy in 6.12.

3 years agoRequire GHC >= 7.6 for PolyKinds (fixes #20)
Ross Paterson [Sun, 17 Jan 2016 01:57:21 +0000 (01:57 +0000)] 
Require GHC >= 7.6 for PolyKinds (fixes #20)

3 years agoBackport Bounded, Enum, Ix, and Storable instances for Identity
ryan.gl.scott [Tue, 22 Dec 2015 00:14:03 +0000 (00:14 +0000)] 
Backport Bounded, Enum, Ix, and Storable instances for Identity

These instances were added to `base-4.9.0.0`

3 years agominor changelog cleanup 0_5_0_0
Ross Paterson [Thu, 17 Dec 2015 17:40:40 +0000 (17:40 +0000)] 
minor changelog cleanup

3 years agosimply Cabal file a little
Ross Paterson [Thu, 17 Dec 2015 17:31:48 +0000 (17:31 +0000)] 
simply Cabal file a little

3 years agoConditionally expose Data.Functor.* modules
ryan.gl.scott [Thu, 17 Dec 2015 17:09:19 +0000 (17:09 +0000)] 
Conditionally expose Data.Functor.* modules

As a part of #11135. This conditionally exposes `Data.Functor.Classes`, `Data.Functor.Compose`, `Data.Functor.Product`, and `Data.Functor.Sum` if using GHC 7.10 or earlier. This also backports `Typeable`, `Data`, `Generic`, and `Generic1` instances that will be introduced in `base-4.9.0.0` (GHC 8.0).

3 years agobump version number in preparation for release
Ross Paterson [Wed, 16 Dec 2015 13:53:02 +0000 (13:53 +0000)] 
bump version number in preparation for release

3 years agomore uniform treatment of Read1/Show1/Read2/Show2
Ross Paterson [Wed, 16 Dec 2015 13:48:26 +0000 (13:48 +0000)] 
more uniform treatment of Read1/Show1/Read2/Show2

Now there are two methods in each class, corresponding to the methods
in the basic classes, and each of the lifting functions takes pairs of
function arguments.  The lifting functions (which have not appeared in
any release) are renamed from xxxWith to liftXxx, to avoid a clash with
showListWith (from Text.Show).

3 years agoupdate changelog
Ross Paterson [Tue, 15 Dec 2015 19:42:34 +0000 (19:42 +0000)] 
update changelog

3 years agoChange definitions of Read1 and Show1 to allow correct list instances
Ross Paterson [Wed, 16 Dec 2015 00:01:44 +0000 (00:01 +0000)] 
Change definitions of Read1 and Show1 to allow correct list instances

The Read1 and Show1 classes did not allow special cases for lists as
supported by the base classes Read and Show.  Thus for example the
following displayed incorrectly:

Backwards "abc"
Compose (Just "abc")

see also https://ghc.haskell.org/trac/ghc/ticket/11135

To fix this requires an extra argument to the methods in Read1 and Show1,
effectively taking explicit dictionaries with two entries, like the base
classes.

3 years agoadd MonadFail instance for ContT
Ross Paterson [Wed, 25 Nov 2015 13:19:55 +0000 (13:19 +0000)] 
add MonadFail instance for ContT

3 years agore-order methods for consistency
Ross Paterson [Wed, 25 Nov 2015 12:00:01 +0000 (12:00 +0000)] 
re-order methods for consistency

3 years agoAdd `MonadFail` instances
hvr [Tue, 24 Nov 2015 20:06:03 +0000 (20:06 +0000)] 
Add `MonadFail` instances

This adds `MonadFail` instances for all `Monad` instances
which explicitly define a `fail` method.

3 years agoCanonicalise Monad instances
hvr [Tue, 24 Nov 2015 14:44:19 +0000 (14:44 +0000)] 
Canonicalise Monad instances

This exploits the AMP by omitting the `return` definition
and makes the code future proof.
Moreover, this makes `transformers` warning-free under
GHC 8's new `-fwarn-noncanonical-monad-instances` warning.

3 years agoinstance Bifunctor Constant (fixes #11)
Ross Paterson [Fri, 20 Nov 2015 12:27:58 +0000 (12:27 +0000)] 
instance Bifunctor Constant (fixes #11)

3 years agoProper base bounds (for real), backport Monoid Identity instance
ryan.gl.scott [Wed, 28 Oct 2015 03:40:19 +0000 (03:40 +0000)] 
Proper base bounds (for real), backport Monoid Identity instance

It has finally been decided that GHC 8.0 will ship with base-4.9.0.0, so we
should follow that convention. Also, let's backport the Monoid (Identity a)
instance that was introduced in GHC 8.0.

3 years agoFix `base` lower version bounds for GHC 8.0 (it will be `4.8.2` at the least)
ryan.gl.scott [Sat, 10 Oct 2015 14:35:46 +0000 (14:35 +0000)] 
Fix `base` lower version bounds for GHC 8.0 (it will be `4.8.2` at the least)

3 years agorename legacy source directories
Ross Paterson [Mon, 28 Sep 2015 00:28:06 +0000 (00:28 +0000)] 
rename legacy source directories

3 years agore-add old modules
Ross Paterson [Mon, 28 Sep 2015 00:18:25 +0000 (00:18 +0000)] 
re-add old modules

3 years agoSeparate legacy modules into different subdirectories
ryan.gl.scott [Sun, 27 Sep 2015 23:41:01 +0000 (23:41 +0000)] 
Separate legacy modules into different subdirectories

`Cabal` gets confused when it has to conditionally include two different files
in the same subdirectory using different `impl(ghc >= <num>)` flags, so we
place `Data.Functor.Identity` into the `old709` directory and
`Control.Monad.IO.Class` into the `old711` directory to appease `Cabal`.

3 years agoconditionally re-instate orphan instances in Control.Monad.Trans.Error
Ross Paterson [Sun, 27 Sep 2015 17:21:45 +0000 (17:21 +0000)] 
conditionally re-instate orphan instances in Control.Monad.Trans.Error

see GHC trac #10755

need to check the version of base required

3 years agodocumentation tweak
Ross Paterson [Sun, 27 Sep 2015 15:57:28 +0000 (15:57 +0000)] 
documentation tweak

4 years agoFix the last MonadTrans example to use IO instead of []
samcaldwell [Wed, 27 Aug 2014 03:03:02 +0000 (03:03 +0000)] 
Fix the last MonadTrans example to use IO instead of []

4 years agoMake Control.Monad.IO.Class conditionally exposed
ryan.gl.scott [Sat, 15 Aug 2015 14:52:17 +0000 (14:52 +0000)] 
Make Control.Monad.IO.Class conditionally exposed
Trac #10773 proposed moving the `MonadIO` class (and, as a result, the
`Control.Monad.IO.Class` module) to `base` to make it easier to generalize
more functions' type signatures from `IO` to `MonadIO`. To aid this transition,
`transformers` should continue to provide `Control.Monad.IO.Class` if compiled
with GHC 7.10 or earlier.

4 years agofix warning
Ross Paterson [Fri, 3 Jul 2015 21:59:05 +0000 (21:59 +0000)] 
fix warning

4 years agoTypeable instance for promoted Identity constructor
ryan.gl.scott [Tue, 30 Jun 2015 15:04:02 +0000 (15:04 +0000)] 
Typeable instance for promoted Identity constructor

4 years agoFix build on GHC < 7.10
ryan.gl.scott [Tue, 30 Jun 2015 14:56:40 +0000 (14:56 +0000)] 
Fix build on GHC < 7.10

4 years agoexpand definitions of Applicative and Alternative methods (fixes #4)
Ross Paterson [Sun, 21 Jun 2015 14:17:15 +0000 (14:17 +0000)] 
expand definitions of Applicative and Alternative methods (fixes #4)

4 years agoMore use of PolyKinds
ryan.gl.scott [Sat, 13 Jun 2015 03:35:05 +0000 (03:35 +0000)] 
More use of PolyKinds

4 years agoadd Monoid (Constant a b) instance
Ross Paterson [Thu, 11 Jun 2015 21:55:20 +0000 (21:55 +0000)] 
add Monoid (Constant a b) instance

4 years agoMark modules as Safe
ryan.gl.scott [Thu, 21 May 2015 14:46:42 +0000 (14:46 +0000)] 
Mark modules as Safe

4 years agoremove orphan instances from deprecated Control.Monad.Trans.Error (resolves #2)
Ross Paterson [Fri, 24 Apr 2015 16:47:49 +0000 (16:47 +0000)] 
remove orphan instances from deprecated Control.Monad.Trans.Error (resolves #2)

4 years agoremove MonadZip instance from deprecated module
Ross Paterson [Fri, 24 Apr 2015 16:42:03 +0000 (16:42 +0000)] 
remove MonadZip instance from deprecated module

4 years agoadd bug-reports line to Cabal file
Ross Paterson [Fri, 24 Apr 2015 15:12:49 +0000 (15:12 +0000)] 
add bug-reports line to Cabal file

4 years agobump test for AutoDeriveTypeable to GHC 7.10, since that's been released
Ross Paterson [Thu, 23 Apr 2015 11:18:26 +0000 (11:18 +0000)] 
bump test for AutoDeriveTypeable to GHC 7.10, since that's been released

4 years agouse PolyKinds for GHC >= 7.4
Ross Paterson [Wed, 22 Apr 2015 23:48:45 +0000 (23:48 +0000)] 
use PolyKinds for GHC >= 7.4

4 years agorequire a more general type for eqWith and compareWith
Ross Paterson [Wed, 22 Apr 2015 22:10:12 +0000 (22:10 +0000)] 
require a more general type for eqWith and compareWith

4 years agoMonadZip instaces, base-4.8.0.0 compatibility with Identity
ryan.gl.scott [Mon, 13 Apr 2015 18:52:37 +0000 (18:52 +0000)] 
MonadZip instaces, base-4.8.0.0 compatibility with Identity

4 years agomove eq1, etc out of the classes
Ross Paterson [Wed, 25 Mar 2015 23:57:06 +0000 (23:57 +0000)] 
move eq1, etc out of the classes

4 years agofix warnings
Ross Paterson [Wed, 25 Mar 2015 23:53:22 +0000 (23:53 +0000)] 
fix warnings

4 years agoinstances of Eq2, Ord2, Read2 and Show2
Ross Paterson [Wed, 25 Mar 2015 21:44:56 +0000 (21:44 +0000)] 
instances of Eq2, Ord2, Read2 and Show2

4 years agoswitch liftings of Prelude classes to use explicit dictionaries
Ross Paterson [Wed, 25 Mar 2015 19:23:09 +0000 (19:23 +0000)] 
switch liftings of Prelude classes to use explicit dictionaries

4 years agofix foldr1/foldl1 for Backwards (spotted by Ryan Scott)
Ross Paterson [Tue, 24 Mar 2015 14:41:24 +0000 (14:41 +0000)] 
fix foldr1/foldl1 for Backwards (spotted by Ryan Scott)

4 years agochanges for 0.4.3.0 0_4_3_0
Ross Paterson [Sun, 8 Mar 2015 18:30:05 +0000 (18:30 +0000)] 
changes for 0.4.3.0

4 years agobump version to 0.4.3.0
Ross Paterson [Sun, 8 Mar 2015 18:23:46 +0000 (18:23 +0000)] 
bump version to 0.4.3.0

4 years agosome docs for lifted Prelude classes
Ross Paterson [Sun, 8 Mar 2015 18:21:01 +0000 (18:21 +0000)] 
some docs for lifted Prelude classes

4 years agoadd Eq1, Ord1, Show1 and Read1 instances for Control.Applicative.Const
Ross Paterson [Sun, 8 Mar 2015 17:00:23 +0000 (17:00 +0000)] 
add Eq1, Ord1, Show1 and Read1 instances for Control.Applicative.Const

4 years agoupdate email address
Ross Paterson [Sun, 8 Mar 2015 16:58:15 +0000 (16:58 +0000)] 
update email address

4 years agoupdate repo location
Ross Paterson [Sun, 8 Mar 2015 16:55:42 +0000 (16:55 +0000)] 
update repo location

4 years agotweak documentation of uniformity of liftings
Ross Paterson [Tue, 20 Jan 2015 23:56:22 +0000 (23:56 +0000)] 
tweak documentation of uniformity of liftings

4 years agodocument uniformity conditions for lifting of operations
Ross Paterson [Tue, 20 Jan 2015 18:51:47 +0000 (18:51 +0000)] 
document uniformity conditions for lifting of operations

4 years agofix unused binding warning
Ross Paterson [Thu, 8 Jan 2015 17:01:26 +0000 (17:01 +0000)] 
fix unused binding warning

4 years agoremove redundant constraints
Ross Paterson [Thu, 8 Jan 2015 16:52:12 +0000 (16:52 +0000)] 
remove redundant constraints

There are still a number of Functor constraints that are redundant when
Applicative is a superclass of Monad, but necessary for old versions of
the base package.

4 years agoexpand tabs
Ross Paterson [Thu, 8 Jan 2015 16:18:44 +0000 (16:18 +0000)] 
expand tabs

4 years agofix typo in doc comment
Ross Paterson [Thu, 8 Jan 2015 16:15:00 +0000 (16:15 +0000)] 
fix typo in doc comment

4 years agoupdate for 0.4.2.0
Ross Paterson [Sun, 9 Nov 2014 15:14:56 +0000 (15:14 +0000)] 
update for 0.4.2.0

4 years agoremove AutoDeriveTypeable from Data.Functor.Identity
Ross Paterson [Sun, 9 Nov 2014 15:13:36 +0000 (15:13 +0000)] 
remove AutoDeriveTypeable from Data.Functor.Identity

This module has moved to base in GHC.7.10.

4 years agodefer AutoDeriveTypeable to GHC-7.10
Ross Paterson [Sun, 9 Nov 2014 15:10:00 +0000 (15:10 +0000)] 
defer AutoDeriveTypeable to GHC-7.10

AutoDeriveTypeable doesn't work properly in GHC-7.8:

https://ghc.haskell.org/trac/ghc/ticket/9575

4 years agomake Data.Functor.Identity conditionally exposed
Ross Paterson [Sun, 9 Nov 2014 15:05:53 +0000 (15:05 +0000)] 
make Data.Functor.Identity conditionally exposed

from Herbert Valerio Riedel:
Starting with base-4.8.0.0, Data.Functor.Identity will be provided by
`base` rather than `transformers`. In order to make the transition
smoother (and to make it possible to bootstrap GHC 7.9/7.10 with GHC
7.6+ w/o having to complicate GHC's build-system), `transformers`
continues to provide `Data.Functor.Identity` if compiled with a compiler
other than GHC 7.9 or later.

See also https://ghc.haskell.org/trac/ghc/ticket/9664

4 years agoadd mapLift and runErrors to Control.Applicative.Lift, with some doc comments
Ross Paterson [Sun, 9 Nov 2014 14:22:43 +0000 (14:22 +0000)] 
add mapLift and runErrors to Control.Applicative.Lift, with some doc comments

4 years agodrop compatibility with base-1.x
Ross Paterson [Mon, 13 Oct 2014 10:15:28 +0000 (10:15 +0000)] 
drop compatibility with base-1.x

4 years agoreverse imports between Data.Functor.Classes and Data.Functor.Identity
Ross Paterson [Tue, 7 Oct 2014 11:59:21 +0000 (11:59 +0000)] 
reverse imports between Data.Functor.Classes and Data.Functor.Identity

In preparation for moving Data.Functor.Identity to base.

4 years agomfix on ExceptT and MaybeT: expand messages, consistent style
Ross Paterson [Sun, 31 Aug 2014 09:23:56 +0000 (09:23 +0000)] 
mfix on ExceptT and MaybeT: expand messages, consistent style

4 years agoconsistent format for header comments
Ross Paterson [Sat, 30 Aug 2014 17:17:19 +0000 (17:17 +0000)] 
consistent format for header comments

4 years agominor version bump (non-orphan instances of Typeable added)
Ross Paterson [Sat, 30 Aug 2014 17:13:26 +0000 (17:13 +0000)] 
minor version bump (non-orphan instances of Typeable added)

4 years agoadd AutoDeriveTypeable for GHC >= 7.8
Ross Paterson [Sat, 30 Aug 2014 17:11:47 +0000 (17:11 +0000)] 
add AutoDeriveTypeable for GHC >= 7.8

5 years agorevert to record syntax for newtypes until next major release
Ross Paterson [Tue, 6 May 2014 23:52:32 +0000 (23:52 +0000)] 
revert to record syntax for newtypes until next major release

5 years agoupdate month
Ross Paterson [Mon, 5 May 2014 00:27:28 +0000 (00:27 +0000)] 
update month

5 years agosimplify labelling example in state docs
Ross Paterson [Mon, 5 May 2014 00:26:15 +0000 (00:26 +0000)] 
simplify labelling example in state docs

5 years agodoc tweaks: add example of lazy state monad, reorder crossref
Ross Paterson [Mon, 5 May 2014 00:10:34 +0000 (00:10 +0000)] 
doc tweaks: add example of lazy state monad, reorder crossref

5 years agochange Alternative instance for ExceptT to combine exceptions
Ross Paterson [Fri, 2 May 2014 16:38:33 +0000 (16:38 +0000)] 
change Alternative instance for ExceptT to combine exceptions

5 years agoadd Data.Functor.Sum
Ross Paterson [Wed, 30 Apr 2014 00:27:10 +0000 (00:27 +0000)] 
add Data.Functor.Sum

5 years agoadd not on state strictness
Ross Paterson [Wed, 30 Apr 2014 00:25:27 +0000 (00:25 +0000)] 
add not on state strictness

5 years agoadd modify', a strict version of modify
Ross Paterson [Sun, 27 Apr 2014 08:15:41 +0000 (08:15 +0000)] 
add modify', a strict version of modify

Suggested by Marko Bencun.

5 years agofix warning on strict writer
Ross Paterson [Sat, 26 Apr 2014 08:14:33 +0000 (08:14 +0000)] 
fix warning on strict writer

5 years agoswitch doc examples from Error to Except
Ross Paterson [Sat, 26 Apr 2014 08:13:34 +0000 (08:13 +0000)] 
switch doc examples from Error to Except

5 years agotweak description of 0.2.2.1
Ross Paterson [Fri, 25 Apr 2014 13:44:11 +0000 (13:44 +0000)] 
tweak description of 0.2.2.1

5 years agoadd changelog
Ross Paterson [Fri, 25 Apr 2014 13:36:00 +0000 (13:36 +0000)] 
add changelog

5 years agoadd warning about strict writer
Ross Paterson [Fri, 25 Apr 2014 10:38:39 +0000 (10:38 +0000)] 
add warning about strict writer

5 years agofix doc typos
Ross Paterson [Fri, 25 Apr 2014 07:01:26 +0000 (07:01 +0000)] 
fix doc typos

5 years agocorrect CallCC signature
Ross Paterson [Sat, 19 Apr 2014 23:22:32 +0000 (23:22 +0000)] 
correct CallCC signature

5 years agoadd instance Alternative IO
Ross Paterson [Sat, 19 Apr 2014 23:21:01 +0000 (23:21 +0000)] 
add instance Alternative IO

5 years agoadd ExceptT transformer and deprecate ErrorT
Ross Paterson [Tue, 25 Feb 2014 17:42:26 +0000 (17:42 +0000)] 
add ExceptT transformer and deprecate ErrorT

5 years agonote non-strict
Ross Paterson [Tue, 25 Feb 2014 17:41:25 +0000 (17:41 +0000)] 
note non-strict

5 years agonotes on strict monads
Ross Paterson [Tue, 25 Feb 2014 17:40:40 +0000 (17:40 +0000)] 
notes on strict monads

5 years agoadd infixr 9 `Compose` to match (.)
Ross Paterson [Fri, 13 Sep 2013 17:48:33 +0000 (17:48 +0000)] 
add infixr 9 `Compose` to match (.)

following a suggestion by Bas van Dijk and discussion on the libraries list.

This isn't standard Haskell, but it doesn't actually do much unless
imported by a module with LANGUAGE TypeOperators, so it's harmless for
standard Haskell code but may be useful in GHC Haskell.

5 years agofix typo
Ross Paterson [Fri, 23 Aug 2013 17:02:54 +0000 (17:02 +0000)] 
fix typo

5 years agodoc updates for MonadTrans
Ross Paterson [Fri, 23 Aug 2013 16:56:56 +0000 (16:56 +0000)] 
doc updates for MonadTrans

6 years agotweak spacing for consistency
Ross Paterson [Thu, 22 Aug 2013 16:45:52 +0000 (16:45 +0000)] 
tweak spacing for consistency

6 years agorevise MaybeT docs to speak of exiting rather than failure
Ross Paterson [Wed, 14 Aug 2013 18:20:48 +0000 (18:20 +0000)] 
revise MaybeT docs to speak of exiting rather than failure

6 years agotweak formatting for consistency
Ross Paterson [Tue, 18 Jun 2013 13:04:16 +0000 (13:04 +0000)] 
tweak formatting for consistency

6 years agodocument helper functions in Data.Functor.Classes
Ross Paterson [Tue, 18 Jun 2013 11:00:47 +0000 (11:00 +0000)] 
document helper functions in Data.Functor.Classes

6 years agoRead instances
Ross Paterson [Mon, 27 May 2013 13:49:56 +0000 (13:49 +0000)] 
Read instances

6 years agobump major version number due to changes in newtypes
Ross Paterson [Sun, 26 May 2013 16:13:39 +0000 (16:13 +0000)] 
bump major version number due to changes in newtypes

6 years agoeliminate record syntax for newtypes, for simpler Show instances
Ross Paterson [Sun, 26 May 2013 16:12:34 +0000 (16:12 +0000)] 
eliminate record syntax for newtypes, for simpler Show instances

6 years agodocument conventions
Ross Paterson [Sun, 26 May 2013 14:06:52 +0000 (14:06 +0000)] 
document conventions

6 years agoformat boring instances more concisely
Ross Paterson [Thu, 23 May 2013 23:30:54 +0000 (23:30 +0000)] 
format boring instances more concisely