Package maintainers and Hackage trustees are allowed to edit certain bits
of package metadata after a release, without uploading a new tarball.
Note that the tarball itself is never changed, just the metadata that is
stored separately. For more information about metadata revisions, please
refer to the
Hackage Metadata Revisions FAQ.
No. |
Time |
User |
SHA256 |
-r1 (constrained-normal-1.0.0-r1) |
2018-02-28T09:30:29Z |
NeilSculthorpe |
c9fc3be2ef76978a14774fd6ed899a1b68711880d4388642441f8d56fbc5ed4f
|
|
Changed maintainer
from Neil Sculthorpe <neil@ittc.ku.edu>
to Neil Sculthorpe <neil.sculthorpe@ntu.ac.uk> Changed description
from The package provides normal forms for monads and related structures, similarly to the Operational package.
The difference is that we parameterise the normal forms on a constraint, and apply that constraint to all
existential types within the normal form.
This allows monad (and other) instances to be generated for underlying types that require constraints on
their return-like and bind-like operations, e.g. Set.
This is documented in the following paper:
The Constrained-Monad Problem. Neil Sculthorpe and Jan Bracker and George Giorgidze and Andy Gill. 2013.
<http://www.ittc.ku.edu/~neil/papers_and_talks/constrained-monad-problem.pdf>
The functionality exposed by this library is also used internally by the Set-Monad and RMonad packages.
to The package provides normal forms for monads and related structures, similarly to the Operational package.
The difference is that we parameterise the normal forms on a constraint, and apply that constraint to all
existential types within the normal form.
This allows monad (and other) instances to be generated for underlying types that require constraints on
their return-like and bind-like operations, e.g. Set.
This is documented in the following paper:
The Constrained-Monad Problem. Neil Sculthorpe and Jan Bracker and George Giorgidze and Andy Gill. 2013.
<http://dx.doi.org/10.1145/2500365.2500602>
The functionality exposed by this library is also used internally by the Set-Monad and RMonad packages.
|
-r0 (constrained-normal-1.0.0-r0) |
2013-03-29T04:47:19Z |
NeilSculthorpe |
954440a427950196135461bdcb45c8158bd88aebbd9d76edf62dc605884382ab
|
|
|