/usr/share/doc/libghc-lens-doc/html/Control-Lens-Internal-Magma.html is in libghc-lens-doc 4.13-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 | <!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>Control.Lens.Internal.Magma</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Control-Lens-Internal-Magma.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Lens-Internal-Magma.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">lens-4.13: Lenses, Folds and Traversals</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) 2012-2015 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Lens.Internal.Magma</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Magma</a></li><li><a href="#g:2">Molten</a></li><li><a href="#g:3">Mafic</a></li><li><a href="#g:4">TakingWhile</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></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">data</span> <a href="#t:Magma">Magma</a> i t b a <span class="keyword">where</span><ul class="subs"><li><a href="#v:MagmaAp">MagmaAp</a> :: <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i (x -> y) b a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i x b a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i y b a</li><li><a href="#v:MagmaPure">MagmaPure</a> :: x -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i x b a</li><li><a href="#v:MagmaFmap">MagmaFmap</a> :: (x -> y) -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i x b a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i y b a</li><li><a href="#v:Magma">Magma</a> :: i -> a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i b b a</li></ul></li><li class="src short"><a href="#v:runMagma">runMagma</a> :: <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t a a -> t</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Molten">Molten</a> i a b t = <a href="#v:Molten">Molten</a> {<ul class="subs"><li><a href="#v:runMolten">runMolten</a> :: <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b a</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:Mafic">Mafic</a> a b t = <a href="#v:Mafic">Mafic</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> t b a)</li><li class="src short"><a href="#v:runMafic">runMafic</a> :: <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a> a b t -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> t b a</li><li class="src short"><span class="keyword">data</span> <a href="#t:TakingWhile">TakingWhile</a> p g a b t = <a href="#v:TakingWhile">TakingWhile</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> () t b (<a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> p a))</li><li class="src short"><a href="#v:runTakingWhile">runTakingWhile</a> :: <a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f a b t -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> () t b (<a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> p a)</li></ul></div><div id="interface"><h1 id="g:1">Magma</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Magma" class="def">Magma</a> i t b a <span class="keyword">where</span> <a href="src/Control-Lens-Internal-Magma.html#Magma" class="link">Source</a></p><div class="doc"><p>This provides a way to peek at the internal structure of a
<code><a href="Control-Lens-Traversal.html#v:Traversal">Traversal</a></code> or <code><a href="Control-Lens-Traversal.html#v:IndexedTraversal">IndexedTraversal</a></code></p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:MagmaAp" class="def">MagmaAp</a> :: <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i (x -> y) b a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i x b a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i y b a</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:MagmaPure" class="def">MagmaPure</a> :: x -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i x b a</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:MagmaFmap" class="def">MagmaFmap</a> :: (x -> y) -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i x b a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i y b a</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Magma" class="def">Magma</a> :: i -> a -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i b b a</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Magma" class="caption collapser" onclick="toggleSection('i:Magma')">Instances</p><div id="section.i:Magma" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Indexed.html#t:TraversableWithIndex">TraversableWithIndex</a> i (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b)</span> <a href="src/Control-Lens-Indexed.html#line-751" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Indexed.html#t:FoldableWithIndex">FoldableWithIndex</a> i (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b)</span> <a href="src/Control-Lens-Indexed.html#line-744" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Indexed.html#t:FunctorWithIndex">FunctorWithIndex</a> i (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b)</span> <a href="src/Control-Lens-Indexed.html#line-737" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-71" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-77" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Traversal.html#t:Traversable">Traversable</a> (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-83" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> i, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> (<a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b a)</span> <a href="src/Control-Lens-Internal-Magma.html#line-89" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:runMagma" class="def">runMagma</a> :: <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t a a -> t <a href="src/Control-Lens-Internal-Magma.html#runMagma" class="link">Source</a></p><div class="doc"><p>Run a <code><a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a></code> where all the individual leaves have been converted to the
expected type</p></div></div><h1 id="g:2">Molten</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:Molten" class="def">Molten</a> i a b t <a href="src/Control-Lens-Internal-Magma.html#Molten" class="link">Source</a></p><div class="doc"><p>This is a a non-reassociating initially encoded version of <code><a href="Control-Lens-Internal-Bazaar.html#t:Bazaar">Bazaar</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Molten" class="def">Molten</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:runMolten" class="def">runMolten</a> :: <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> i t b a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Molten" class="caption collapser" onclick="toggleSection('i:Molten')">Instances</p><div id="section.i:Molten" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Context.html#t:IndexedComonad">IndexedComonad</a> (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i)</span> <a href="src/Control-Lens-Internal-Magma.html#line-142" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i)</span> <a href="src/Control-Lens-Internal-Magma.html#line-138" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Context.html#t:Sellable">Sellable</a> (<a href="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> i) (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i)</span> <a href="src/Control-Lens-Internal-Magma.html#line-128" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> (<a href="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> i) (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i)</span> <a href="src/Control-Lens-Internal-Magma.html#line-132" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-114" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-122" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(~) * a b => <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-158" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Magma.html#t:Molten">Molten</a> i a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-118" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><h1 id="g:3">Mafic</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Mafic" class="def">Mafic</a> a b t <a href="src/Control-Lens-Internal-Magma.html#Mafic" class="link">Source</a></p><div class="doc"><p>This is used to generate an indexed magma from an unindexed source</p><p>By constructing it this way we avoid infinite reassociations in sums where possible.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Mafic" class="def">Mafic</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> t b a)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Mafic" class="caption collapser" onclick="toggleSection('i:Mafic')">Instances</p><div id="section.i:Mafic" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a></span> <a href="src/Control-Lens-Internal-Magma.html#line-206" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Context.html#t:Sellable">Sellable</a> (->) <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a></span> <a href="src/Control-Lens-Internal-Magma.html#line-193" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> (<a href="Control-Lens-Internal-Indexed.html#t:Indexed">Indexed</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a>) <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a></span> <a href="src/Control-Lens-Internal-Magma.html#line-197" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a> a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-179" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a> a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-187" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a> a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-183" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:runMafic" class="def">runMafic</a> :: <a href="Control-Lens-Internal-Magma.html#t:Mafic">Mafic</a> a b t -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> t b a <a href="src/Control-Lens-Internal-Magma.html#runMafic" class="link">Source</a></p><div class="doc"><p>Generate a <code><a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a></code> using from a prefix sum.</p></div></div><h1 id="g:4">TakingWhile</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TakingWhile" class="def">TakingWhile</a> p g a b t <a href="src/Control-Lens-Internal-Magma.html#TakingWhile" class="link">Source</a></p><div class="doc"><p>This is used to generate an indexed magma from an unindexed source</p><p>By constructing it this way we avoid infinite reassociations where possible.</p><p>In <code><code><a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a></code> p g a b t</code>, <code>g</code> has a <code>nominal</code> role to avoid exposing an illegal _|_ via <code><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a></code>,
while the remaining arguments are degraded to a <code>nominal</code> role by the invariants of <code><a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a></code></p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TakingWhile" class="def">TakingWhile</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> t (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> () t b (<a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> p a))</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TakingWhile" class="caption collapser" onclick="toggleSection('i:TakingWhile')">Instances</p><div id="section.i:TakingWhile" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corepresentable">Corepresentable</a> p => <a href="Control-Lens-Internal-Bazaar.html#t:Bizarre">Bizarre</a> p (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p g)</span> <a href="src/Control-Lens-Internal-Magma.html#line-245" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Internal-Context.html#t:IndexedFunctor">IndexedFunctor</a> (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f)</span> <a href="src/Control-Lens-Internal-Magma.html#line-259" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-229" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-238" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> f => <a href="Control-Lens-Getter.html#t:Contravariant">Contravariant</a> (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-255" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f a b)</span> <a href="src/Control-Lens-Internal-Magma.html#line-233" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:runTakingWhile" class="def">runTakingWhile</a> :: <a href="Control-Lens-Internal-Magma.html#t:TakingWhile">TakingWhile</a> p f a b t -> <a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a> () t b (<a href="file:///usr/share/doc/libghc-profunctors-doc/html/Data-Profunctor-Rep.html#t:Corep">Corep</a> p a) <a href="src/Control-Lens-Internal-Magma.html#runTakingWhile" class="link">Source</a></p><div class="doc"><p>Generate a <code><a href="Control-Lens-Internal-Magma.html#t:Magma">Magma</a></code> with leaves only while the predicate holds from left to right.</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.16.1</p></div></body></html>
|