darcs-mirrors/transformers.git
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 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 0_4_1_0
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 0_4_0_0
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.

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

6 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

6 years agoadd Eq and Ord instances for Compose
Ross Paterson [Thu, 23 May 2013 23:30:15 +0000 (23:30 +0000)] 
add Eq and Ord instances for Compose

6 years agoadd Eq, Ord and Show instances where possible
Ross Paterson [Thu, 23 May 2013 16:41:40 +0000 (16:41 +0000)] 
add Eq, Ord and Show instances where possible

To do this within standard Haskell, we need liftings Eq1, Ord1 and Show1
of these classes to unary type constructors.  The Show instance for
Compose (suggested by Henning Thielemann) is a bit clunky, but the
alternatives are worse.

6 years agoadd delimited continuations
Ross Paterson [Thu, 23 May 2013 16:40:50 +0000 (16:40 +0000)] 
add delimited continuations

6 years agostop importing Control.Monad.Instances for base >= 4.6
Ross Paterson [Tue, 21 May 2013 16:24:53 +0000 (16:24 +0000)] 
stop importing Control.Monad.Instances for base >= 4.6

6 years agoremove accidental leakage
Ross Paterson [Sun, 9 Dec 2012 11:05:00 +0000 (11:05 +0000)] 
remove accidental leakage

6 years agoadd missing file Control/Monad/Signatures.hs
Ross Paterson [Fri, 7 Dec 2012 13:46:45 +0000 (13:46 +0000)] 
add missing file Control/Monad/Signatures.hs

7 years agobump minor version (extra names added)
Ross Paterson [Thu, 28 Jun 2012 22:48:25 +0000 (22:48 +0000)] 
bump minor version (extra names added)

7 years agoold tag: 0.3.0.0
Ross Paterson [Thu, 28 Jun 2012 22:46:17 +0000 (22:46 +0000)] 
old tag: 0.3.0.0

7 years agoturn off orphan warnings for Control.Monad.Trans.Error
Ross Paterson [Thu, 28 Jun 2012 22:36:55 +0000 (22:36 +0000)] 
turn off orphan warnings for Control.Monad.Trans.Error

7 years agoavoid shadowing
Ross Paterson [Thu, 28 Jun 2012 22:29:44 +0000 (22:29 +0000)] 
avoid shadowing

7 years agounused variables in patterns
Ross Paterson [Sat, 23 Jun 2012 17:27:47 +0000 (17:27 +0000)] 
unused variables in patterns

7 years agoremove superfluous imports
Ross Paterson [Sat, 23 Jun 2012 17:25:54 +0000 (17:25 +0000)] 
remove superfluous imports

7 years agouniform formatting (no functional change)
Ross Paterson [Wed, 23 May 2012 09:11:23 +0000 (09:11 +0000)] 
uniform formatting (no functional change)

7 years agoexpand description
Ross Paterson [Tue, 1 May 2012 17:02:13 +0000 (17:02 +0000)] 
expand description

7 years agointroduce type synonyms for signatures of complex operations
Ross Paterson [Tue, 1 May 2012 08:19:36 +0000 (08:19 +0000)] 
introduce type synonyms for signatures of complex operations

7 years ago3-layer example
Ross Paterson [Tue, 1 May 2012 08:15:57 +0000 (08:15 +0000)] 
3-layer example

7 years agobump cabal version (uses source-repository)
Ross Paterson [Thu, 22 Mar 2012 15:58:59 +0000 (15:58 +0000)] 
bump cabal version (uses source-repository)

7 years agoexpand definitions of censor, gets, listens and modify to avoid redundant binds
Ross Paterson [Thu, 8 Mar 2012 17:56:33 +0000 (17:56 +0000)] 
expand definitions of censor, gets, listens and modify to avoid redundant binds

7 years agodoc tweaks
Ross Paterson [Thu, 8 Mar 2012 00:32:23 +0000 (00:32 +0000)] 
doc tweaks

7 years agoupdate doc comments
Ross Paterson [Sun, 4 Mar 2012 00:34:00 +0000 (00:34 +0000)] 
update doc comments

7 years agorename Fallback as Lift
Ross Paterson [Sat, 18 Feb 2012 01:04:58 +0000 (01:04 +0000)] 
rename Fallback as Lift

7 years agoadd source repo location
Ross Paterson [Sat, 18 Feb 2012 01:04:17 +0000 (01:04 +0000)] 
add source repo location

7 years agoidentify reader and asks
Ross Paterson [Sat, 18 Feb 2012 01:03:19 +0000 (01:03 +0000)] 
identify reader and asks

