Optics.Mapping · optics-core-0.4.2

classclass MappingOptic (k :: OpticKind) (f :: Type -> Type) (g :: Type -> Type) s t a b where

Class for optics supporting mapping through a Functor.

Associated types

type family MappedOptic (k :: OpticKind)
Type family that maps an optic to the optic kind produced by mapping using it.

Methods

mapping :: AcceptsEmptyIndices "mapping" is => Optic k is s t a b -> Optic (MappedOptic k) is (f s) (g t) (f a) (g b)

The mapping can be used to lift optic through a Functor.

mapping :: Iso    s t a b -> Iso    (f s) (g t) (f a) (g b)
mapping :: Lens   s   a   -> Getter (f s)       (f a)
mapping :: Getter s   a   -> Getter (f s)       (f a)
mapping :: Prism    t   b -> Review       (g t)       (g b)
mapping :: Review   t   b -> Review       (g t)       (g b)

Instances7MappingOptic, …

(Functor f, Functor g) => MappingOptic An_Iso f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping

(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Getter f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping

Example1 expression

>>> [('a', True), ('b', False)] ^. _1 %& mapping"ab"

Example2 expressions

>>> let v = [[ (('a', True), "foo"), (('b', False), "bar")], [ (('c', True), "xyz") ] ]>>> v ^. _1 % _2 %& mapping %& mapping[[True,False],[True]]

(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Lens f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Prism f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_ReversedLens f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_ReversedPrism f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping
(Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Review f g s t a bDefined in optics-core-0.4.2 · Optics.Mapping