A question about coercion

Rudolf Meijer via clean-list <[email protected]> Mon, 03 Oct 2022 17:36:27 +0000

Newsgroups	gmane.comp.lang.clean
Message-ID	<eme97f486e-aada-4dfa-89eb-a3ae74f6bc70@surface8>

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.

Rudolf Meijer

_______________________________________________
clean-list mailing list
[email protected]
https://mailman.science.ru.nl/mailman/listinfo/clean-list