Hi!

This is actually some kind of a merge of FlexiMap and FunctorMap but IMHO 
somewhat better and cleaner :) I need the functionality all the time so I'd 
be glad if it (or an alternative) would find its way to the distro.

I actually wrote it together in a couple of minutes so I'd also encourage 
people to review the code for bugs or even erros in reasoning :)

Code attached.

Timo

Attachment: FunctorMap.tar.gz
Description: application/tgz

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to