Control.Lens.Internal.Zoom

Zoom

type family Zoomed m :: * -> * -> *

data Focusing m s a

data FocusingWith w m s a

data FocusingPlus w k s a

data FocusingOn f k s a

data FocusingMay k s a

data May a

data FocusingErr e k s a

data Err e a

Magnify

type family Magnified m :: * -> * -> *

data Effect m r a

data EffectRWS w st m s a