Optics

type Optic (p :: Type -> Type -> Type) s t a b = p a b -> p s t Source #

type Optic' (p :: Type -> Type -> Type) s a = Optic p s s a a Source #