- Libraries - Haskell.org

Re: List-0.4.3 (and hexpat)
by Christian Maeder 16 Aug '12

16 Aug '12

Thanks for your prompt response and action! Am 15.08.2012 23:46, schrieb Yair Chuchem: > Hi Christian, > > Please try again now (after a cabal update). > I uploaded List-0.4.4 which removes mapMaybe, and then also uploaded > List-0.5.0 which re-adds it. > hexpat should now be using List-0.4.4 as it wants List < 0.5 > > I'll follow up with a few steps: > * Make myself a rule to test installing hexpat before I push updates to > List in future. > * Contact Stephen to change hexpat to not use unqualified open imports, > at least for List. His email was not in the package description. Christian > * Add docs to my package warning users that using it with unqualified > open imports may be more dangerous than usual (btw unqualified open > imports are always dangerous) because List exports functions which > generalize Prelude functions and shares their names by design. Similar > to how Control.Category exports "." and "id". > > Cheers & Happy coding, > Yair

1 0

List-0.4.3
by Christian Maeder 15 Aug '12

15 Aug '12

Hi, The change in package List-0.4.3 cause hexpat to fail. (It works with List-0.4.2 without "mapMaybe") C. Resolving dependencies... Downloading hexpat-0.20.2... Configuring hexpat-0.20.2... Building hexpat-0.20.2... Preprocessing library hexpat-0.20.2... [ 1 of 12] Compiling Text.XML.Expat.Internal.IO ( Text/XML/Expat/Internal/IO.hs, dist/build/Text/XML/Expat/Internal/IO.o ) [ 2 of 12] Compiling Text.XML.Expat.SAX ( Text/XML/Expat/SAX.hs, dist/build/Text/XML/Expat/SAX.o ) [ 3 of 12] Compiling Text.XML.Expat.Internal.NodeClass ( Text/XML/Expat/Internal/NodeClass.hs, dist/build/Text/XML/Expat/Internal/NodeClass.o ) [ 4 of 12] Compiling Text.XML.Expat.Internal.Qualified ( Text/XML/Expat/Internal/Qualified.hs, dist/build/Text/XML/Expat/Internal/Qualified.o ) [ 5 of 12] Compiling Text.XML.Expat.Internal.Namespaced ( Text/XML/Expat/Internal/Namespaced.hs, dist/build/Text/XML/Expat/Internal/Namespaced.o ) [ 6 of 12] Compiling Text.XML.Expat.Tree ( Text/XML/Expat/Tree.hs, dist/build/Text/XML/Expat/Tree.o ) [ 7 of 12] Compiling Text.XML.Expat.Cursor ( Text/XML/Expat/Cursor.hs, dist/build/Text/XML/Expat/Cursor.o ) [ 8 of 12] Compiling Text.XML.Expat.Internal.DocumentClass ( Text/XML/Expat/Internal/DocumentClass.hs, dist/build/Text/XML/Expat/Internal/DocumentClass.o ) [ 9 of 12] Compiling Text.XML.Expat.Extended ( Text/XML/Expat/Extended.hs, dist/build/Text/XML/Expat/Extended.o ) Text/XML/Expat/Extended.hs:372:25: Ambiguous occurrence `mapMaybe' It could refer to either `Data.List.Class.mapMaybe', imported from `Data.List.Class' at Text/XML/Expat/Extended.hs:83:1-22 or `Data.Maybe.mapMaybe', imported from `Data.Maybe' at Text/XML/Expat/Extended.hs:84:1-17 cabal: Error: some packages failed to install: hexpat-0.20.2 failed during the building phase. The exception was: ExitFailure 1

1 0

gearing up for 2012.4.0.0
by Mark Lentczner 15 Aug '12

15 Aug '12

