5.1.2
- Added
Prep
and Coprep
along with witnesses to the adjunctions Prep -| Star : [Hask,Hask] -> Prof
and Coprep -| Costar : [Hask,Hask]^op -> Prof
.
5.1.1
- Add proper support for GHC 7.0+.
5.1
instance Costrong (Cokleisli f)
.
instance Cochoice (Star f)
.
- Changed the instance for
Cochoice (Costar f)
.
5.0.1
- MINIMAL pragma for
Costrong
and Cochoice
.
- More
Costrong
and Cochoice
instances.
5.0.0.1
5
UpStar
and DownStar
have become Star
and Costar
. Star
is analogous to Kleisli
, Costar
is analogous to Cokleisli
.
- Split representability into sieves and representability.
- Moved
Data.Profunctor.Collage
to semigroupoids
5, and removed the semigroupoids
dependency.
- Rather greatly widened the range of GHC versions we can support.
4.4.1
- Using
SafeHaskell
, GHC 7.8+ Data.Profunctor.Unsafe
now infers as Trustworthy
and
many more modules now infer as Safe
.
- We now build warning-free on GHC 7.10.0.20150307
4.4
- Added
Coercible
constraint to (#.) and (.#) when building with GHC 7.8
Strong
is now a superclass of Representable
- Updated the URL of the "Arrows are Strong Monads" paper. The old URL is now a dead link.
4.3.2
- Added some missing instances for
UpStar
and DownStar
.
4.3
- Removed the non law-abiding instance for
Closed (Forget r)
Forget
is Representable
- MINIMAL pragmas
4.2.0.1
- Avoided using 'type' in the export list, as that doesn't work on 7.4.
4.2
- Renamed
-|
to ProfunctorAdjunction
because GHC 7.4 still exists in the wild.
- Renamed
-/->
to :->
for the same reason. Also the former was confusing as they conflated profunctor homomorphisms and profunctors themselves.
4.1
- Flipped the order of 'Procompose'
- Added the notion of Monads and Comonads on the category of profunctors.
- Added 'Cayley' which takes normal Haskell Monads and Comonads to a 'ProfunctorMonad' and 'ProfunctorComonad' respectively. Cayley is also known as the 'static arrow' construction
- Added 'Closed' which is adjoint to 'Strong'.
- Added 'Closure' which freely adjoins 'Closed' to any 'Profunctor'.
- Added 'Tambara' which freely adjoins 'Strong' to any 'Profunctor'.
- Added 'Cotambara' which freely adjoins 'Choice' to any 'Profunctor'.
- Under the new 'Procompose' the old 'Rift' is now 'Ran', and the old 'Lift' was misnamed. It is now 'Rift'
4.0.3
- Added
Data.Profunctor.Lift
containing the left Kan lift of a profunctor.
4.0.2
- Added
assoc
to Data.Profunctor.Composition
so that we have all 3 associators.
4.0
- Merged the contents of
profunctor-extras
into profunctors
.
3.3
- Added
instance Choice (Upstar f)
and introduced Forget
.
3.2
- Renamed
Lenticular
and Prismatic
to Strong
and Choice
, and restructured them.
3.1.3
- Removed upper bounds on my own intra-package dependencies
3.1.1
- Added Documentation!
- Added
Lenticular
and Prismatic
Profunctors
3.1
- instance Profunctor Tagged
3.0
- Updated version number to match the rest of my libraries