| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Optics.Review
Synopsis
- data A_Review :: OpticKind
- type Review s t a b = Optic A_Review '[] s t a b
- type Review' b t = Optic' A_Review '[] t b
- toReview :: Is k A_Review => Optic k is s t a b -> Optic A_Review is s t a b
- review :: Is k A_Review => Optic' k is t b -> b -> t
- unto :: (b -> t) -> Review' b t
- class ReversibleOptic k where
- type ReversedOptic k :: OpticKind
- module Optics.Optic
Documentation
Tag for a review.
Instances
| ReversibleOptic A_Review # | |
Defined in Optics.Internal.Re Associated Types type ReversedOptic A_Review :: OpticKind # | |
| Is A_LensyReview A_Review # | |
Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_LensyReview A_Review p -> (Constraints A_LensyReview p -> r) -> Constraints A_Review p -> r | |
| Is A_Prism A_Review # | |
| Is An_Iso A_Review # | |
| Is An_Equality A_Review # | |
Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Equality A_Review p -> (Constraints An_Equality p -> r) -> Constraints A_Review p -> r | |
| type ReversedOptic A_Review # | |
Defined in Optics.Internal.Re | |
toReview :: Is k A_Review => Optic k is s t a b -> Optic A_Review is s t a b #
Explicitly cast an optic to a review.
class ReversibleOptic k where #
Minimal complete definition
Associated Types
type ReversedOptic k :: OpticKind #
Methods
re :: Optic k '[] s t a b -> Optic (ReversedOptic k) '[] b a t s #
Reverses optics, turning around Equality into Equality, Iso into
Iso, Prism into PrismaticGetter (and back), Lens into LensyReview
(and back) and Getter into Review (and back).
Instances
module Optics.Optic