Isos and au

gistfile1.hs

import Control.Lens
import Data.Foldable
import Data.Monoid
import Data.Complex
import Data.Complex.Lens


r0 = au (from _polar.wrapping Sum) foldMap [(1.0,pi),(1.0,0.0)]
r1 = view _polar $ getSum $ mconcat $ (map $ view $ from _polar.wrapping Sum) [(1.0,pi),(1.0,0.0)]
r2 = view _polar $ getSum $ foldMap (Sum . (view $ from _polar)) [(1.0,pi),(1.0,0.0)]

main = do
    putStrLn . show $ r0
    putStrLn . show $ r1
    putStrLn . show $ r2