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

TAG 0.5.6.2

Ross PatersonSat Feb 2 01:03:41 UTC 2019

bump patch level to 0.5.6.2

Ross PatersonSat Feb 2 01:02:48 UTC 2019

Further backward compatability fix

Ross PatersonSat Feb 2 01:02:23 UTC 2019

TAG 0.5.6.1

Ross PatersonSat Feb 2 00:48:22 UTC 2019

bump version to 0.5.6.1

Ross PatersonSat Feb 2 00:47:51 UTC 2019

backward compatability for MonadFix ListT instance

Ross PatersonSat Feb 2 00:45:16 UTC 2019

TAG 0.5.6.0

Ross PatersonSat Feb 2 00:12:41 UTC 2019

bump version to 0.5.6.0

Ross PatersonSat Feb 2 00:11:19 UTC 2019

specialized definition of liftA2 for ReaderT (#57)

Ross PatersonFri Feb 1 21:50:37 UTC 2019

generalize except (suggested by Simon Hengel)

Ross PatersonWed Jan 9 23:33:50 UTC 2019

Make compatible with upcoming base-4.13

hvrWed Dec 19 09:56:30 UTC 2018

continuation-passing versions of Writer and RWS by minad (fixes #31)

copied from the writer-cps-transformers package with formatting tweaks

Ross PatersonThu Nov 22 07:44:58 UTC 2018

Fix ReaderT's kind

ReaderT's kind was * -> (k -> ) -> k -> , but this was clearly a mistake, since monads have kind (* -> *).

gelisamMon Sep 24 12:58:48 UTC 2018

fix doc of Control.Monad.Trans.Except.catchE (fixes #59)

Ross PatersonThu Sep 6 11:30:21 UTC 2018

Migrate Contravariant instances

These were originally defined in the contravariant library. The Data.Contravariant module will be moved to base in base-4.12 (GHC 8.6), so this commit moves the corresponding instances to transformers to accommodate the migration.

RyanGlScottThu Apr 19 21:02:38 UTC 2018

add pointer to monadic parser article to example

Ross PatersonWed Mar 21 18:27:26 UTC 2018

doc grammar fix (#46)

Ross PatersonSat Nov 25 17:29:18 UTC 2017

instance MonadFix m => MonadFix (ListT m)

by M Farkas-Dyck (but note that ListT is deprecated)

Ross PatersonSun Oct 15 22:45:06 UTC 2017

TAG 0.5.5.0

Ross PatersonWed Oct 4 16:01:06 UTC 2017

bump minor version number

Ross PatersonWed Oct 4 15:58:31 UTC 2017

Define custom (*>) for various transformers to fix space leaks (fixes #33)

from Andrzej Rybczak

Ross PatersonWed Oct 4 15:50:40 UTC 2017

Canonicalise Monad instances again (fixes #45)

From Herbert Valerio Riedel

This fixes a minor regression causing validation errors in GHC HEAD

Ross PatersonSat Sep 2 10:25:47 UTC 2017

Explain the acryonym "CPS" in the first place it is used

chris-martinSat Aug 12 03:59:25 UTC 2017

Add missing Semigroup instance to `Constant` functor (fixes #44)

From Herbert Valerio Riedel

This is needed for moving forward with https://prime.haskell.org/wiki/Libraries/Proposals/SemigroupMonoid

Ross PatersonSat Sep 2 08:55:03 UTC 2017

rename heading for consistency

Ross PatersonMon May 8 16:53:12 UTC 2017

add mapSelect and mapSelectT

Ross PatersonMon May 8 16:51:48 UTC 2017

rename selectToCont to selectToContT for consistency

Ross PatersonMon May 8 16:48:54 UTC 2017

direct definition of pure/return for MaybeT (fixes #39)

Ross PatersonSun Apr 2 08:33:10 UTC 2017

TAG 0.5.4.0

Ross PatersonSat Feb 18 16:45:44 UTC 2017

bump minor version (migrated instances)

Ross PatersonSat Feb 18 16:44:56 UTC 2017