Re: [Haskell-cafe] prettyprint with IO

Haskell-src-exts has had a monadic wrapper over HughesPJ for a long time. It is just a Reader (not a transformer) so it can handle user supplied spacing widths, etc. On 13 April 2012 06:02, Warren Harris warrensomeb...@gmail.com wrote: Thanks for the suggestions. No sooner did I send my

Re: [Haskell-cafe] open source project for student

Hi Jeremy, Thank you for your encouraging reply. I understand your points and agree for the most part, especially with the mentorship discussion that you made. I wasn't too sure about attempting to work on a more sizeable project (although I preferred that) but if you are saying that it's a

Re: [Haskell-cafe] open source project for student

Hi Dan: Just to share a little bit of my humble experience. I'm also a beginner and I'm intrested in directory manipulation related code. Tasks such as printing directory in a tree form etc. So I search on Hackage and found several projects, most notably the Directory.Tree project. It's a very

[Haskell-cafe] is this an arrow?

Dear Cafe, I have the following types: type Computer a b = ( a - IO ( Maybe b ) ) type Transformer a b c d = Computer a ( b, c - d ) For example, a SAT solver: minisat :: Computer CNF Assignment, and when I use it to solve an application problem via transformation to SAT, I need t ::

[Haskell-cafe] Can cabal detect property of the platform ?

Hi Cafe, Is there a way to have (some) cabal flags to autoconfigure themselves ? For example, a SSE flag, i want the configure to default to on when the building machine has SSE instruction available, and default to off otherwise. (of course, it wouldn't affect the user ability to override the

Re: [Haskell-cafe] is this an arrow?

On Fri, Apr 13, 2012 at 7:49 AM, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: type Computer a b = ( a - IO ( Maybe b ) ) type Transformer a b c d = Computer a ( b, c - d ) Computer looks like Kleisli (MaybeT IO), which would be a valid instance of Arrow.

[Haskell-cafe] Template Haskell: Generate annotated function of a typeclass

Hi all, I think this is the right place for the following questions and I thank beforehand for your answers :-) I'm experimenting with typeclasses and TH, and I want to define a 'macro' that works more or less like this: Given the name of a typeclass and a function, return the expressions

Re: [Haskell-cafe] Template Haskell: Generate annotated function of a typeclass

Hello! It seems like you would want to use reifyInstances in order to get all of the instances associated with a class. Then, you can match up the variables in each instance with the variables in the class declaration, and create a mapping from the class variables to the instance parameters.

Re: [Haskell-cafe] Template Haskell: Generate annotated function of a typeclass

Thanks for your reply, in particular the reference to subsT! I will work more on this next monday, and report my progress Cheers! 2012/4/13 Michael Sloan mgsl...@gmail.com Hello! It seems like you would want to use reifyInstances in order to get all of the instances associated with a

Re: [Haskell-cafe] [Haskell] ANNOUNCE: notcpp-0.0.1

On Fri, 13 Apr 2012, Ben Millwood wrote: But I never liked using CPP: it completely defeats haskell-src-exts and hence things like SourceGraph, and anyway it's not designed for Haskell and doesn't at all understand its structure, or fit with its syntax. With a little thought, I wondered if

[Haskell-cafe] [Announce] wxHaskell 0.90

Hi Haskellers, I am delighted to announce the release of wxHaskell 0.90. This release represents a significant milestone for us as it includes support for wxWidgets 2.9.x. The release is avalable from Hackage and as a darcs repo from http://code.haskell.org/wxhaskell. Build and installation