Pandora.Paradigm.Inventory.Optics

Documentation

type (:-.) src tgt = Lens src tgt infixr 0

type Lens = PQ_ (->) Store

type (:~.) src tgt = forall a. Lens (src a) (tgt a) infixr 0

view :: Lens src tgt -> src -> tgt

Get the target of a lens

set :: Lens src tgt -> tgt -> src -> src

Replace the target of a lens

over :: Lens src tgt -> (tgt -> tgt) -> src -> src

Modify the target of a lens

represent :: (Representable t, Setoid (Representation t)) => Representation t -> t a :-. a

Representable based lens

Orphan instances

Category Lens

Methods

identity :: Lens a a

(.) :: Lens b c -> Lens a b -> Lens a c

($) :: Lens (Lens a b) (Lens a b)

(#) :: Lens (Lens a b) (Lens a b)