Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type Iso ta tb a b = forall p. Profunctor 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 AffineTraversal ta tb a b = forall p. (Strong p, Choice 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 AffineTraversal' ta a = Simple AffineTraversal ta a Source
type Traversal' ta a = Simple Traversal ta a Source
class Profunctor p Source
Profunctor (->) Source | |
Functor f => Profunctor (Kleisli f) Source | |
Functor f => Profunctor (SuperStar f) Source | |
(Profunctor p, Profunctor q) => Profunctor (ProProduct p q) Source | |
Profunctor p => Profunctor (EitherSide p c d) Source | |
Profunctor p => Profunctor (AlongSide p c d) Source |
class Profunctor p => Strong p Source
class Strong p => OutPhantom p Source
Phantom f => OutPhantom (Kleisli f) Source | |
OutPhantom p => OutPhantom (AlongSide p c d) Source |
class Profunctor p => Choice p Source