Documentation

type Grate s t a b = forall p. Closed p => p a b -> p s t Source #

type Grate' s a = Grate s s a a Source #

newtype Zipping a b Source #

grate :: (((s -> a) -> b) -> t) -> Grate s t a b Source #

distributed :: (Closed p, Representable g) => p a b -> p (g a) (g b) Source #

both :: Grate (a, a) (b, b) a b Source #

zipWithOf :: forall s t a b. Optic (Costar Pair) s t a b -> (a -> a -> b) -> s -> s -> t Source #

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