Lens.Micro.Mtl.Internal

# Classes

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

class Zoom m n s t

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

class Magnify m n b a

# Focusing (used for `Zoom`)

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 FocusingErr e k s a

# Effect (used for `Magnify`)

data Effect m r a

data EffectRWS w st m s a

# Utilities

data May a

data Err e a