Data.Lens.Common

Contents

• Lens construction
• Functional API
• Operator API
• Pseudo-imperatives
• Stock lenses

Synopsis

• newtype Lens a b = Lens {
  • runLens :: a -> Store b a
  }
• lens :: (a -> b) -> (b -> a -> a) -> Lens a b
• iso :: (a -> b) -> (b -> a) -> Lens a b
• getL :: Lens a b -> a -> b
• setL :: Lens a b -> b -> a -> a
• modL :: Lens a b -> (b -> b) -> a -> a
• mergeL :: Lens a c -> Lens b c -> Lens (Either a b) c
• (^$) :: Lens a b -> a -> b
• (^$!) :: Lens a b -> a -> b
• (^.) :: a -> Lens a b -> b
• (^!) :: a -> Lens a b -> b
• (^=) :: Lens a b -> b -> a -> a
• (^!=) :: Lens a b -> b -> a -> a
• (^%=) :: Lens a b -> (b -> b) -> a -> a
• (^!%=) :: Lens a b -> (b -> b) -> a -> a
• (^%%=) :: Functor f => Lens a b -> (b -> f b) -> a -> f a
• (^+=) :: Num b => Lens a b -> b -> a -> a
• (^!+=) :: Num b => Lens a b -> b -> a -> a
• (^-=) :: Num b => Lens a b -> b -> a -> a
• (^!-=) :: Num b => Lens a b -> b -> a -> a
• (^*=) :: Num b => Lens a b -> b -> a -> a
• (^!*=) :: Num b => Lens a b -> b -> a -> a
• (^/=) :: Fractional b => Lens a b -> b -> a -> a
• (^!/=) :: Fractional b => Lens a b -> b -> a -> a
• fstLens :: Lens (a, b) a
• sndLens :: Lens (a, b) b
• mapLens :: Ord k => k -> Lens (Map k v) (Maybe v)
• intMapLens :: Int -> Lens (IntMap v) (Maybe v)
• setLens :: Ord k => k -> Lens (Set k) Bool
• intSetLens :: Int -> Lens IntSet Bool

Documentation

Lens construction

Functional API

Operator API

Pseudo-imperatives

Stock lenses