/usr/share/doc/libghc-parallel-doc/html/Control-Seq.html is in libghc-parallel-doc 3.2.1.1-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 8 9 10 11 12 13 14 15 16 17 18 | <!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.Seq</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_Control-Seq.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Seq.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">parallel-3.2.1.1: Parallel programming library</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) The University of Glasgow 2001-2009</td></tr><tr><th>License</th><td>BSD-style (see the file libraries/base/LICENSE)</td></tr><tr><th>Maintainer</th><td>libraries@haskell.org</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Control.Seq</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">The sequential strategy type</a></li><li><a href="#g:2">Application of sequential strategies</a></li><li><a href="#g:3">Basic sequential strategies</a></li><li><a href="#g:4">Sequential strategies for lists</a></li><li><a href="#g:5">Sequential strategies for foldable data types</a></li><li><a href="#g:6">Sequential strategies for tuples</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Sequential strategies provide ways to compositionally specify
the degree of evaluation of a data type between the extremes of
no evaluation and full evaluation.
Sequential strategies may be viewed as complimentary to the parallel
ones (see module <a href="Control-Parallel-Strategies.html">Control.Parallel.Strategies</a>).</p></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">type</span> <a href="#t:Strategy">Strategy</a> a = a -> ()</li><li class="src short"><a href="#v:using">using</a> :: a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> a</li><li class="src short"><a href="#v:withStrategy">withStrategy</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> a -> a</li><li class="src short"><a href="#v:r0">r0</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a</li><li class="src short"><a href="#v:rseq">rseq</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a</li><li class="src short"><a href="#v:rdeepseq">rdeepseq</a> :: <a href="Control-Parallel-Strategies.html#t:NFData">NFData</a> a => <a href="Control-Seq.html#t:Strategy">Strategy</a> a</li><li class="src short"><a href="#v:seqList">seqList</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> [a]</li><li class="src short"><a href="#v:seqListN">seqListN</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> [a]</li><li class="src short"><a href="#v:seqListNth">seqListNth</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> [a]</li><li class="src short"><a href="#v:seqFoldable">seqFoldable</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> t => <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (t a)</li><li class="src short"><a href="#v:seqMap">seqMap</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> k -> <a href="Control-Seq.html#t:Strategy">Strategy</a> v -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v)</li><li class="src short"><a href="#v:seqArray">seqArray</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i a)</li><li class="src short"><a href="#v:seqArrayBounds">seqArrayBounds</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> i -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i a)</li><li class="src short"><a href="#v:seqTuple2">seqTuple2</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b)</li><li class="src short"><a href="#v:seqTuple3">seqTuple3</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c)</li><li class="src short"><a href="#v:seqTuple4">seqTuple4</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d)</li><li class="src short"><a href="#v:seqTuple5">seqTuple5</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e)</li><li class="src short"><a href="#v:seqTuple6">seqTuple6</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f)</li><li class="src short"><a href="#v:seqTuple7">seqTuple7</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> g -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f, g)</li><li class="src short"><a href="#v:seqTuple8">seqTuple8</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> g -> <a href="Control-Seq.html#t:Strategy">Strategy</a> h -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f, g, h)</li><li class="src short"><a href="#v:seqTuple9">seqTuple9</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> g -> <a href="Control-Seq.html#t:Strategy">Strategy</a> h -> <a href="Control-Seq.html#t:Strategy">Strategy</a> i -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f, g, h, i)</li></ul></div><div id="interface"><h1 id="g:1">The sequential strategy type</h1><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:Strategy" class="def">Strategy</a> a = a -> () <a href="src/Control-Seq.html#Strategy" class="link">Source</a> <a href="#t:Strategy" class="selflink">#</a></p><div class="doc"><p>The type <code><code><a href="Control-Seq.html#t:Strategy">Strategy</a></code> a</code> is <code>a -> ()</code>.
Thus, a strategy is a function whose sole purpose it is to evaluate
its argument (either in full or in part).</p></div></div><h1 id="g:2">Application of sequential strategies</h1><div class="top"><p class="src"><a id="v:using" class="def">using</a> :: a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> a <span class="fixity">infixl 0</span><span class="rightedge"></span> <a href="src/Control-Seq.html#using" class="link">Source</a> <a href="#v:using" class="selflink">#</a></p><div class="doc"><p>Evaluate a value using the given strategy.</p></div></div><div class="top"><p class="src"><a id="v:withStrategy" class="def">withStrategy</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> a -> a <a href="src/Control-Seq.html#withStrategy" class="link">Source</a> <a href="#v:withStrategy" class="selflink">#</a></p><div class="doc"><p>Evaluate a value using the given strategy.
This is simply <code><a href="Control-Seq.html#v:using">using</a></code> with arguments reversed.</p></div></div><h1 id="g:3">Basic sequential strategies</h1><div class="top"><p class="src"><a id="v:r0" class="def">r0</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a <a href="src/Control-Seq.html#r0" class="link">Source</a> <a href="#v:r0" class="selflink">#</a></p><div class="doc"><p><code><a href="Control-Seq.html#v:r0">r0</a></code> performs *no* evaluation.</p></div></div><div class="top"><p class="src"><a id="v:rseq" class="def">rseq</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a <a href="src/Control-Seq.html#rseq" class="link">Source</a> <a href="#v:rseq" class="selflink">#</a></p><div class="doc"><p><code><a href="Control-Seq.html#v:rseq">rseq</a></code> evaluates its argument to weak head normal form.</p></div></div><div class="top"><p class="src"><a id="v:rdeepseq" class="def">rdeepseq</a> :: <a href="Control-Parallel-Strategies.html#t:NFData">NFData</a> a => <a href="Control-Seq.html#t:Strategy">Strategy</a> a <a href="src/Control-Seq.html#rdeepseq" class="link">Source</a> <a href="#v:rdeepseq" class="selflink">#</a></p><div class="doc"><p><code><a href="Control-Seq.html#v:rdeepseq">rdeepseq</a></code> fully evaluates its argument.
Relies on class <code><a href="Control-Parallel-Strategies.html#t:NFData">NFData</a></code> from module <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html">Control.DeepSeq</a>.</p></div></div><h1 id="g:4">Sequential strategies for lists</h1><div class="top"><p class="src"><a id="v:seqList" class="def">seqList</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> [a] <a href="src/Control-Seq.html#seqList" class="link">Source</a> <a href="#v:seqList" class="selflink">#</a></p><div class="doc"><p>Evaluate each element of a list according to the given strategy.
This function is a specialisation of <code><a href="Control-Seq.html#v:seqFoldable">seqFoldable</a></code> to lists.</p></div></div><div class="top"><p class="src"><a id="v:seqListN" class="def">seqListN</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> [a] <a href="src/Control-Seq.html#seqListN" class="link">Source</a> <a href="#v:seqListN" class="selflink">#</a></p><div class="doc"><p>Evaluate the first n elements of a list according to the given strategy.</p></div></div><div class="top"><p class="src"><a id="v:seqListNth" class="def">seqListNth</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> [a] <a href="src/Control-Seq.html#seqListNth" class="link">Source</a> <a href="#v:seqListNth" class="selflink">#</a></p><div class="doc"><p>Evaluate the nth element of a list (if there is such) according to
the given strategy.
The spine of the list up to the nth element is evaluated as a side effect.</p></div></div><h1 id="g:5">Sequential strategies for foldable data types</h1><div class="top"><p class="src"><a id="v:seqFoldable" class="def">seqFoldable</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> t => <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (t a) <a href="src/Control-Seq.html#seqFoldable" class="link">Source</a> <a href="#v:seqFoldable" class="selflink">#</a></p><div class="doc"><p>Evaluate the elements of a foldable data structure according to
the given strategy.</p></div></div><div class="top"><p class="src"><a id="v:seqMap" class="def">seqMap</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> k -> <a href="Control-Seq.html#t:Strategy">Strategy</a> v -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k v) <a href="src/Control-Seq.html#seqMap" class="link">Source</a> <a href="#v:seqMap" class="selflink">#</a></p><div class="doc"><p>Evaluate the keys and values of a map according to the given strategies.</p></div></div><div class="top"><p class="src"><a id="v:seqArray" class="def">seqArray</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i a) <a href="src/Control-Seq.html#seqArray" class="link">Source</a> <a href="#v:seqArray" class="selflink">#</a></p><div class="doc"><p>Evaluate the elements of an array according to the given strategy.
Evaluation of the array bounds may be triggered as a side effect.</p></div></div><div class="top"><p class="src"><a id="v:seqArrayBounds" class="def">seqArrayBounds</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> i -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/array-0.5.1.1/Data-Array.html#t:Array">Array</a> i a) <a href="src/Control-Seq.html#seqArrayBounds" class="link">Source</a> <a href="#v:seqArrayBounds" class="selflink">#</a></p><div class="doc"><p>Evaluate the bounds of an array according to the given strategy.</p></div></div><h1 id="g:6">Sequential strategies for tuples</h1><div class="doc"><p>Evaluate the components of a tuple according to the given strategies.
No guarantee is given as to the order of evaluation.</p></div><div class="top"><p class="src"><a id="v:seqTuple2" class="def">seqTuple2</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b) <a href="src/Control-Seq.html#seqTuple2" class="link">Source</a> <a href="#v:seqTuple2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple3" class="def">seqTuple3</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c) <a href="src/Control-Seq.html#seqTuple3" class="link">Source</a> <a href="#v:seqTuple3" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple4" class="def">seqTuple4</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d) <a href="src/Control-Seq.html#seqTuple4" class="link">Source</a> <a href="#v:seqTuple4" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple5" class="def">seqTuple5</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e) <a href="src/Control-Seq.html#seqTuple5" class="link">Source</a> <a href="#v:seqTuple5" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple6" class="def">seqTuple6</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f) <a href="src/Control-Seq.html#seqTuple6" class="link">Source</a> <a href="#v:seqTuple6" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple7" class="def">seqTuple7</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> g -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f, g) <a href="src/Control-Seq.html#seqTuple7" class="link">Source</a> <a href="#v:seqTuple7" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple8" class="def">seqTuple8</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> g -> <a href="Control-Seq.html#t:Strategy">Strategy</a> h -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f, g, h) <a href="src/Control-Seq.html#seqTuple8" class="link">Source</a> <a href="#v:seqTuple8" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:seqTuple9" class="def">seqTuple9</a> :: <a href="Control-Seq.html#t:Strategy">Strategy</a> a -> <a href="Control-Seq.html#t:Strategy">Strategy</a> b -> <a href="Control-Seq.html#t:Strategy">Strategy</a> c -> <a href="Control-Seq.html#t:Strategy">Strategy</a> d -> <a href="Control-Seq.html#t:Strategy">Strategy</a> e -> <a href="Control-Seq.html#t:Strategy">Strategy</a> f -> <a href="Control-Seq.html#t:Strategy">Strategy</a> g -> <a href="Control-Seq.html#t:Strategy">Strategy</a> h -> <a href="Control-Seq.html#t:Strategy">Strategy</a> i -> <a href="Control-Seq.html#t:Strategy">Strategy</a> (a, b, c, d, e, f, g, h, i) <a href="src/Control-Seq.html#seqTuple9" class="link">Source</a> <a href="#v:seqTuple9" 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.3</p></div></body></html>
|