Safe Haskell	None
Language	Haskell2010

Optics.AffineTraversal

Synopsis

data An_AffineTraversal :: OpticKind
type AffineTraversal is s t a b = Optic An_AffineTraversal is s t a b
type AffineTraversal' is s a = Optic' An_AffineTraversal is s a
toAffineTraversal :: Is k An_AffineTraversal => Optic k is s t a b -> AffineTraversal is s t a b
atraversal :: (s -> Either t a) -> (s -> b -> t) -> AffineTraversal '[] s t a b
withAffineTraversal :: Is k An_AffineTraversal => Optic k is s t a b -> ((s -> b -> t) -> (s -> Either t a) -> r) -> r
module Optics.Optic

Documentation

data An_AffineTraversal :: OpticKind #

Tag for an affine traversal.

Instances

Is An_AffineTraversal A_Fold #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_AffineTraversal A_Fold p -> (Constraints An_AffineTraversal p -> r) -> Constraints A_Fold p -> r
Is An_AffineTraversal An_AffineFold #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_AffineTraversal An_AffineFold p -> (Constraints An_AffineTraversal p -> r) -> Constraints An_AffineFold p -> r
Is An_AffineTraversal A_Setter #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_AffineTraversal A_Setter p -> (Constraints An_AffineTraversal p -> r) -> Constraints A_Setter p -> r
Is An_AffineTraversal A_Traversal #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_AffineTraversal A_Traversal p -> (Constraints An_AffineTraversal p -> r) -> Constraints A_Traversal p -> r
Is A_Prism An_AffineTraversal #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_Prism An_AffineTraversal p -> (Constraints A_Prism p -> r) -> Constraints An_AffineTraversal p -> r
Is A_Lens An_AffineTraversal #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_Lens An_AffineTraversal p -> (Constraints A_Lens p -> r) -> Constraints An_AffineTraversal p -> r
Is An_Iso An_AffineTraversal #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Iso An_AffineTraversal p -> (Constraints An_Iso p -> r) -> Constraints An_AffineTraversal p -> r
Is An_Equality An_AffineTraversal #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Equality An_AffineTraversal p -> (Constraints An_Equality p -> r) -> Constraints An_AffineTraversal p -> r
ArrowChoice arr => ArrowOptic An_AffineTraversal arr #
Instance details Defined in Optics.Arrow Methods overA :: Optic An_AffineTraversal [] s t a b -> arr a b -> arr s t #
ViewableOptic An_AffineTraversal r #
Instance details Defined in Optics.Internal.View Associated Types type ViewResult An_AffineTraversal r :: * # Methods view :: Optic' An_AffineTraversal is s r -> s -> ViewResult An_AffineTraversal r #
PermeableOptic An_AffineTraversal r #
Instance details Defined in Optics.Internal.Passthrough Methods passthrough :: Optic An_AffineTraversal is s t a b -> (a -> (r, b)) -> s -> (ViewResult An_AffineTraversal r, t) #
type ViewResult An_AffineTraversal r #
Instance details Defined in Optics.Internal.View type ViewResult An_AffineTraversal r = Maybe r

type AffineTraversal is s t a b = Optic An_AffineTraversal is s t a b #

Type synonym for a type-modifying affine traversal.

type AffineTraversal' is s a = Optic' An_AffineTraversal is s a #

Type synonym for a type-preserving affine traversal.

toAffineTraversal :: Is k An_AffineTraversal => Optic k is s t a b -> AffineTraversal is s t a b #

Explicitly cast an optic to an affine traversal.

atraversal :: (s -> Either t a) -> (s -> b -> t) -> AffineTraversal '[] s t a b #

Build an affine traversal from a matcher and an updater.

withAffineTraversal :: Is k An_AffineTraversal => Optic k is s t a b -> ((s -> b -> t) -> (s -> Either t a) -> r) -> r #

module Optics.Optic