Optics
type Optic p a b s t = p a b -> p s t Source #
type Adapter a b s t = forall p. Profunctor p => Optic p a b s t Source #
type Lens a b s t = forall p. Strong p => Optic p a b s t Source #
type Prism a b s t = forall p. Costrong p => Optic p a b s t Source #
type Traversal a b s t = forall p. (Strong p, Costrong p, Monoidal p) => Optic p a b s t Source #
class Profunctor p => Monoidal p where Source #
Methods
par :: p a b -> p c d -> p (a, c) (b, d) Source #
empty :: p () () Source #
Defined in Optics
par :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) Source #
empty :: () -> () Source #