It's that time again.... time to get cooking on another tasty Haskell Platform release! Here's my updated timeline for 2012.4.0.0, target: *November 12th, 2012* - *August 20th, 2012* - Call for proposals for additions and changes - *September 17th, 2012* - Call for proposals ends (no more proposals considered) - *October 1st, 2012* - Proposals decided, Initial version list - *October 15th, 2012* - First candidates - *October 29th, 2012* - Open issues resolved, Second candidates - *November 5th, 2012* - Final release candidates *If you are maintainer of a library in the platform:* Please start thinking about which version of your library should be in the release. If it will require coordination with versions of other libraries in the platform, now is the time to start coordinating. In mid-september, we will need to hear from the maintainers which version should be included: *I will not automatically bump to the latest version on Hackage for this release.* * * *If you are a maintainer of a library that you'd like to be in the platform: * Now is the time to get a clean version on Hackage, and then put together a proposal for the haskell-platform list. Please see the process for Adding Packages <http://trac.haskell.org/haskell-platform/wiki/AddingPackages>. *If you are part of the reviewing process:* Traditionally, proposals have been accompanied by lengthly discussions, often resulting in deep API design confabs. As we are approaching a release, I'd like to ask all to consider making this round more succinct if at all possible. In particular, it would be great if proposals were keyed to specific revisions of a library to be considered. If consensus is that something needs to be changed before inclusion - it would be best if maintainers took that input into account, turned another library version and placed that up for consideration. Please note the schedule: I'm going to hold October 1st firm. *If you are GHC Central: *I couldn't find a timeline for 7.6. Will that have hit a stable release by October 1st, or should we be planning on shipping 7.4.2 (which I think would be fine.) *If you are a packager or builder of HP releases: *Please review the trac ticket list <http://trac.haskell.org/haskell-platform/report/3>. Please edit tickets to reflect reality: Close things that are fixed or won't ever be done. Edit descriptions with more information if you have it. But most importantly, please assign milestones correctly: If you are going to fix something this time - put it in the 2012.4.0.0 milestone. If it is for the future, put it in Blue Sky. - Mark "mzero" Lentczner, Chef de la Release

3 3

Re: Small problem in containers-0.5.0.0 docs
by Johan Tibell 01 Aug '12

01 Aug '12

Fixed. Thanks for the bug report! In the future you can file reports at https://github.com/haskell/containers/issues to make sure I don't forget about them! :) On Wed, Aug 1, 2012 at 6:30 AM, Christoph Breitkopf <chbreitkopf(a)gmail.com> wrote: > Hello, > > the haddoc sources refer to the strict/lazy modules using single quotes, > which does not work, as is is interpreted as a type reference > (.../Data-Map.html#t:Strict). Replacing the single quotes by double quotes > for a module reference fixes this. (I just had the same problem in > IntervalMap). > > I spotted the problem in Data.Map, but it's probably also present in other > modules. > > Regards, > > Chris

1 0

Re: safe vs. unsafe (Was: Haskell Platform proposal: Add the vector package)
by Simon Marlow 30 Jul '12

30 Jul '12

On 13/07/2012 01:31, Bardur Arantsson wrote: > On 07/12/2012 11:16 PM, Simon Marlow wrote: >> Hi Thomas, >> >> All these questions are answered by the Haskell Symposium paper, which >> we'll post very shortly. > > THANK YOU! This discussion has been ridiculuously abstract and confusing > without any real (canonical) definition of the terms that are being > bandied about. Here it is: http://community.haskell.org/~simonmar/papers/safe-haskell.pdf Cheers, Simon

2 2

Proposal: Add the missing instances for Traversable (Either b) and Traversable ((,) b)
by Edward Kmett 30 Jul '12

30 Jul '12

