Control.Isomorphism.Partial.Derived

Documentation

foldl :: Iso (alpha, beta) alpha -> Iso (alpha, [beta]) alpha

swap23 :: Iso (a, (b, c)) (a, (c, b))

fixedValue :: (Show a, Eq a) => a -> Iso a ()