7 years agoidentify reader and asks
Ross Paterson [Wed, 25 Jan 2012 12:48:47 +0000 (12:48 +0000)] 
identify reader and asks

7 years agogeneralized state, reader and writer constructor functions
Ross Paterson [Wed, 25 Jan 2012 02:43:52 +0000 (02:43 +0000)] 
generalized state, reader and writer constructor functions

Generalized to the monad transformer, as suggested by Twan van Laarhoven.

7 years agobackwards compatibility
Ross Paterson [Wed, 25 Jan 2012 02:31:47 +0000 (02:31 +0000)] 
backwards compatibility

8 years agofix typo reported by Patrick Palka
Ross Paterson [Sat, 13 Aug 2011 09:36:23 +0000 (09:36 +0000)] 
fix typo reported by Patrick Palka

8 years agobump version number
Ross Paterson [Sat, 23 Jul 2011 07:55:17 +0000 (07:55 +0000)] 
bump version number

adding instances for existing types required a new major version

8 years agoadd Fallback transformer, a generalization of Errors
Ross Paterson [Sat, 23 Jul 2011 07:54:21 +0000 (07:54 +0000)] 
add Fallback transformer, a generalization of Errors

8 years agoadd Backwards/Reverse suggested by Russell O'Connor
Ross Paterson [Sat, 23 Jul 2011 07:53:26 +0000 (07:53 +0000)] 
add Backwards/Reverse suggested by Russell O'Connor

8 years agodrop reference to monads-fd
Ross Paterson [Sat, 9 Jul 2011 17:48:57 +0000 (17:48 +0000)] 
drop reference to monads-fd

8 years agofix typo reported by Yitzchak Gale
Ross Paterson [Thu, 23 Jun 2011 16:49:29 +0000 (16:49 +0000)] 
fix typo reported by Yitzchak Gale

8 years agouse catchIOError instead of deprecated catch for base > 4.3.1
Ross Paterson [Tue, 24 May 2011 00:11:10 +0000 (00:11 +0000)] 
use catchIOError instead of deprecated catch for base > 4.3.1

8 years agoadd MonadFix instance for MaybeT
Ross Paterson [Fri, 8 Apr 2011 13:53:39 +0000 (13:53 +0000)] 
add MonadFix instance for MaybeT

suggested by Job Vranish.

8 years agoadd MonadFix instance for IdentityT
Ross Paterson [Fri, 8 Apr 2011 13:53:19 +0000 (13:53 +0000)] 
add MonadFix instance for IdentityT

8 years agotrim white space
Ross Paterson [Fri, 8 Apr 2011 13:52:24 +0000 (13:52 +0000)] 
trim white space

8 years agoadd Foldable and Traversable instances
Ross Paterson [Fri, 8 Apr 2011 12:17:31 +0000 (12:17 +0000)] 
add Foldable and Traversable instances

Proposed by Edward Kmett on the libraries list in January 2011.

8 years agoadd Monad instances for Product
Ross Paterson [Fri, 8 Apr 2011 12:15:33 +0000 (12:15 +0000)] 
add Monad instances for Product

Proposed by Edward Kmett on the libraries list, January 2011.

8 years agobump version number to 0.2.2.0 0_2_2_0
Ross Paterson [Fri, 8 Apr 2011 12:09:47 +0000 (12:09 +0000)] 
bump version number to 0.2.2.0

9 years agooops: delete testing comment
Ross Paterson [Sat, 7 Aug 2010 22:59:05 +0000 (22:59 +0000)] 
oops: delete testing comment

9 years agofix location of LICENSE file
Ross Paterson [Sat, 7 Aug 2010 22:40:09 +0000 (22:40 +0000)] 
fix location of LICENSE file

9 years agoreformat comments in Error.hs to match the others
Ross Paterson [Sat, 7 Aug 2010 18:00:11 +0000 (18:00 +0000)] 
reformat comments in Error.hs to match the others

9 years agochange maintainer to ross@soi.city.ac.uk
Ross Paterson [Sat, 7 Aug 2010 17:54:49 +0000 (17:54 +0000)] 
change maintainer to ross@soi.city.ac.uk

9 years agocope with move of Either instances to base package
Ross Paterson [Fri, 6 Aug 2010 09:26:09 +0000 (09:26 +0000)] 
cope with move of Either instances to base package

9 years agoadd some documentation 0_2_1_0
Ross Paterson [Sat, 24 Apr 2010 18:38:20 +0000 (18:38 +0000)] 
add some documentation