Proton.Diffraction
diffract :: Distributive f => Optic (Star f) s t a b -> (a -> f b) -> s -> f t Source #