Documentation

type Optical p ta tb a b = p a b -> p ta tb Source

type Iso ta tb a b = forall p. Profunctor p => Optical p ta tb a b Source

type Lens ta tb a b = forall p. Strong p => Optical p ta tb a b Source

type To ta tb a b = forall p. OutPhantom p => Optical p ta tb a b Source

type Prism ta tb a b = forall p. Choice p => Optical p ta tb a b Source

type Fro ta tb a b = forall p. InPhantom p => Optical p ta tb a b Source

type AffineTraversal ta tb a b = forall p. (Strong p, Choice p) => Optical p ta tb a b Source

type Traversal ta tb a b = forall p. Wandering p => Optical p ta tb a b Source

type Fold ta tb a b = forall p. (OutPhantom p, Wandering p) => Optical p ta tb a b Source

type SEC ta tb a b = forall p. Cartographic p => Optical p ta tb a b Source

type Optical' p ta a = p a a -> p ta ta Source

type Simple f ta a = f ta ta a a Source

type Iso' ta a = Simple Iso ta a Source

type Lens' ta a = Simple Lens ta a Source

type Prism' ta a = Simple Prism ta a Source

type AffineTraversal' ta a = Simple AffineTraversal ta a Source

type Traversal' ta a = Simple Traversal ta a Source

type SEC' ta a = Simple SEC ta a Source

class Profunctor p Source

class Profunctor p => Strong p Source

class Strong p => OutPhantom p Source

class Profunctor p => Choice p Source

class Choice p => InPhantom p Source

class (Strong p, Choice p) => Wandering p Source

class Wandering p => Cartographic p Source