Control.Lens.Internal.Zoom

Contents

• Zoom
• Magnify

Description

Synopsis

• type family Zoomed m :: * -> * -> *
• newtype Focusing m s a = Focusing {
  • unfocusing :: m (s, a)
  }
• newtype FocusingWith w m s a = FocusingWith {
  • unfocusingWith :: m (s, a, w)
  }
• newtype FocusingPlus w k s a = FocusingPlus {
  • unfocusingPlus :: k (s, w) a
  }
• newtype FocusingOn f k s a = FocusingOn {
  • unfocusingOn :: k (f s) a
  }
• newtype FocusingMay k s a = FocusingMay {
  • unfocusingMay :: k (May s) a
  }
• newtype May a = May {
  • getMay :: Maybe a
  }
• newtype FocusingErr e k s a = FocusingErr {
  • unfocusingErr :: k (Err e s) a
  }
• newtype Err e a = Err {
  • getErr :: Either e a
  }
• type family Magnified m :: * -> * -> *
• newtype Effect m r a = Effect {
  • getEffect :: m r
  }
• newtype EffectRWS w st m s a = EffectRWS {
  • getEffectRWS :: st -> m (s, st, w)
  }

Zoom

Magnify