bimap ()
bimap
<
T
,
U
>
(
someF
)
:
(
(
noneF
)
=>
(
(
x
)
=>
Opt
<
U
>
)
)
Type Parameters
T
U
Parameters
someF
:
(
(
_
)
=>
U
)
(
_
)
:
U
Parameters
_
:
T
Returns
U
Returns
(
(
noneF
)
=>
(
(
x
)
=>
Opt
<
U
>
)
)
(
noneF
)
:
(
(
x
)
=>
Opt
<
U
>
)
Parameters
noneF
:
(
(
)
=>
U
)
(
)
:
U
Returns
U
Returns
(
(
x
)
=>
Opt
<
U
>
)
(
x
)
:
Opt
<
U
>
Parameters
x
:
Opt
<
T
>
Returns
Opt
<
U
>
See
Opt.bimap
Back to index
See
Opt.bimap