Rudolf Meijer
_______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list
I am developing a CleanGUI application. I have a function with signature
... (PSt .l) -> (PSt .l); an intermediate result is obtained by a call
to a function with signature ... (IOSt .l) -> (Bool, IOSt .l). I need to
coerce this to (PSt .l) -> (PSt .l). I know how to do that with
functions of signature ... (IOSt .l) -> (IOSt .l), namely by applying
appPIO. But how do I get rid of the Bool component? I suppose snd must
intervene somewhere, but everything that I tried gave type errors.
Thanks in advance for the help to a novice.