The following instances are missing and have only one sensible definition. I've been bitten by their lack repeatedly and there is no place outside of base that they can live without needlessly being orphaned. I would like to propose adding the following instances to Data.Foldable and Data.Traversable. instance Foldable (Either e) where foldMap f (Right m) = f m foldMap _ (Left _) = mempty instance Traversable (Either e) where traverse _ (Left e) = pure (Left e) traverse f (Right x) = Right <$> f x instance Foldable ((,) e) where foldMap f (_,x) = f x instance Traversable ((,) e) where traverse f (e ,x) = (,) e <$> f x I had thought honestly thought we'd already added them long ago. Discussion Period: 2 Weeks -Edward Kmett On Tue, Jan 3, 2012 at 7:50 PM, Ben Millwood <haskell(a)benmachine.co.uk>wrote: > Yeah, I noticed this the other day, and a couple of other instances > which aren't defined, but could be: > > http://hpaste.org/56005 > > I won't pretend I have much use for the Const instance, but it seems > like it should be there anyway, just for completeness (I think it's > possible to define Traversable instances for compositions of functors, > possibly sums and products as well, so Const could be useful in that > context). I think the Either one makes sense, though, as a natural > analogue of the Maybe instance. > > On Tue, Jan 3, 2012 at 11:41 PM, Conal Elliott <conal(a)conal.net> wrote: > > Thanks much for the answers, Conor. They all make sense to me, > particularly > > about the typical information discarding in Foldable. > > > > Regards, - Conal > > > > > > On Tue, Jan 3, 2012 at 3:30 PM, Conor McBride < > conor(a)strictlypositive.org> > > wrote: > >> > >> > >> On 3 Jan 2012, at 23:12, Conal Elliott wrote: > >> > >>> I wanted a Traversable instance for pairing, so I defined one: > >>> > instance Traversable ((,) o) where > >>> > sequenceA (o,fa) = (o,) <$> fa > >> > >> > >> That looks right. Of course, we should really have a BiTraversable > >> class of which (,) is an instance. > >> > >> > >>> > >>> However, Foldable is a superclass of Traversable, so I get an error > >>> message: > >>> > >>> Could not deduce (Foldable ((,) o)) from the context () > >>> arising from the superclasses of an instance declaration > >>> > >>> The best I've thought of is the following: > >>> > >>> > instance Foldable ((,) o) where > >>> > fold (_,m) = m > >> > >> > >> The best (upto efficiency considerations) is always > >> > >> > >> instance Foldable ((,) o) where > >> foldMap = foldMapDefault > >> > >> which amounts to what you chose. > >> > >> SHE makes this a default superclass instance. > >> > >> > >>> However, I don't like how it discards information. > >> > >> > >> But these folds always do discard information, discarding the shape > >> information and accumulating over the contents. For ((,) o), seen as > >> a functor, the first component is shape information and the second is > >> the content. > >> > >> > >>> Some questions: > >>> > >>> * Why is Foldable a superclass of Traversable? > >> > >> > >> Because the constant-monoid Applicative makes every Traversable > >> Foldable in a uniform way. > >> > >> > >>> * Is there a good choice of a Foldable instance of ((,) o)? > >> > >> > >> Yes, the one you chose. > >> > >> > >>> * Are there any other problems with the Traversable instance above > >>> (besides foldability)? > >> > >> > >> Nope. It's the Traversable instance which picks out exactly the > >> contents that correspond to the elements abstracted by the Functor. > >> > >> All the best > >> > >> Conor > >> > > > > > > _______________________________________________ > > Libraries mailing list > > Libraries(a)haskell.org > > http://www.haskell.org/mailman/listinfo/libraries > > > > _______________________________________________ > Libraries mailing list > Libraries(a)haskell.org > http://www.haskell.org/mailman/listinfo/libraries >

4 4

Proposal: Add hasBitSize to Data.Bits.Bits
by Edward Kmett 27 Jul '12

27 Jul '12

There is currently no way to know whether or not calling Data.Bits.bitSizewill crash your program. I propose extending the Bits class to include: hasBitSize :: Bits b => b -> Bool such that it returns False for Integer and True for the other instances since the vast majority of instances are finite, it may be reasonable to set the default definition to hasBitSize _ = False Discussion Period: 2 weeks

2 2

Haskell platform proposal: split package
by Brent Yorgey 25 Jul '12

25 Jul '12

Hello everyone, This is a proposal for the split package [1] to be included in the next major release of the Haskell platform. Everyone is invited to review this proposal, following the standard procedure [2] for proposing and reviewing packages. Review comments should be sent to the libraries mailing list by August 20 (arbitrarily chosen; there's plenty of time before the October 1 deadline [3]). The Haskell Platform wiki will be kept up-to-date with the results of the review process: http://trac.haskell.org/haskell-platform/wiki/Proposals/split [1] http://hackage.haskell.org/package/split [2] http://trac.haskell.org/haskell-platform/wiki/AddingPackages [3] http://trac.haskell.org/haskell-platform/wiki/ReleaseTimetable Credits ======= Proposal author and package maintainer: Brent Yorgey <byorgey at cis.upenn.edu> Abstract ======== The Data.List.Split module contains a wide range of strategies for splitting lists with respect to some sort of delimiter, mostly implemented through a unified combinator interface. The goal is to be a flexible yet simple alternative to the standard 'split' function found in some other mainstream languages. Documentation and tarball from the hackage page: http://hackage.haskell.org/package/split Development repo: darcs get http://code.haskell.org/~byorgey/code/split Rationale ========= Splitting a list into chunks based on some sort of delimiter(s) is a common need, and is provided in the standard libraries of several mainstream languages (e.g. Python [4], Ruby [5], Java [6]). Haskell beginners routinely ask whether such a function exists in the standard libraries. For a long time, the answer was no. Adding such a function to Haskell's standard libraries has been proposed multiple times over the years, but consensus was never reached on the design of such a function. (See, e.g. [7, 8, 9].) [4] http://docs.python.org/py3k/library/stdtypes.html?highlight=split#str.split [5] http://www.ruby-doc.org/core-1.9.3/String.html#method-i-split [6] http://docs.oracle.com/javase/7/docs/api/java/lang/String.html#split(java.l… [7] http://www.haskell.org/pipermail/libraries/2006-July/005504.html [8] http://www.haskell.org/pipermail/libraries/2006-October/006072.html [9] http://www.haskell.org/pipermail/libraries/2008-January/008922.html In December 2008 the split package was released, implementing not just a single split method, but a wide range of splitting strategies. Since then the split package has gained wide acceptance, with almost 95 reverse dependencies [10], putting it in the top 40 for number of reverse dependencies on Hackage. [10] http://packdeps.haskellers.com/reverse/split The package is quite stable. Since the 0.1.4 release in April 2011 only very minor updates have been made. It has a large suite of QuickCheck properties [11]; to my recollection no bugs have ever been reported. [11] http://code.haskell.org/~byorgey/code/split/Properties.hs API === For a detailed description of the package API and example usage, see the Haddock documentation: http://hackage.haskell.org/packages/archive/split/0.1.4.3/doc/html/Data-Lis… Design decisions ================ Most of the library is based around a (rather simple) combinator interface. Combinators are used to build up configuration records (recording options such as whether to keep delimiters, whether to keep blank segments, etc). A configuration record is finally handed off to a function which performs a generic maximally-information-preserving splitting algorithm and then does various postprocessing steps (based on the configuration) to selectively throw information away. It is probably not the fastest way to implement these methods, but speed is explicitly not a design goal: the aim is to provide a reasonably wide range of splitting strategies which can be used simply. Blazing speed (or more complex processing), when needed, can be obtained from a proper parsing package. Open issues =========== Use of GHC.Exts --------------- At the request of a user, the 0.1.4.3 release switched from defining its own version of the standard 'build' function, to importing it from GHC.Exts. This allows GHC to do more optimization, resulting in reported speedups to uses of splitEvery, splitPlaces, and splitPlacesBlanks. However, this makes the library GHC-specific. If any reviewers think this is an issue I would be willing to go back to defining build by hand, or use CPP macros to select between build implementations based on the compiler. Missing strategies ------------------ The specific way that the generic splitting algorithm is implemented does preclude some imaginable splitting strategies. For example, a few years ago I tried adding a strategy that used a predicate on pairs of elements, splitting down the middle of any pairs that satisfy the predicate, but gave up because it simply did not fit.

13 29

Data.ByteString.packCStringLen for Ptr Word8
by Henning Thielemann 25 Jul '12

25 Jul '12

I want to copy a piece of memory addressed by a Ptr Word8 into a ByteString. I only found packCStringLen for that purpose but it expects a Ptr CChar as input. Since ByteString represents a sequence of Word8 I thought that the most natural input for packCStringLen should be (Ptr Word8). Of course I can use castPtr but that always looks like a hack.

1 0

split package HP proposal, round 2
by Brent Yorgey 23 Jul '12

23 Jul '12

Hello all, Thanks for the great feedback so far on the split package. I have updated the wiki page with the results of the discussion so far: http://trac.haskell.org/haskell-platform/wiki/Proposals/split In particular, I have made the following changes to the package as a result of the feedback: * Removed the GADTs extension; the package is now fully Haskell 2010. * Marked synonyms as deprecated, and excluded them from the Haddock output. Thus new users will not be confused by the synonyms anymore, and existing users will be notified that they are now deprecated, but existing code will not break since the synonyms are still exported from the package. * Many other minor cleanups and improvements to documentation etc. More details are on the wiki page. These changes are in the darcs repository but I have not released a new version to Hackage yet. * I am also looking into the possibility of using conditionals in the .cabal file to support both GHC and other compilers, by using GHC's primitive 'build' function only when GHC is the compiler, and otherwise using a generic one. More feedback on this is appreciated. Is it worth the effort/complication? Please continue responding to this thread (or the previous one) with additional feedback, upvotes, downvotes, etc. -Brent

1 0