(%) :: Integral a => a -> a -> Ratio a

base -Data.Ratio  

<p>Forms the ratio of two integral numbers.</p>
(%) :: Integral a => a -> a -> Ratio a

haskell98 -Ratio  

<p>Forms the ratio of two integral numbers.</p>
(%) :: Integral a => a -> a -> Ratio a

haskell2010 -Data.Ratio  

<p>Forms the ratio of two integral numbers.</p>

ADPfusion -ADP.Fusion  

<p>This separator looks much paper "on paper" and is not widely used otherwise.</p>
(%) :: (PersistField s, IsString s) => expr (Value s) Class Method

esqueleto -Database.Esqueleto.Internal.Language  

<p>The string <code><code><a href="/?query=%28%28name%3A%28%21%25%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto.Internal.Language%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21%25%29">%</a></code></code>. May be useful while using <code><a href="/?query=%28%28name%3A%28%21like%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto.Internal.Language%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21like%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21like%29">like</a></code> and concatenation (<code><a href="/?query=%28%28name%3A%28%21concat_%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto.Internal.Language%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21concat_%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21concat_%29">concat_</a></code> or <code><a href="/?query=%28%28name%3A%28%21%2B%2B.%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto.Internal.Language%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%2B%2B.%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21%2B%2B.%29">++.</a></code>, depending on your database). Note that you always to type the parenthesis, for example:</p><pre>name `'like`` (%) ++. <code><a href="/?query=%28%28name%3A%28%21val%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto.Internal.Language%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21val%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21val%29">val</a></code> "John" ++. (%) </pre>
(%) :: (PersistField s, IsString s) => expr (Value s) Class Method

esqueleto -Database.Esqueleto  

<p>The string <code><code><a href="/?query=%28%28name%3A%28%21%25%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21%25%29">%</a></code></code>. May be useful while using <code><a href="/?query=%28%28name%3A%28%21like%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21like%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21like%29">like</a></code> and concatenation (<code><a href="/?query=%28%28name%3A%28%21concat_%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21concat_%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21concat_%29">concat_</a></code> or <code><a href="/?query=%28%28name%3A%28%21%2B%2B.%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%2B%2B.%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21%2B%2B.%29">++.</a></code>, depending on your database). Note that you always to type the parenthesis, for example:</p><pre>name `'like`` (%) ++. <code><a href="/?query=%28%28name%3A%28%21val%29%20package%3A%28%21esqueleto%29%20module%3A%28%21Database.Esqueleto%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21val%29%20package%3A%28%21esqueleto%29%29%5E10.0%29%20OR%20name%3A%28%21val%29">val</a></code> "John" ++. (%) </pre>
(%) :: Format r a -> Format r' r -> Format r' a

formatting -Formatting.Internal  

<p>Composition operator. <code><a href="/?query=%28%28name%3A%28%21Format%29%20package%3A%28%21formatting%29%20module%3A%28%21Formatting.Internal%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Format%29%20package%3A%28%21formatting%29%29%5E10.0%29%20OR%20name%3A%28%21Format%29">Format</a></code> is an instance of <code><a href="/?query=%28%28name%3A%28%21Category%29%20package%3A%28%21base%29%20module%3A%28%21Control.Category%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Category%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21Category%29">Category</a></code>, but that is (at present) inconvenient to use with regular <a href="/?query=%28%28name%3A%28%21Prelude%29%20package%3A%28%21base%29%20module%3A%28%21Prelude%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Prelude%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21Prelude%29">Prelude</a>. So this function is provided as a convenience.</p>
(%) :: Format r a -> Format r' r -> Format r' a

formatting -Formatting  

<p>Composition operator. <code><a href="/?query=%28%28name%3A%28%21Format%29%20package%3A%28%21formatting%29%20module%3A%28%21Formatting%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Format%29%20package%3A%28%21formatting%29%29%5E10.0%29%20OR%20name%3A%28%21Format%29">Format</a></code> is an instance of <code><a href="/?query=%28%28name%3A%28%21Category%29%20package%3A%28%21base%29%20module%3A%28%21Control.Category%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Category%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21Category%29">Category</a></code>, but that is (at present) inconvenient to use with regular <a href="/?query=%28%28name%3A%28%21Prelude%29%20package%3A%28%21base%29%20module%3A%28%21Prelude%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Prelude%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21Prelude%29">Prelude</a>. So this function is provided as a convenience.</p>
(%) :: (ValidDLU dim lcsu unit, Fractional n) => n -> unit -> Qu dim lcsu n

units -Data.Metrology.Poly  

<p>Infix synonym for <code><a href="/?query=%28%28name%3A%28%21quOf%29%20package%3A%28%21units%29%20module%3A%28%21Data.Metrology.Poly%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21quOf%29%20package%3A%28%21units%29%29%5E10.0%29%20OR%20name%3A%28%21quOf%29">quOf</a></code></p>
(%) :: (ValidDLU dim lcsu unit, VectorSpace n, Fractional (Scalar n)) => n -> unit -> Qu dim lcsu n

