Module
Data.Lens.Record
- Package
- profunctor-lenses
- Repository
- purerl/purescript-profunctor-lenses
#prop Source
prop :: forall l r1 r2 r a b proxy. IsSymbol l => Cons l a r r1 => Cons l b r r2 => proxy l -> Lens (Record r1) (Record r2) a b
Construct a (type-changing) lens for a record property, by providing a
proxy for the Symbol
which corresponds to the property label.
The lens is polymorphic in the rest of the row of property labels.
For example:
prop (Proxy :: Proxy "foo")
:: forall a b r. Lens { foo :: a | r } { foo :: b | r } a b
- Modules
- Data.
Lens - Data.
Lens. AffineTraversal - Data.
Lens. At - Data.
Lens. Common - Data.
Lens. Fold - Data.
Lens. Fold. Partial - Data.
Lens. Getter - Data.
Lens. Grate - Data.
Lens. Index - Data.
Lens. Indexed - Data.
Lens. Internal. Bazaar - Data.
Lens. Internal. Exchange - Data.
Lens. Internal. Focusing - Data.
Lens. Internal. Forget - Data.
Lens. Internal. Grating - Data.
Lens. Internal. Indexed - Data.
Lens. Internal. Market - Data.
Lens. Internal. Re - Data.
Lens. Internal. Shop - Data.
Lens. Internal. Stall - Data.
Lens. Internal. Tagged - Data.
Lens. Internal. Wander - Data.
Lens. Internal. Zipping - Data.
Lens. Iso - Data.
Lens. Iso. Newtype - Data.
Lens. Lens - Data.
Lens. Lens. Product - Data.
Lens. Lens. Tuple - Data.
Lens. Lens. Unit - Data.
Lens. Lens. Void - Data.
Lens. Prism - Data.
Lens. Prism. Coproduct - Data.
Lens. Prism. Either - Data.
Lens. Prism. Maybe - Data.
Lens. Record - Data.
Lens. Setter - Data.
Lens. Traversal - Data.
Lens. Types - Data.
Lens. Zoom