Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PPrism
/
foldMap
fold
Map
open
override
fun
<
R
>
foldMap
(
M
:
Monoid
<
R
>
,
source
:
S
,
map
:
(
focus
:
A
)
->
R
)
:
R
(
source
)
Map each target to a type R and use a Monoid to fold the results