Safe Haskell	None
Language	Haskell2010

Optics.Passthrough

Documentation

Methods

passthrough :: Optic k is s t a b -> (a -> (r, b)) -> s -> (ViewResult k r, t) Source #

Modify the target of an Optic returning extra information of type r.

Instances details

PermeableOptic An_Iso r Source #
Instance details Defined in Optics.Passthrough Methods passthrough :: forall (is :: IxList) s t a b. Optic An_Iso is s t a b -> (a -> (r, b)) -> s -> (ViewResult An_Iso r, t) Source #
PermeableOptic A_Lens r Source #
Instance details Defined in Optics.Passthrough Methods passthrough :: forall (is :: IxList) s t a b. Optic A_Lens is s t a b -> (a -> (r, b)) -> s -> (ViewResult A_Lens r, t) Source #
PermeableOptic A_Prism r Source #
Instance details Defined in Optics.Passthrough Methods passthrough :: forall (is :: IxList) s t a b. Optic A_Prism is s t a b -> (a -> (r, b)) -> s -> (ViewResult A_Prism r, t) Source #
PermeableOptic An_AffineTraversal r Source #
Instance details Defined in Optics.Passthrough Methods passthrough :: forall (is :: IxList) s t a b. Optic An_AffineTraversal is s t a b -> (a -> (r, b)) -> s -> (ViewResult An_AffineTraversal r, t) Source #
Monoid r => PermeableOptic A_Traversal r Source #
Instance details Defined in Optics.Passthrough Methods passthrough :: forall (is :: IxList) s t a b. Optic A_Traversal is s t a b -> (a -> (r, b)) -> s -> (ViewResult A_Traversal r, t) Source #