Pandora.Paradigm.Inventory.Optics

Documentation

type Lens src tgt = src |-> Store tgt

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

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

Lens composition infix operator

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

zoom :: Stateful bg t => Lens bg ls -> State ls a -> t a

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

Infix version of view

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

Infix version of set

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

Infix version of over