[Bug 630283] New: Review Request: ghc-neither - Either with monad and applicative instances

bugzilla at redhat.com bugzilla at redhat.com
Sat Sep 4 16:22:10 UTC 2010


Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

Summary: Review Request: ghc-neither - Either with monad and applicative instances

https://bugzilla.redhat.com/show_bug.cgi?id=630283

           Summary: Review Request: ghc-neither - Either with monad and
                    applicative instances
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: medium
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: mathstuf at gmail.com
         QAContact: extras-qa at fedoraproject.org
                CC: notting at redhat.com, fedora-package-review at redhat.com
   Estimated Hours: 0.0
    Classification: Fedora


Spec URL: http://benboeckel.net/packaging/ghc-neither/ghc-neither.spec
SRPM URL:
http://benboeckel.net/packaging/ghc-neither/ghc-neither-0.0.2-1.fc14.src.rpm
Description:
The standard Either datatype suffers from a lack of monad and
applicative instances. To make matters worse, the mtl and
transformers packages provide orphan instances which conflict
with each other, as well as defining a transformer version
which has an usually unnecessary superclass constraint.

Besides these annoyances, there is another issue: there exist
two reasonable definitions of the Applicative instance for
Either: one the holds onto only the first Left value, or one
that appends all Left values together via a Monoid instance.
The former is compatible with the monad instance, while the
latter is not.

This package defines three datatypes, some helpers functions
and instances. The data types are AEither, MEither and
MEitherT. AEither provides an Applicative instance which
appends Left values, MEither provides the monadic definition,
and MEitherT is a monad transformer.

% lintmock fedora-14-x86_64-bb
ghc-neither.src: W: spelling-error %description -l en_US datatype -> data type,
data-type, database
ghc-neither.src: W: spelling-error %description -l en_US mtl -> mt, ml, mel
ghc-neither.src: W: spelling-error %description -l en_US datatypes -> data
types, data-types, databases
ghc-neither.src: W: spelling-error %description -l en_US AEither -> A Either,
Aether, Either
ghc-neither.src: W: strange-permission neither-0.0.2.tar.gz 0640L
ghc-neither.src: W: strange-permission ghc-neither.spec 0640L
ghc-neither.x86_64: W: spelling-error %description -l en_US datatype -> data
type, data-type, database
ghc-neither.x86_64: W: spelling-error %description -l en_US mtl -> mt, ml, mel
ghc-neither.x86_64: W: spelling-error %description -l en_US datatypes -> data
types, data-types, databases
ghc-neither.x86_64: W: spelling-error %description -l en_US AEither -> A
Either, Aether, Either
ghc-neither-devel.x86_64: W: spelling-error %description -l en_US datatype ->
data type, data-type, database
ghc-neither-devel.x86_64: W: spelling-error %description -l en_US mtl -> mt,
ml, mel
ghc-neither-devel.x86_64: W: spelling-error %description -l en_US datatypes ->
data types, data-types, databases
ghc-neither-devel.x86_64: W: spelling-error %description -l en_US AEither -> A
Either, Aether, Either
ghc-neither-prof.x86_64: E: devel-dependency ghc-neither-devel
ghc-neither-prof.x86_64: W: spelling-error %description -l en_US datatype ->
data type, data-type, database
ghc-neither-prof.x86_64: W: spelling-error %description -l en_US mtl -> mt, ml,
mel
ghc-neither-prof.x86_64: W: spelling-error %description -l en_US datatypes ->
data types, data-types, databases
ghc-neither-prof.x86_64: W: spelling-error %description -l en_US AEither -> A
Either, Aether, Either
ghc-neither-prof.x86_64: W: no-documentation
ghc-neither-prof.x86_64: W: devel-file-in-non-devel-package
/usr/lib64/ghc-6.12.3/neither-0.0.2/libHSneither-0.0.2_p.a
4 packages and 0 specfiles checked; 1 errors, 20 warnings.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.



More information about the package-review mailing list