darcs patch: Introduce NonEmptyStack.
Hi all,
Here's a patch implementing a NonEmptyStack type that is our
zipper without the Empty possibility. I like this change, but
haven't cleaned up the comments as it's not clear that others
will like it. I made modify accept a function that will only
modify NonEmptyStacks, which covers all the possibilities but
delete.
Actually, I think I'll implement a clean:q
Fri May 25 19:18:04 PDT 2007 David Roundy
On Fri, May 25, 2007 at 07:21:50PM -0700, David Roundy wrote:
Hi all,
Here's a patch implementing a NonEmptyStack type that is our zipper without the Empty possibility. I like this change, but haven't cleaned up the comments as it's not clear that others will like it. I made modify accept a function that will only modify NonEmptyStacks, which covers all the possibilities but delete.
Actually, I think I'll implement a clean:q
Ooops... anyhow, this isn't particularly important (since we're in feature freeze). This wouldn't be a new feature, and would add more static checking, but right now might not be the time... -- David Roundy Department of Physics Oregon State University
droundy:
Hi all,
Here's a patch implementing a NonEmptyStack type that is our zipper without the Empty possibility. I like this change, but haven't cleaned up the comments as it's not clear that others will like it. I made modify accept a function that will only modify NonEmptyStacks, which covers all the possibilities but delete.
i'm open to this. Just want to think about it a bit. Another option I used was to change the type of with's second argument, to take a non-empty stack type. I'll look at this. -- Don
participants (2)
-
David Roundy -
dons＠cse.unsw.edu.au