Optics.Review

A Review is a backwards Getter, i.e. a Review T B is just a function B -> T.

Formation

1 declaration

typetype Review t b = Optic' A_Review NoIx t b

Type synonym for a review.

1 declaration

valueunto :: (b -> t) -> Review t b

An analogue of to for reviews.

1 declaration

valuereview :: Is k A_Review => Optic' k is t b -> b -> t

Retrieve the value targeted by a Review.

Example1 expression

>>> review _Left "hi"Left "hi"

0 declarations

review (unto f) = f

1 declaration

datadata A_Review

Tag for a review.

Instances14ReversibleOptic, Is, JoinKinds, MappingOptic, MappedOptic, ReversedOptic, …

ReversibleOptic A_ReviewDefined in optics-core-0.4.1.1 · Optics.Re
Is A_Prism A_ReviewDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
Is A_ReversedLens A_ReviewDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
Is An_Iso A_ReviewDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds A_Prism A_Review kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds A_ReversedLens A_Review kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds A_Review A_Prism kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds A_Review A_ReversedLens kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds A_Review A_Review kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds A_Review An_Iso kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
k ~ A_Review => JoinKinds An_Iso A_Review kDefined in optics-core-0.4.1.1 · Optics.Internal.Optic.Subtyping
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Review f g s t a bDefined in optics-core-0.4.1.1 · Optics.Mapping
type MappedOptic A_Review = A_ReviewDefined in optics-core-0.4.1.1 · Optics.Mapping
type ReversedOptic A_Review = A_GetterDefined in optics-core-0.4.1.1 · Optics.Re