Type synonym for a review.
Moduleoptics-core-0.4.2Haskell2010
Optics.Review
- Packageoptics-core-0.4.2
- Exports4
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceReview.hs
Formation
Introduction
An analogue of to for reviews.
Elimination
Retrieve the value targeted by a Review.
review _Left "hi"Left "hi"
Computation
Subtyping
Tag for a review.
Instances14ReversibleOptic, Is, JoinKinds, MappingOptic, MappedOptic, ReversedOptic, …
ReversibleOptic A_ReviewDefined in optics-core-0.4.2 · Optics.ReIs A_Prism A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs A_ReversedLens A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.SubtypingIs An_Iso A_ReviewDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Prism A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_ReversedLens A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_ReversedLens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review A_Review kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds A_Review An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtypingk ~ A_Review => JoinKinds An_Iso A_Review kDefined in optics-core-0.4.2 · 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.2 · Optics.Mappingtype MappedOptic A_Review = A_ReviewDefined in optics-core-0.4.2 · Optics.Mappingtype ReversedOptic A_Review = A_GetterDefined in optics-core-0.4.2 · Optics.Re
