Hi List,
I've recently had a situation where I used the same pattern quite a bit
while reducing and evaluating an AST. I quickly wrapped the operation in a
package and stuck it on github.
http://github.com/sw17ch/rebox/blob/master/src/Data/Rebox.hs
I'm wondering two things:
1) Does any one
Hi John,
I don't know if this is useful for you, but these are instances of
Cofunctor's comap. For example if we use TypeCompose package we have:
rebox f = unFlip . cofmap f . Flip
The rest are also Cofunctors. There are a few options. You can either
specify instances or use type combinators
Am Dienstag, den 08.12.2009, 23:25 +0200 schrieb Vitaliy Akimov:
Hi John,
I don't know if this is useful for you, but these are instances of
Cofunctor's comap. For example if we use TypeCompose package we have:
rebox f = unFlip . cofmap f . Flip
The rest are also Cofunctors. There are a
On Tue, Dec 8, 2009 at 4:25 PM, Vitaliy Akimov vitaliy.aki...@gmail.com wrote:
Hi John,
I don't know if this is useful for you, but these are instances of
Cofunctor's comap. For example if we use TypeCompose package we have:
rebox f = unFlip . cofmap f . Flip
Alternately, rebox = flip (.)