Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Inventory.Optics

Synopsis

type (:-.) src tgt = Lens src tgt
type Lens src tgt = src |-> Store tgt
type (:~.) t u a = Lens (t a) (u a)
(|>) :: Lens src old -> Lens old new -> Lens src new
view :: Lens src tgt -> src -> tgt
(^.) :: Lens src tgt -> src -> tgt
set :: Lens src tgt -> tgt -> src -> src
(.~) :: Lens src tgt -> tgt -> src -> src
over :: Lens src tgt -> (tgt -> tgt) -> src -> src
(%~) :: Lens src tgt -> (tgt -> tgt) -> src -> src
represent :: (Representable t, Setoid (Representation t)) => Representation t -> t a :-. a

Documentation

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

type Lens src tgt = src |-> Store tgt Source #

type (:~.) t u a = Lens (t a) (u a) Source #

(|>) :: Lens src old -> Lens old new -> Lens src new Source #

Lens composition infix operator

view :: Lens src tgt -> src -> tgt Source #

Get the target of a lens

(^.) :: Lens src tgt -> src -> tgt Source #

Infix version of view

set :: Lens src tgt -> tgt -> src -> src Source #

Replace the target of a lens

(.~) :: Lens src tgt -> tgt -> src -> src Source #

Infix version of set

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

Modify the target of a lens

(%~) :: Lens src tgt -> (tgt -> tgt) -> src -> src Source #

Infix version of over

Representable based lens