concrete functor and monad transformers (fork of ross's transformers)

simplify return defn; consistent lazy matching; whitespace

Ross PatersonThu Apr 28 15:15:22 UTC 2016

rename monad transformations for consistency, and generalize them from Monad to Functor

Ross PatersonWed Apr 27 15:48:32 UTC 2016

Fix export list and warnings

fizrukTue Apr 26 23:35:49 UTC 2016

Add AccumT monad transformer (see #24)

fizrukTue Apr 26 23:26:47 UTC 2016

Backport Eq1/Ord1/Read1/Show1 instances for Proxy

RyanGlScottSun Apr 17 15:35:36 UTC 2016

Backport Num/Bits/IsString/etc. instances for Identity

RyanGlScottMon Apr 11 14:01:55 UTC 2016

TAG 0.5.2.0

Ross PatersonWed Feb 17 12:22:21 UTC 2016

update changelog for 0.5.2.0

Ross PatersonWed Feb 17 10:38:37 UTC 2016

bump minor version (orphan instances re-added)

Ross PatersonWed Feb 17 10:34:48 UTC 2016

add INLINE pragmas

(suggested by Oliver Charles)

Ross PatersonTue Feb 16 11:07:58 UTC 2016

re-instate orphan instances Alternative (Either e) and MonadPlus (Either e) (fixes #22)

Ross PatersonThu Feb 11 18:20:27 UTC 2016

document unusualness of contT

Ross PatersonThu Feb 11 18:18:25 UTC 2016

document lift as a natural transformation in the category of monads

Ross PatersonThu Feb 11 18:17:38 UTC 2016

TAG 0.5.1.0

Ross PatersonSun Jan 17 15:48:05 UTC 2016

Bump minor version number to 0.5.1.0, required by added instances

Ross PatersonSun Jan 17 15:47:13 UTC 2016

TAG 0.5.0.2

Ross PatersonSun Jan 17 02:44:48 UTC 2016

pathch-level release 0.5.0.2

Ross PatersonSun Jan 17 02:39:49 UTC 2016

TAG 0.5.0.1

Ross PatersonSun Jan 17 02:27:07 UTC 2016

patch-level release

Ross PatersonSun Jan 17 02:25:44 UTC 2016

Require GHC >= 7.0 for DeriveDataTypeable (fixes #19)

It seems it was buggy in 6.12.

Ross PatersonSun Jan 17 02:21:58 UTC 2016

Require GHC >= 7.6 for PolyKinds (fixes #20)

Ross PatersonSun Jan 17 01:57:21 UTC 2016

Backport Bounded, Enum, Ix, and Storable instances for Identity

These instances were added to base-4.9.0.0

RyanGlScottTue Dec 22 00:14:03 UTC 2015

TAG 0.5.0.0

Ross PatersonSun Dec 20 13:14:35 UTC 2015

minor changelog cleanup

Ross PatersonThu Dec 17 17:40:40 UTC 2015

simply Cabal file a little

Ross PatersonThu Dec 17 17:31:48 UTC 2015

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).

RyanGlScottThu Dec 17 17:09:19 UTC 2015

bump version number in preparation for release

Ross PatersonWed Dec 16 13:53:02 UTC 2015

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).

Ross PatersonWed Dec 16 13:48:26 UTC 2015

update changelog

Ross PatersonTue Dec 15 19:42:34 UTC 2015

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.

Ross PatersonWed Dec 16 00:01:44 UTC 2015