Roman Cheplyaka wrote:
>
> {-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances,
> FlexibleInstances #-}
> import Data.Fixpoint
>
> newtype Expr = Expr { unExpr :: Pre Expr Expr }
>
> instance Functor (Pre Expr) => Fixpoint Expr where
> data Pre Expr a
>
On Sun, Sep 4, 2011 at 13:03, Roman Cheplyaka wrote:
> * Sean Leather [2011-09-04 12:48:38+0200]
> > On Sun, Sep 4, 2011 at 12:31, Roman Cheplyaka wrote:
> >
> > > I'm looking for an example of idiomatic usage of the fixpoint
> library[1].
> > >
> > > [1]: http://hackage.haskell.org/package/fixpoi
* Sean Leather [2011-09-04 12:48:38+0200]
> On Sun, Sep 4, 2011 at 12:31, Roman Cheplyaka wrote:
>
> > I'm looking for an example of idiomatic usage of the fixpoint library[1].
> >
> > [1]: http://hackage.haskell.org/package/fixpoint-0.1.1
>
>
> I'm not sure if this counts for idiomatic usage,
On Sun, Sep 4, 2011 at 12:31, Roman Cheplyaka wrote:
> I'm looking for an example of idiomatic usage of the fixpoint library[1].
>
> [1]: http://hackage.haskell.org/package/fixpoint-0.1.1
I'm not sure if this counts for idiomatic usage, but you can check out
our approach to incrementalization.
Hi,
I'm looking for an example of idiomatic usage of the fixpoint library[1].
[1]: http://hackage.haskell.org/package/fixpoint-0.1.1
Here's what I managed to get:
{-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances,
FlexibleInstances #-}
import Data.Fixpoint
newtype