Metadata revisions for constrained-normal-1.0.0

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 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 2013-03-29T04:47:19Z NeilSculthorpe 954440a427950196135461bdcb45c8158bd88aebbd9d76edf62dc605884382ab