Re: [Haskell-cafe] indentation blues

Hello, I don't know how the indent.hs file works for the vim mode, but as you are asking for another indent.hs file, here is the link to the indent.hs file in emacs haskell-mode: https://github.com/jwiegley/haskell-mode/blob/8067b7547f047352c41af2374e3246b5504c7741/indent.hs Maybe you can us

Re: [Haskell-cafe] Chuan-Kai Lin's Unimo framework

On Mon, Dec 12, 2011 at 03:17:38PM +0100, Jean-Luc Delatre wrote: > Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo > framework? No, but if you want to define monads operationally I would instead recommend using the 'operational' package: http://hackage.haskell.org/packa

[Haskell-cafe] acid state

So I am trying to understand how acid state works. The HelloWorld example has a type Message = String data Database = Database [Message] $(deriveSafeCopy 0 'base ''Database) -- Transactions are defined to run in either the 'Update' monad -- or the 'Query' monad. addMessage :: Message -> Update

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

On 12/13/2011 02:43 AM, Brandon Allbery wrote: On Mon, Dec 12, 2011 at 19:22, Ian-Woo Kim wrote: A workaround is to make a symbolic link to libstdc++.so.6 with the name of libstdc++.so in /usr/lib or /usr/local/lib or other dynamic library path like the following. ln -s /usr/lib/libstdc++.so.

[Haskell-cafe] Linear types using kinds?

Hey everyone! So, I was on LtU reading about F* http://lambda-the-ultimate.org/node/4318 and an idea just occurred to me which *must* have occurred to someone smarter than me, so I would love your feedback on the following question: Could Haskell be extended to support linear/affine ty

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

On Mon, Dec 12, 2011 at 19:22, Ian-Woo Kim wrote: > A workaround is to make a symbolic link to libstdc++.so.6 with the > name of libstdc++.so in /usr/lib or /usr/local/lib or other dynamic > library path like the following. > > ln -s /usr/lib/libstdc++.so.6 /usr/lib/libstdc++.so > This is an ind

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

Very fancy! I am a big fan of Xournal, so I will have to take this for a spin. Edward Excerpts from Ian-Woo Kim's message of Mon Dec 12 06:56:09 -0500 2011: > Hi, everyone, > > I am very pleased to announce a pen notetaking program: hxournal, > which is written entirely in haskell using gtk2hs.

[Haskell-cafe] indentation blues

I am fairly new to haskell, but I really like the emacs haskell mode. It is a bit strict but it generally does what I want it to. Unfortunately I can't really compare to the haskell vim mode since I only did Scala and Perl back when I was a heavy vim user. The one useful thing that I can add is th

[Haskell-cafe] indentation blues

The vim autoindent for haskell is really bad :( Is there a better indent.hs file floating around somewhere? Alternatively, is the emacs haskell mode better enough that it's worth my time learning my way around emacs and evil? martin ___ Haskell-Cafe mai

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

Hi, Ivan, That libstdc++ problem is related to the following ticket: http://hackage.haskell.org/trac/ghc/ticket/5289 A workaround is to make a symbolic link to libstdc++.so.6 with the name of libstdc++.so in /usr/lib or /usr/local/lib or other dynamic library path like the following. ln -s /usr

Re: [Haskell-cafe] Module name space question

> There is, and it's awesome: > > > http://folk.ntnu.no/hammar/**explore-hackage/ > > Though it can be a bit slow to load, so try not to hammer the server too hard :) Awesome indeed! Can we convince Andreas to have it update regularly? Looks like th

Re: [Haskell-cafe] Splitting off many/some from Alternative

On Mon, Dec 12, 2011 at 4:30 PM, John Meacham wrote: > Yes, they are major pains for frisby, which is a parser but needs to > be cleverer about recursion, the many and some that come with > applicative actually cause infinite loops. > That's why 'many' and 'some' were promoted up to being class m

Re: [Haskell-cafe] Splitting off many/some from Alternative

Yes, they are major pains for frisby, which is a parser but needs to be cleverer about recursion, the many and some that come with applicative actually cause infinite loops. John On Sun, Dec 11, 2011 at 9:18 PM, Gregory Crosswhite wrote: > Hey everyone, > > I am sure that it is too late to d

Re: [Haskell-cafe] Splitting off many/some from Alternative

Perhaps the most urgent change would simply be better documentation for what 'some' and 'many' are all about. Some examples would be nice. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Splitting off many/some from Alternative

On Mon, Dec 12, 2011 at 14:09, Bryan O'Sullivan wrote: > On Mon, Dec 12, 2011 at 9:42 AM, Carl Howells wrote: > >> >> Well, as I read it, the whole point of this thread was "They don't >> make sense for many instances of Alternative. They should be moved to >> a different class." It sounded lik

Re: [Haskell-cafe] Module name space question

You can try the Haskell Browser in the Eclipse plug-in. 2011/12/12 wren ng thornton > On 12/12/11 9:32 AM, Ryan Newton wrote: > >> I don't know why Hoogle didn't find one of the packages. I've often >> wondered about this related question: >> >>* Is there a place to browse the union of all

Re: [Haskell-cafe] AFRP is not (necessarily) imperative

This would make a good blog article... 2011/12/12 Ertugrul Söylemez > Hello fellows, > > after a few discussions on IRC and via private mail I feel obligated to > point out that arrows and in particular AFRP do not force you to use an > imperative style in any way. You can use a style very simi

Re: [Haskell-cafe] Cabal: Disjunctive Build-Depends

Grand. Thanks! On 12/12/2011, Felipe Almeida Lessa wrote: > On Mon, Dec 12, 2011 at 6:25 PM, Matthew Farkas-Dyck > wrote: >> I have written some code that can be compiled with either of two >> libraries, with no modification. How can I tell Cabal? >> >> I tried "||" but it failed to parse. >> >

Re: [Haskell-cafe] HaXml 1.13 -> 1.22 upgrade

On 12/12/11 02:42, Malcolm Wallace wrote: The extra parameter "i" is for "information" attached to each node of the tree. As you have correctly guessed, the parser fills in this field with positional information relating to the original source document, which is useful for instance if you are va

Re: [Haskell-cafe] Module name space question

On 12/12/11 9:32 AM, Ryan Newton wrote: I don't know why Hoogle didn't find one of the packages. I've often wondered about this related question: * Is there a place to browse the union of all namespaces in all hackage packages? There is, and it's awesome: http://folk.ntnu.no/hammar/e

Re: [Haskell-cafe] Cabal: Disjunctive Build-Depends

On Mon, Dec 12, 2011 at 6:25 PM, Matthew Farkas-Dyck wrote: > I have written some code that can be compiled with either of two > libraries, with no modification. How can I tell Cabal? > > I tried "||" but it failed to parse. > > I could find which package is available in the build script, and then

[Haskell-cafe] Cabal: Disjunctive Build-Depends

Hello all. I have written some code that can be compiled with either of two libraries, with no modification. How can I tell Cabal? I tried "||" but it failed to parse. I could find which package is available in the build script, and then call defaultMainNoRead with the appropriate GenericPackage

Re: [Haskell-cafe] Splitting off many/some from Alternative

On Mon, Dec 12, 2011 at 9:42 AM, Carl Howells wrote: > > Well, as I read it, the whole point of this thread was "They don't > make sense for many instances of Alternative. They should be moved to > a different class." It sounded like you were arguing that any > instance of Alternative where the

[Haskell-cafe] AFRP is not (necessarily) imperative

Hello fellows, after a few discussions on IRC and via private mail I feel obligated to point out that arrows and in particular AFRP do not force you to use an imperative style in any way. You can use a style very similar to SHE's idiom brackets. I will demonstrate this using the Netwire library.

Re: [Haskell-cafe] Splitting off many/some from Alternative

> Don't be silly. The purpose of some and many is to be used with combinators > that are expected to fail sometimes. If you use them with combinators that > always succeed, of course you're going to get an infinite loop. Would you > propose to ban recursive functions because they might not terminat

Re: [Haskell-cafe] Splitting off many/some from Alternative

On Mon, Dec 12, 2011 at 9:23 AM, Carl Howells wrote: > > There is absolutely no implication of consuming anything in the > definitions > > of many or some. This is how they happen to behave when used in the > context > > of some parsing libraries, but that's all. If many or some always go > into

Re: [Haskell-cafe] Splitting off many/some from Alternative

> There is absolutely no implication of consuming anything in the definitions > of many or some. This is how they happen to behave when used in the context > of some parsing libraries, but that's all. If many or some always go into an > infinite loop for some Alternative instance, then I suspect th

Re: [Haskell-cafe] Splitting off many/some from Alternative

On Sun, Dec 11, 2011 at 9:18 PM, Gregory Crosswhite wrote: > > It is only recently that I have been able to grok what some and many are > even about (I think), and they seem to only make sense in cases where > executing the Alternative action results in a portion of some input being > consumed or

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

This is what I get when using the latest Ubuntu. libstdc++ is installed. Downloading hxournal-0.5.0.0... Configuring hxournal-0.5.0.0... Preprocessing library hxournal-0.5.0.0... Preprocessing executables for hxournal-0.5.0.0... Building hxournal-0.5.0.0... [ 1 of 41] Compiling Paths_hxournal (

Re: [Haskell-cafe] Module name space question

I don't know why Hoogle didn't find one of the packages. I've often wondered about this related question: * Is there a place to browse the union of all namespaces in all hackage packages? This would show the global Haskell/Hackage namespace as it currently stands and I think would be useful

[Haskell-cafe] Chuan-Kai Lin's Unimo framework

Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo framework? https://sites.google.com/site/chklin/research It looks interesting but it seems it amounts to add an extra layer of interpretation (the monads encoding as a data type) and the paper lacks examples of actual uses of

Re: [Haskell-cafe] Module name space question

Christoph Breitkopf wrote: > If anyone wants to look at the code in question: > http://www.chr-breitkopf.de/comp/IntervalMap Looks interesting, thanks! > 3. Are there more wothwile operations on this data structure? Have a look at ranged sets: http://hackage.haskell.org/package/Ranged-sets Per

[Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

Hi, everyone, I am very pleased to announce a pen notetaking program: hxournal, which is written entirely in haskell using gtk2hs. I uploaded the package on hackage. This program accompanies with two library packages, xournal-parser and xournal-render for parsing and rendering xournal format file

Re: [Haskell-cafe] Module name space question

> From: Christoph Breitkopf > > Hi, > > I recently asked about what interfaces to implement for a new data type. > Following the rule that the last 10% of work take the second 90% of time, > some other questions have come up. > > If anyone wants to look at the code in question: > http://www.chr-br

Re: [Haskell-cafe] Splitting off many/some from Alternative

Gregory Crosswhite wrote: >> could we split the some/many methods out from Alternative?  They simply >> don't make sense except in a subset of possible Alternatives --- in most >> cases they just result in an infinite loop... That is a very good point. I would be in favor of such a change, even th

Re: [Haskell-cafe] No instance for (Read POSIXTime)

dokondr wrote: > All I actually need > is some way to get *seconds* since epoch from the system, so I could > manipulate them as integers. Well, you already have that - that's exactly what POSIXTime is. It is a numerical type, an instance of the RealFrac class. So perhaps you can do all of your ca

[Haskell-cafe] Module name space question

Hi, I recently asked about what interfaces to implement for a new data type. Following the rule that the last 10% of work take the second 90% of time, some other questions have come up. If anyone wants to look at the code in question: http://www.chr-breitkopf.de/comp/IntervalMap Some time ago, I