Documentation

null :: AffineTraversal ta ta a b Source

_curry :: Iso ((a, b) -> c) ((d, e) -> f) (a -> b -> c) (d -> e -> f) Source

_flip :: Iso (a -> b -> c) (d -> e -> f) (b -> a -> c) (e -> d -> f) Source

_swap :: Iso (a, b) (c, d) (b, a) (d, c) Source

_switch :: Iso (Either a b) (Either c d) (Either b a) (Either d c) Source

eitherOne :: Iso (Maybe a) (Maybe b) (Either () a) (Either () b) Source

eitherTwo :: Iso (Bool, a) (Bool, b) (Either a a) (Either b b) Source

both :: Iso (Bool -> a) (Bool -> b) (a, a) (b, b) Source

ix :: Eq k => k -> Lens' (k -> v) v Source

fitting :: (k -> Bool) -> SEC' (k -> v) v Source

binding :: Eq k => k -> Prism' (k, v) v Source

selecting :: (k -> Bool) -> AffineTraversal' (k, v) v Source

at :: Ord k => k -> Lens' (Map k v) (Maybe v) Source

at' :: Ord k => k -> Lens' (Map k v) (Maybe v) Source

contains :: Ord k => k -> Lens' (Set k) Bool Source

intAt :: Int -> Lens' (IntMap v) (Maybe v) Source

intAt' :: Int -> Lens' (IntMap v) (Maybe v) Source

intContains :: Int -> Lens' IntSet Bool Source

_Just :: Prism (Maybe a) (Maybe b) a b Source

_Nothing :: Prism' (Maybe a) () Source

module Mezzolens.Optics