<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=iso-8859-15">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>That doesn't exactly make sense. You'd need two versions of that
function in all likelihood - one left-biased and another
right-biased.<br>
</p>
<br>
<div class="moz-cite-prefix">On 07/31/2018 02:07 AM, Marc Busqué
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:alpine.LNX.2.21.1807310857500.2536@localhost">Hi!
<br>
<br>
I have two functions:
<br>
<br>
```
<br>
foo :: a -> Maybe b
<br>
bar :: a -> Maybe c
<br>
```
<br>
<br>
From which I want to build a higher order function:
<br>
<br>
```
<br>
foobar :: a -> (a -> Maybe b) -> (a -> Maybe c) ->
Either b c
<br>
```
<br>
<br>
The implementation I need is:
<br>
<br>
```
<br>
foobar x f g =
<br>
case (f x) of
<br>
Nothing -> g x
<br>
Just y -> Just y
<br>
```
<br>
<br>
I'm a bit surprised that looking at hoogle I don't find a built-in
<br>
solution for this quite common need for `Maybe` types (or perhaps
for
<br>
any monad).
<br>
<br>
Am I looking in the wrong way? Does it exist a similar abstraction
but
<br>
with a different shape?
<br>
<br>
Thanks in advance,
<br>
<br>
Marc Busqué
<br>
<a class="moz-txt-link-freetext" href="http://waiting-for-dev.github.io/about/">http://waiting-for-dev.github.io/about/</a><br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
<br>
<div class="moz-signature">-- <br>
<br>
<br>
<br>
<strong
style="color:#000;font-family:Helvetica,Arial;font-size:116%;">Vanessa
McHale</strong><br>
<span
style="color:#000;font-family:Helvetica,Arial;font-size:100%;"><span
style="color:#f00">Functional Compiler Engineer |</span>
Chicago, IL</span>
<br>
<br>
<span
style="color:#999;font-family:Helvetica,Arial;font-size:85%;">Website:
<a href="http://iohk.io" style="color:#f00;">www.iohk.io</a></span><br>
<span
style="color:#999;font-family:Helvetica,Arial;font-size:85%;">Twitter:
@vamchale</span><br>
<span
style="color:#999;font-family:Helvetica,Arial;font-size:85%;">PGP
Key ID: 4209B7B5</span><br>
<br>
<a href="http://iohk.io"><img
src="https://static.iohk.io/logo/logo-email.png" alt="Input
Output" height="46" width="200"></a>
<br>
<br>
<a href="https://twitter.com/InputOutputHK"><img
src="https://static.iohk.io/images/ic-tw.png" alt="Twitter"
height="16" width="18"></a>
<a href="https://github.com/input-output-hk"><img
src="https://static.iohk.io/images/ic-gh.png" alt="Github"
height="16" width="21"></a>
<a href="https://www.linkedin.com/company/input-output-global"><img
src="https://static.iohk.io/images/ic-li.png" alt="LinkedIn"
height="16" width="19"></a>
<br>
<br>
<br>
<span
style="color:#444;font-family:Helvetica,Arial;font-size:77%;"><small>This
e-mail and any file transmitted with it are confidential and
intended solely for the use of the recipient(s) to whom it is
addressed. Dissemination, distribution, and/or copying of the
transmission by anyone other than the intended recipient(s) is
prohibited. If you have received this transmission in error
please notify IOHK immediately and delete it from your system.
E-mail transmissions cannot be guaranteed to be secure or
error free. We do not accept liability for any loss, damage,
or error arising from this transmission</small></span></div>
</body>
</html>