Safe Haskell | None |
---|---|
Language | Haskell2010 |
Formation
Introduction
Elimination
review :: Is k A_Review => Optic' k is t b -> b -> t Source #
Retrieve the value targeted by a Review
.
>>>
review _Left "hi"
Left "hi"
Computation
Subtyping
data A_Review :: OpticKind Source #
Tag for a review.
Instances
ReversibleOptic A_Review Source # | |
Is A_ReversedLens A_Review Source # | |
Defined in Optics.Internal.Optic.Subtyping implies :: forall (p :: Type -> Type -> Type -> Type) r. (Constraints A_ReversedLens p => r) -> Constraints A_Review p => r Source # | |
Is A_Prism A_Review Source # | |
Defined in Optics.Internal.Optic.Subtyping | |
Is An_Iso A_Review Source # | |
Defined in Optics.Internal.Optic.Subtyping | |
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Review f g s t a b Source # | |
Defined in Optics.Mapping type MappedOptic A_Review Source # mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_Review is s t a b -> Optic (MappedOptic A_Review) is (f s) (g t) (f a) (g b) Source # | |
type ReversedOptic A_Review Source # | |
Defined in Optics.Re | |
type MappedOptic A_Review Source # | |
Defined in Optics.Mapping |