Module

Data.Lens.Lens

This module defines functions for working with lenses.

lens' :: forall b a t s. (s -> Tuple a (b -> t)) -> Lens s t a b

lens :: forall b a t s. (s -> a) -> (s -> b -> t) -> Lens s t a b

Create a Lens from a getter/setter pair.

withLens :: forall r b a t s. ALens s t a b -> ((s -> a) -> (s -> b -> t) -> r) -> r

cloneLens :: forall b a t s. ALens s t a b -> Lens s t a b

ilens' :: forall b a t s i. (s -> Tuple (Tuple i a) (b -> t)) -> IndexedLens i s t a b

ilens :: forall b a t s i. (s -> Tuple i a) -> (s -> b -> t) -> IndexedLens i s t a b

withIndexedLens :: forall r b a t s i. (AnIndexedLens i s t a b) -> ((s -> (Tuple i a)) -> (s -> b -> t) -> r) -> r

cloneIndexedLens :: forall b a t s i. AnIndexedLens i s t a b -> IndexedLens i s t a b

Re-exports from Data.Lens.Types

type Lens' s a = Lens s s a a

type Lens s t a b = forall p. Strong p => Optic p s t a b

A lens.

type IndexedLens' i s a = IndexedLens i s s a a

type IndexedLens i s t a b = forall p. Strong p => IndexedOptic p i s t a b

An indexed lens.

type AnIndexedLens' i s a = AnIndexedLens i s s a a

type AnIndexedLens i s t a b = IndexedOptic (Shop (Tuple i a) b) i s t a b

type ALens' s a = ALens s s a a

type ALens s t a b = Optic (Shop a b) s t a b