/usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Mapping.html is in libghc-profunctors-doc 5.2-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Profunctor.Mapping</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Profunctor-Mapping.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Profunctor-Mapping.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">profunctors-5.2: Profunctors</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.Profunctor.Mapping</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Closed in terms of Mapping</a></li></ul></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> (<a href="Data-Profunctor-Traversing.html#t:Traversing">Traversing</a> p, <a href="Data-Profunctor-Closed.html#t:Closed">Closed</a> p) => <a href="#t:Mapping">Mapping</a> p <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">newtype</span> <a href="#t:CofreeMapping">CofreeMapping</a> p a b = <a href="#v:CofreeMapping">CofreeMapping</a> {<ul class="subs"><li><a href="#v:runCofreeMapping">runCofreeMapping</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => p (f a) (f b)</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:FreeMapping">FreeMapping</a> p a b <span class="keyword">where</span><ul class="subs"><li><a href="#v:FreeMapping">FreeMapping</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => (f y -> b) -> p x y -> (a -> f x) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b</li></ul></li><li class="src short"><a href="#v:traverseMapping">traverseMapping</a> :: (<a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f) => p a b -> p (f a) (f b)</li><li class="src short"><a href="#v:closedMapping">closedMapping</a> :: <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> p => p a b -> p (x -> a) (x -> b)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-Profunctor-Traversing.html#t:Traversing">Traversing</a> p, <a href="Data-Profunctor-Closed.html#t:Closed">Closed</a> p) => <a id="t:Mapping" class="def">Mapping</a> p <span class="keyword">where</span> <a href="src/Data-Profunctor-Mapping.html#Mapping" class="link">Source</a> <a href="#t:Mapping" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Data-Profunctor-Mapping.html#v:map-39-">map'</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:map-39-" class="def">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => p a b -> p (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Mapping" class="caption collapser" onclick="toggleSection('i:Mapping')">Instances</p><div id="section.i:Mapping" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Mapping:Mapping:1" class="instance expander" onclick="toggleSection('i:ic:Mapping:Mapping:1')"></span> <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (->)</span> <a href="src/Data-Profunctor-Mapping.html#line-31" class="link">Source</a> <a href="#t:Mapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Mapping:Mapping:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => (a -> b) -> f a -> f b <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Mapping:Mapping:2" class="instance expander" onclick="toggleSection('i:ic:Mapping:Mapping:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/share/doc/libghc-distributive-doc/html/Data-Distributive.html#t:Distributive">Distributive</a> m) => <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m)</span> <a href="src/Data-Profunctor-Mapping.html#line-34" class="link">Source</a> <a href="#t:Mapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Mapping:Mapping:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Arrow.html#t:Kleisli">Kleisli</a> m (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Mapping:Mapping:3" class="instance expander" onclick="toggleSection('i:ic:Mapping:Mapping:3')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> m, <a href="file:///usr/share/doc/libghc-distributive-doc/html/Data-Distributive.html#t:Distributive">Distributive</a> m) => <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (<a href="Data-Profunctor-Types.html#t:Star">Star</a> m)</span> <a href="src/Data-Profunctor-Mapping.html#line-38" class="link">Source</a> <a href="#t:Mapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Mapping:Mapping:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-Profunctor-Types.html#t:Star">Star</a> m a b -> <a href="Data-Profunctor-Types.html#t:Star">Star</a> m (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Mapping:Mapping:4" class="instance expander" onclick="toggleSection('i:ic:Mapping:Mapping:4')"></span> <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-100" class="link">Source</a> <a href="#t:Mapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Mapping:Mapping:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Mapping:Mapping:5" class="instance expander" onclick="toggleSection('i:ic:Mapping:Mapping:5')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-66" class="link">Source</a> <a href="#t:Mapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Mapping:Mapping:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:CofreeMapping" class="def">CofreeMapping</a> p a b <a href="src/Data-Profunctor-Mapping.html#CofreeMapping" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:CofreeMapping" class="def">CofreeMapping</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runCofreeMapping" class="def">runCofreeMapping</a> :: <span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => p (f a) (f b)</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:CofreeMapping" class="caption collapser" onclick="toggleSection('i:CofreeMapping')">Instances</p><div id="section.i:CofreeMapping" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:ProfunctorComonad:1" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:ProfunctorComonad:1')"></span> <a href="Data-Profunctor-Monad.html#t:ProfunctorComonad">ProfunctorComonad</a> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a></span> <a href="src/Data-Profunctor-Mapping.html#line-73" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:ProfunctorComonad:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:proextract">proextract</a> :: <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> p <a href="src/Data-Profunctor-Monad.html#proextract" class="link">Source</a> <a href="#v:proextract" class="selflink">#</a></p><p class="src"><a href="#v:produplicate">produplicate</a> :: <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p) <a href="src/Data-Profunctor-Monad.html#produplicate" class="link">Source</a> <a href="#v:produplicate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:ProfunctorFunctor:2" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:ProfunctorFunctor:2')"></span> <a href="Data-Profunctor-Monad.html#t:ProfunctorFunctor">ProfunctorFunctor</a> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a></span> <a href="src/Data-Profunctor-Mapping.html#line-70" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:ProfunctorFunctor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:promap">promap</a> :: <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => (p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> q) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> q <a href="src/Data-Profunctor-Monad.html#promap" class="link">Source</a> <a href="#v:promap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:Profunctor:3" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:Profunctor:3')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-49" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:Profunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dimap">dimap</a> :: (a -> b) -> (c -> d) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p b c -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a d <a href="src/Data-Profunctor-Unsafe.html#dimap" class="link">Source</a> <a href="#v:dimap" class="selflink">#</a></p><p class="src"><a href="#v:lmap">lmap</a> :: (a -> b) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p b c -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#lmap" class="link">Source</a> <a href="#v:lmap" class="selflink">#</a></p><p class="src"><a href="#v:rmap">rmap</a> :: (b -> c) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#rmap" class="link">Source</a> <a href="#v:rmap" class="selflink">#</a></p><p class="src"><a href="#v:-35-.">(#.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> c b => (b -> c) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#%23." class="link">Source</a> <a href="#v:-35-." class="selflink">#</a></p><p class="src"><a href="#v:.-35-">(.#)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> b a => <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p b c -> (a -> b) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#.%23" class="link">Source</a> <a href="#v:.-35-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:Strong:4" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:Strong:4')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Strong.html#t:Strong">Strong</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-54" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:Strong:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:first-39-">first'</a> :: <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (a, c) (b, c) <a href="src/Data-Profunctor-Strong.html#first%27" class="link">Source</a> <a href="#v:first-39-" class="selflink">#</a></p><p class="src"><a href="#v:second-39-">second'</a> :: <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (c, a) (c, b) <a href="src/Data-Profunctor-Strong.html#second%27" class="link">Source</a> <a href="#v:second-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:Closed:5" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:Closed:5')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Closed.html#t:Closed">Closed</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-60" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:Closed:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:closed">closed</a> :: <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (x -> a) (x -> b) <a href="src/Data-Profunctor-Closed.html#closed" class="link">Source</a> <a href="#v:closed" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:Choice:6" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:Choice:6')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Choice.html#t:Choice">Choice</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-57" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:Choice:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:left-39-">left'</a> :: <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> a c) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> b c) <a href="src/Data-Profunctor-Choice.html#left%27" class="link">Source</a> <a href="#v:left-39-" class="selflink">#</a></p><p class="src"><a href="#v:right-39-">right'</a> :: <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> c a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> c b) <a href="src/Data-Profunctor-Choice.html#right%27" class="link">Source</a> <a href="#v:right-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:Traversing:7" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:Traversing:7')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Traversing.html#t:Traversing">Traversing</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-63" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:Traversing:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse-39-">traverse'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (f a) (f b) <a href="src/Data-Profunctor-Traversing.html#traverse%27" class="link">Source</a> <a href="#v:traverse-39-" class="selflink">#</a></p><p class="src"><a href="#v:wander">wander</a> :: (<span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> s -> f t) -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p s t <a href="src/Data-Profunctor-Traversing.html#wander" class="link">Source</a> <a href="#v:wander" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:CofreeMapping:Mapping:8" class="instance expander" onclick="toggleSection('i:id:CofreeMapping:Mapping:8')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (<a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-66" class="link">Source</a> <a href="#t:CofreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:CofreeMapping:Mapping:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:CofreeMapping">CofreeMapping</a> p (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:FreeMapping" class="def">FreeMapping</a> p a b <span class="keyword">where</span> <a href="src/Data-Profunctor-Mapping.html#FreeMapping" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></p><div class="doc"><pre>FreeMapping -| CofreeMapping</pre></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:FreeMapping" class="def">FreeMapping</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => (f y -> b) -> p x y -> (a -> f x) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:FreeMapping" class="caption collapser" onclick="toggleSection('i:FreeMapping')">Instances</p><div id="section.i:FreeMapping" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:ProfunctorMonad:1" class="instance expander" onclick="toggleSection('i:id:FreeMapping:ProfunctorMonad:1')"></span> <a href="Data-Profunctor-Monad.html#t:ProfunctorMonad">ProfunctorMonad</a> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a></span> <a href="src/Data-Profunctor-Mapping.html#line-106" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:ProfunctorMonad:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:proreturn">proreturn</a> :: <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p <a href="src/Data-Profunctor-Monad.html#proreturn" class="link">Source</a> <a href="#v:proreturn" class="selflink">#</a></p><p class="src"><a href="#v:projoin">projoin</a> :: <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p) <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p <a href="src/Data-Profunctor-Monad.html#projoin" class="link">Source</a> <a href="#v:projoin" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:ProfunctorFunctor:2" class="instance expander" onclick="toggleSection('i:id:FreeMapping:ProfunctorFunctor:2')"></span> <a href="Data-Profunctor-Monad.html#t:ProfunctorFunctor">ProfunctorFunctor</a> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a></span> <a href="src/Data-Profunctor-Mapping.html#line-103" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:ProfunctorFunctor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:promap">promap</a> :: <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> p => (p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> q) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p <a href="Data-Profunctor-Types.html#t::-45--62-">:-></a> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> q <a href="src/Data-Profunctor-Monad.html#promap" class="link">Source</a> <a href="#v:promap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:Profunctor:3" class="instance expander" onclick="toggleSection('i:id:FreeMapping:Profunctor:3')"></span> <a href="Data-Profunctor-Unsafe.html#t:Profunctor">Profunctor</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-81" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:Profunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:dimap">dimap</a> :: (a -> b) -> (c -> d) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p b c -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a d <a href="src/Data-Profunctor-Unsafe.html#dimap" class="link">Source</a> <a href="#v:dimap" class="selflink">#</a></p><p class="src"><a href="#v:lmap">lmap</a> :: (a -> b) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p b c -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#lmap" class="link">Source</a> <a href="#v:lmap" class="selflink">#</a></p><p class="src"><a href="#v:rmap">rmap</a> :: (b -> c) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#rmap" class="link">Source</a> <a href="#v:rmap" class="selflink">#</a></p><p class="src"><a href="#v:-35-.">(#.)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> c b => (b -> c) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#%23." class="link">Source</a> <a href="#v:-35-." class="selflink">#</a></p><p class="src"><a href="#v:.-35-">(.#)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Coerce.html#t:Coercible">Coercible</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> b a => <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p b c -> (a -> b) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a c <a href="src/Data-Profunctor-Unsafe.html#.%23" class="link">Source</a> <a href="#v:.-35-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:Strong:4" class="instance expander" onclick="toggleSection('i:id:FreeMapping:Strong:4')"></span> <a href="Data-Profunctor-Strong.html#t:Strong">Strong</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-88" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:Strong:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:first-39-">first'</a> :: <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (a, c) (b, c) <a href="src/Data-Profunctor-Strong.html#first%27" class="link">Source</a> <a href="#v:first-39-" class="selflink">#</a></p><p class="src"><a href="#v:second-39-">second'</a> :: <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (c, a) (c, b) <a href="src/Data-Profunctor-Strong.html#second%27" class="link">Source</a> <a href="#v:second-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:Closed:5" class="instance expander" onclick="toggleSection('i:id:FreeMapping:Closed:5')"></span> <a href="Data-Profunctor-Closed.html#t:Closed">Closed</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-94" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:Closed:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:closed">closed</a> :: <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (x -> a) (x -> b) <a href="src/Data-Profunctor-Closed.html#closed" class="link">Source</a> <a href="#v:closed" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:Choice:6" class="instance expander" onclick="toggleSection('i:id:FreeMapping:Choice:6')"></span> <a href="Data-Profunctor-Choice.html#t:Choice">Choice</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-91" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:Choice:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:left-39-">left'</a> :: <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> a c) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> b c) <a href="src/Data-Profunctor-Choice.html#left%27" class="link">Source</a> <a href="#v:left-39-" class="selflink">#</a></p><p class="src"><a href="#v:right-39-">right'</a> :: <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> c a) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Either.html#t:Either">Either</a> c b) <a href="src/Data-Profunctor-Choice.html#right%27" class="link">Source</a> <a href="#v:right-39-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:Traversing:7" class="instance expander" onclick="toggleSection('i:id:FreeMapping:Traversing:7')"></span> <a href="Data-Profunctor-Traversing.html#t:Traversing">Traversing</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-97" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:Traversing:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse-39-">traverse'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (f a) (f b) <a href="src/Data-Profunctor-Traversing.html#traverse%27" class="link">Source</a> <a href="#v:traverse-39-" class="selflink">#</a></p><p class="src"><a href="#v:wander">wander</a> :: (<span class="keyword">forall</span> f. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> s -> f t) -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p s t <a href="src/Data-Profunctor-Traversing.html#wander" class="link">Source</a> <a href="#v:wander" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:FreeMapping:Mapping:8" class="instance expander" onclick="toggleSection('i:id:FreeMapping:Mapping:8')"></span> <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> (<a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p)</span> <a href="src/Data-Profunctor-Mapping.html#line-100" class="link">Source</a> <a href="#t:FreeMapping" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:FreeMapping:Mapping:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:map-39-">map'</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f => <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p a b -> <a href="Data-Profunctor-Mapping.html#t:FreeMapping">FreeMapping</a> p (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#map%27" class="link">Source</a> <a href="#v:map-39-" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h1 id="g:1">Closed in terms of Mapping</h1><div class="top"><p class="src"><a id="v:traverseMapping" class="def">traverseMapping</a> :: (<a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> p, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> f) => p a b -> p (f a) (f b) <a href="src/Data-Profunctor-Mapping.html#traverseMapping" class="link">Source</a> <a href="#v:traverseMapping" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:closedMapping" class="def">closedMapping</a> :: <a href="Data-Profunctor-Mapping.html#t:Mapping">Mapping</a> p => p a b -> p (x -> a) (x -> b) <a href="src/Data-Profunctor-Mapping.html#closedMapping" class="link">Source</a> <a href="#v:closedMapping" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|