<div dir="auto">What is conf? If you write a small example that actually compiles, this will be easier to think about.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Dec 20, 2022, 11:25 AM PICCA Frederic-Emmanuel <<a href="mailto:frederic-emmanuel.picca@synchrotron-soleil.fr">frederic-emmanuel.picca@synchrotron-soleil.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
----- Le 20 Déc 22, à 17:18, David Feuer <a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a> a écrit :<br>
<br>
> Please clarify your question. Your code doesn't compile, and I can't tell<br>
> what it's supposed to do.<br>
<br>
<br>
replace a (Maybe a) value in a data using lens only if the new (Maybe a) is a Just<br>
<br>
Is it clearer ?<br>
</blockquote></div>