Mezzolens.Stock

Documentation

null :: AffineTraversal ta ta a b

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

intContains :: Int -> Lens' IntSet Bool

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

_Nothing :: Prism' (Maybe a) ()

module Mezzolens.Optics