units -Data.Metrology.Vector  

<p>Infix synonym for <code><a href="/?query=%28%28name%3A%28%21quOf%29%20package%3A%28%21units%29%20module%3A%28%21Data.Metrology.Vector%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21quOf%29%20package%3A%28%21units%29%29%5E10.0%29%20OR%20name%3A%28%21quOf%29">quOf</a></code></p>
(%) :: (ValidDLU dim DefaultLCSU unit, Fractional n) => n -> unit -> Qu dim DefaultLCSU n

units -Data.Metrology  

<p>Infix synonym for <code><a href="/?query=%28%28name%3A%28%21quOf%29%20package%3A%28%21units%29%20module%3A%28%21Data.Metrology%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21quOf%29%20package%3A%28%21units%29%29%5E10.0%29%20OR%20name%3A%28%21quOf%29">quOf</a></code></p>

configuration-tools -Configuration.Utils.Operators  

<p>This operator is an alternative for <code><a href="/?query=%28%28name%3A%28%21%24%29%20package%3A%28%21base%29%20module%3A%28%21Prelude%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%24%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21%24%29">$</a></code> with a higher precedence. It is suitable for usage within applicative style code without the need to add parenthesis.</p>

xformat -Text.XFormat.Read  

<p>Right-associative pair. This is a shorter, functional equivalent to the type <code>(:%:)</code>. </p>

xformat -Text.XFormat.Show  

<p>Right-associative pair. This is a shorter, functional equivalent to the type <code>(:%:)</code>. </p>
(%~) :: Profunctor p => Setting p s t a b -> p a b -> s -> t

lens -Control.Lens.Operators  

<p>Modifies the target of a <code><a href="/?query=%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Lens%29">Lens</a></code> or all of the targets of a <code><a href="/?query=%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Setter%29">Setter</a></code> or <code><a href="/?query=%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Traversal%29">Traversal</a></code> with a user supplied function.</p><p>This is an infix version of <code><a href="/?query=%28%28name%3A%28%21over%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21over%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21over%29">over</a></code>.</p><pre><code><a href="/?query=%28%28name%3A%28%21fmap%29%20package%3A%28%21base%29%20module%3A%28%21Control.Monad%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21fmap%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21fmap%29">fmap</a></code> f &#8801; <code><a href="/?query=%28%28name%3A%28%21mapped%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21mapped%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21mapped%29">mapped</a></code> <code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code> f <code><a href="/?query=%28%28name%3A%28%21fmapDefault%29%20package%3A%28%21base%29%20module%3A%28%21Data.Traversable%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21fmapDefault%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21fmapDefault%29">fmapDefault</a></code> f &#8801; <code><a href="/?query=%28%28name%3A%28%21traverse%29%20package%3A%28%21base%29%20module%3A%28%21Data.Traversable%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21traverse%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21traverse%29">traverse</a></code> <code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code> f </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(a,b,c) & _3 %~ f </code></strong>(a,b,f c) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(a,b) & both %~ f </code></strong>(f a,f b) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_2 %~ length $ (1,"hello") </code></strong>(1,5) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>traverse %~ f $ [a,b,c] </code></strong>[f a,f b,f c] </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>traverse %~ even $ [1,2,3] </code></strong>[False,True,False] </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>traverse.traverse %~ length $ [["hello","world"],["!!!"]] </code></strong>[[5,5],[3]] </pre><pre>(<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Setter%29">Setter</a></code> s t a b -> (a -> b) -> s -> t (<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Iso%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Iso%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Iso%29">Iso</a></code> s t a b -> (a -> b) -> s -> t (<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Lens%29">Lens</a></code> s t a b -> (a -> b) -> s -> t (<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Traversal%29">Traversal</a></code> s t a b -> (a -> b) -> s -> t </pre>
(%=) :: (Profunctor p, MonadState s m) => Setting p s s a b -> p a b -> m ()

lens -Control.Lens.Operators  

