| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Optics.LensyReview
Synopsis
- data A_LensyReview :: OpticKind
- type LensyReview s t a b = Optic A_LensyReview '[] s t a b
- type LensyReview' b t = Optic' A_LensyReview '[] t b
- module Optics.Optic
Documentation
data A_LensyReview :: OpticKind #
Tag for a lensy review.
Instances
| ReversibleOptic A_LensyReview # | |
Defined in Optics.Internal.Re Associated Types type ReversedOptic A_LensyReview :: OpticKind # Methods re :: Optic A_LensyReview [] s t a b -> Optic (ReversedOptic A_LensyReview) [] b a t s # | |
| 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 An_Iso A_LensyReview # | |
Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Iso A_LensyReview p -> (Constraints An_Iso p -> r) -> Constraints A_LensyReview p -> r | |
| Is An_Equality A_LensyReview # | |
Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Equality A_LensyReview p -> (Constraints An_Equality p -> r) -> Constraints A_LensyReview p -> r | |
| type ReversedOptic A_LensyReview # | |
Defined in Optics.Internal.Re | |
type LensyReview s t a b = Optic A_LensyReview '[] s t a b #
Type synonym for a type-modifying lensy review.
type LensyReview' b t = Optic' A_LensyReview '[] t b #
Type synonym for a type-preserving lensy review.
module Optics.Optic