Data.Lens.Grate

grate :: forall b a t s. (((s -> a) -> b) -> t) -> Grate s t a b

withGrate :: forall b a t s. AGrate s t a b -> ((s -> a) -> b) -> t

cloneGrate :: forall b a t s. AGrate s t a b -> Grate s t a b

cotraversed :: forall b a f. Distributive f => Grate (f a) (f b) a b

zipWithOf :: forall b a t s. Optic Zipping s t a b -> (a -> a -> b) -> s -> s -> t

zipFWithOf :: forall b a t s f. Optic (Costar f) s t a b -> (f a -> b) -> (f s -> t)

collectOf :: forall b a t s f. Optic (Star f) s t a b -> (a -> f b) -> s -> f t

type Optic p s t a b = p a b -> p s t

A general-purpose Data.Lens.

type Grate' s a = Grate s s a a

type Grate s t a b = forall p. Closed p => Optic p s t a b

A grate (http://r6research.livejournal.com/28050.html)

type AGrate s t a b = Optic (Grating a b) s t a b