<p>Map over the target of a <code><a href="/?query=%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Lens%29">Lens</a></code> or all of the targets of a <code><a href="/?query=%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Setter%29">Setter</a></code> or <code><a href="/?query=%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Traversal%29">Traversal</a></code> in our monadic state.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>execState (do _1 %= f;_2 %= g) (a,b) </code></strong>(f a,g b) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>execState (do both %= f) (a,b) </code></strong>(f a,f b) </pre><pre>(<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Iso%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Iso%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Iso%5C%27%27%29">Iso'</a></code> s a -> (a -> a) -> m () (<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Lens%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Lens%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Lens%5C%27%27%29">Lens'</a></code> s a -> (a -> a) -> m () (<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Traversal%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Traversal%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Traversal%5C%27%27%29">Traversal'</a></code> s a -> (a -> a) -> m () (<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Setter%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Setter%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Setter%5C%27%27%29">Setter'</a></code> s a -> (a -> a) -> m () </pre><pre>(<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Operators%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21ASetter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21ASetter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21ASetter%29">ASetter</a></code> s s a b -> (a -> b) -> m () </pre>
(%~) :: Profunctor p => Setting p s t a b -> p a b -> s -> t

lens -Control.Lens.Setter  

<p>Modifies the target of a <code><a href="/?query=%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Lens%29">Lens</a></code> or all of the targets of a <code><a href="/?query=%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Setter%29">Setter</a></code> or <code><a href="/?query=%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Traversal%29">Traversal</a></code> with a user supplied function.</p><p>This is an infix version of <code><a href="/?query=%28%28name%3A%28%21over%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21over%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21over%29">over</a></code>.</p><pre><code><a href="/?query=%28%28name%3A%28%21fmap%29%20package%3A%28%21base%29%20module%3A%28%21Control.Monad%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21fmap%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21fmap%29">fmap</a></code> f &#8801; <code><a href="/?query=%28%28name%3A%28%21mapped%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21mapped%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21mapped%29">mapped</a></code> <code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code> f <code><a href="/?query=%28%28name%3A%28%21fmapDefault%29%20package%3A%28%21base%29%20module%3A%28%21Data.Traversable%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21fmapDefault%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21fmapDefault%29">fmapDefault</a></code> f &#8801; <code><a href="/?query=%28%28name%3A%28%21traverse%29%20package%3A%28%21base%29%20module%3A%28%21Data.Traversable%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21traverse%29%20package%3A%28%21base%29%29%5E10.0%29%20OR%20name%3A%28%21traverse%29">traverse</a></code> <code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code> f </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(a,b,c) & _3 %~ f </code></strong>(a,b,f c) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>(a,b) & both %~ f </code></strong>(f a,f b) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>_2 %~ length $ (1,"hello") </code></strong>(1,5) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>traverse %~ f $ [a,b,c] </code></strong>[f a,f b,f c] </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>traverse %~ even $ [1,2,3] </code></strong>[False,True,False] </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>traverse.traverse %~ length $ [["hello","world"],["!!!"]] </code></strong>[[5,5],[3]] </pre><pre>(<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Setter%29">Setter</a></code> s t a b -> (a -> b) -> s -> t (<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Iso%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Iso%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Iso%29">Iso</a></code> s t a b -> (a -> b) -> s -> t (<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Lens%29">Lens</a></code> s t a b -> (a -> b) -> s -> t (<code><a href="/?query=%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25~%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25~%29">%~</a></code>) :: <code><a href="/?query=%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Traversal%29">Traversal</a></code> s t a b -> (a -> b) -> s -> t </pre>
(%=) :: (Profunctor p, MonadState s m) => Setting p s s a b -> p a b -> m ()

lens -Control.Lens.Setter  

<p>Map over the target of a <code><a href="/?query=%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Lens%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Lens%29">Lens</a></code> or all of the targets of a <code><a href="/?query=%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Setter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Setter%29">Setter</a></code> or <code><a href="/?query=%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21Traversal%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21Traversal%29">Traversal</a></code> in our monadic state.</p><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>execState (do _1 %= f;_2 %= g) (a,b) </code></strong>(f a,g b) </pre><pre class="screen"><code class="prompt">>>> </code><strong class="userinput"><code>execState (do both %= f) (a,b) </code></strong>(f a,f b) </pre><pre>(<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Iso%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Iso%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Iso%5C%27%27%29">Iso'</a></code> s a -> (a -> a) -> m () (<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Lens%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Lens%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Lens%5C%27%27%29">Lens'</a></code> s a -> (a -> a) -> m () (<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Traversal%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Type%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Traversal%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Traversal%5C%27%27%29">Traversal'</a></code> s a -> (a -> a) -> m () (<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21%27Setter%5C%27%27%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%27Setter%5C%27%27%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%27Setter%5C%27%27%29">Setter'</a></code> s a -> (a -> a) -> m () </pre><pre>(<code><a href="/?query=%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21%25%3D%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21%25%3D%29">%=</a></code>) :: <code>MonadState</code> s m => <code><a href="/?query=%28%28name%3A%28%21ASetter%29%20package%3A%28%21lens%29%20module%3A%28%21Control.Lens.Setter%29%29%5E100.0%29%20OR%20%28%28name%3A%28%21ASetter%29%20package%3A%28%21lens%29%29%5E10.0%29%20OR%20name%3A%28%21ASetter%29">ASetter</a></code> s s a b -> (a -> b) -> m () </pre>