Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane

From: Jim Apple <jbapple+haskell-lib <at> gmail.com>
Subject: Paramorphisms / Data.Scanable?
Newsgroups: gmane.comp.lang.haskell.libraries
Date: Sunday 4th February 2007 04:36:13 UTC (over 12 years ago)
I understand that it may not be possible to give simple types to
anamorphisms or hylomorphisms, but I don't see there can't be a
Data.Scannable with paramorphisms.

class Scannable t where
    scanr :: (a -> b -> b) -> b -> t a -> t b
    scanl :: (a -> b -> a) -> a -> t b -> t a
    scanr1 :: (a -> a -> a) -> t a -> t a
    scanl1 :: (a -> a -> a) -> t a -> t a

Jim
 
CD: 47ms