/usr/share/doc/libghc-monoid-subclasses-doc/html/Data-Monoid-Textual.html is in libghc-monoid-subclasses-doc 0.3.5-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 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 | <!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.Monoid.Textual</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_Data-Monoid-Textual.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Monoid-Textual.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">monoid-subclasses-0.3.5: Subclasses of Monoid</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Monoid.Textual</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines the <code><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a></code> class and its most important instances for <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code> and <code><a href="/usr/share/doc/libghc-text-doc/html/Data-Text-Internal.html#t:Text">Text</a></code>.
</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">class</span> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:IsString">IsString</a> t, <a href="Data-Monoid-Cancellative.html#t:LeftReductiveMonoid">LeftReductiveMonoid</a> t, <a href="Data-Monoid-Cancellative.html#t:LeftGCDMonoid">LeftGCDMonoid</a> t, <a href="Data-Monoid-Factorial.html#t:FactorialMonoid">FactorialMonoid</a> t) => <a href="#t:TextualMonoid">TextualMonoid</a> t <span class="keyword">where</span><ul class="subs"><li><a href="#v:fromText">fromText</a> :: <a href="/usr/share/doc/libghc-text-doc/html/Data-Text-Internal.html#t:Text">Text</a> -> t</li><li><a href="#v:singleton">singleton</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t</li><li><a href="#v:splitCharacterPrefix">splitCharacterPrefix</a> :: t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>, t)</li><li><a href="#v:characterPrefix">characterPrefix</a> :: t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a></li><li><a href="#v:map">map</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> t -> t</li><li><a href="#v:concatMap">concatMap</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t) -> t -> t</li><li><a href="#v:any">any</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:all">all</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:foldl">foldl</a> :: (a -> t -> a) -> (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> a) -> a -> t -> a</li><li><a href="#v:foldl-39-">foldl'</a> :: (a -> t -> a) -> (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> a) -> a -> t -> a</li><li><a href="#v:foldr">foldr</a> :: (t -> a -> a) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> a -> a) -> a -> t -> a</li><li><a href="#v:scanl">scanl</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t -> t</li><li><a href="#v:scanl1">scanl1</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> t -> t</li><li><a href="#v:scanr">scanr</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t -> t</li><li><a href="#v:scanr1">scanr1</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> t -> t</li><li><a href="#v:mapAccumL">mapAccumL</a> :: (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> (a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>)) -> a -> t -> (a, t)</li><li><a href="#v:mapAccumR">mapAccumR</a> :: (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> (a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>)) -> a -> t -> (a, t)</li><li><a href="#v:takeWhile">takeWhile</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> t</li><li><a href="#v:dropWhile">dropWhile</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> t</li><li><a href="#v:break">break</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> (t, t)</li><li><a href="#v:span">span</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> (t, t)</li><li><a href="#v:split">split</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> [t]</li><li><a href="#v:find">find</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a></li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:IsString">IsString</a> t, <a href="Data-Monoid-Cancellative.html#t:LeftReductiveMonoid">LeftReductiveMonoid</a> t, <a href="Data-Monoid-Cancellative.html#t:LeftGCDMonoid">LeftGCDMonoid</a> t, <a href="Data-Monoid-Factorial.html#t:FactorialMonoid">FactorialMonoid</a> t) => <a name="t:TextualMonoid" class="def">TextualMonoid</a> t <span class="keyword">where</span><a href="src/Data-Monoid-Textual.html#TextualMonoid" class="link">Source</a></p><div class="doc"><p>The <code><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a></code> class is an extension of <code><a href="Data-Monoid-Factorial.html#t:FactorialMonoid">FactorialMonoid</a></code> specialized for monoids that can contain
characters. Its methods are generally equivalent to their namesake functions from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> and <a href="/usr/share/doc/libghc-text-doc/html/Data-Text.html">Data.Text</a>, and
they satisfy the following laws:
</p><pre> unfoldr splitCharacterPrefix . fromString == id
splitCharacterPrefix . primePrefix == fmap (\(c, t)-> (c, mempty)) . splitCharacterPrefix
map f . fromString == fromString . List.map f
concatMap (fromString . f) . fromString == fromString . List.concatMap f
foldl ft fc a . fromString == List.foldl fc a
foldr ft fc a . fromString == List.foldr fc a
foldl' ft fc a . fromString == List.foldl' fc a
scanl f c . fromString == fromString . List.scanl f c
scanr f c . fromString == fromString . List.scanr f c
mapAccumL f a . fromString == fmap fromString . List.mapAccumL f a
mapAccumL f a . fromString == fmap fromString . List.mapAccumL f a
takeWhile pt pc . fromString == fromString . takeWhile pc
dropWhile pt pc . fromString == fromString . dropWhile pc
mconcat . intersperse (singleton c) . split (== c) == id
find p . fromString == List.find p
</pre><p>A <code><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a></code> may contain non-character data insterspersed between its characters. Every class method that
returns a modified <code><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a></code> instance generally preserves this non-character data. All of the following
expressions are identities:
</p><pre> map id
concatMap singleton
foldl (<>) (\a c-> a <> singleton c) mempty
foldr (<>) ((<>) . singleton) mempty
foldl' (<>) (\a c-> a <> singleton c) mempty
scanl1 (const id)
scanr1 const
uncurry (mapAccumL (,))
uncurry (mapAccumR (,))
takeWhile (const True) (const True)
dropWhile (const False) (const False)
</pre><p>A minimal instance definition must implement <code><a href="Data-Monoid-Textual.html#v:splitCharacterPrefix">splitCharacterPrefix</a></code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:fromText" class="def">fromText</a> :: <a href="/usr/share/doc/libghc-text-doc/html/Data-Text-Internal.html#t:Text">Text</a> -> t<a href="src/Data-Monoid-Textual.html#fromText" class="link">Source</a></p><div class="doc"><p>Contructs a new data type instance Like <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#v:fromString">fromString</a></code>, but from a <code><a href="/usr/share/doc/libghc-text-doc/html/Data-Text-Internal.html#t:Text">Text</a></code> input instead of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>.
</p><pre> fromText == fromString . Text.unpack
</pre></div><p class="src"><a name="v:singleton" class="def">singleton</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t<a href="src/Data-Monoid-Textual.html#singleton" class="link">Source</a></p><div class="doc"><p>Creates a prime monoid containing a single character.
</p><pre> singleton c == fromString [c]
</pre></div><p class="src"><a name="v:splitCharacterPrefix" class="def">splitCharacterPrefix</a> :: t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>, t)<a href="src/Data-Monoid-Textual.html#splitCharacterPrefix" class="link">Source</a></p><div class="doc"><p>Specialized version of <code><a href="Data-Monoid-Factorial.html#v:splitPrimePrefix">splitPrimePrefix</a></code>. Every prime factor of a <code>Textual</code> monoid must consist of a
single character or no character at all.
</p></div><p class="src"><a name="v:characterPrefix" class="def">characterPrefix</a> :: t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a><a href="src/Data-Monoid-Textual.html#characterPrefix" class="link">Source</a></p><div class="doc"><p>Extracts a single character that prefixes the monoid, if the monoid begins with a character. Otherwise returns
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#v:Nothing">Nothing</a></code>.
</p><pre> characterPrefix == fmap fst . splitCharacterPrefix
</pre></div><p class="src"><a name="v:map" class="def">map</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> t -> t<a href="src/Data-Monoid-Textual.html#map" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:map">map</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> with a <code>Char -> Char</code> function. Preserves all non-character data.
</p><pre> map f == concatMap (singleton . f)
</pre></div><p class="src"><a name="v:concatMap" class="def">concatMap</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t) -> t -> t<a href="src/Data-Monoid-Textual.html#concatMap" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:concatMap">concatMap</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> with a <code>Char -> String</code> function. Preserves all non-character
data.
</p></div><p class="src"><a name="v:any" class="def">any</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Data-Monoid-Textual.html#any" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:any">any</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a>. Ignores all non-character data.
</p></div><p class="src"><a name="v:all" class="def">all</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a><a href="src/Data-Monoid-Textual.html#all" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:all">all</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a>. Ignores all non-character data.
</p></div><p class="src"><a name="v:foldl" class="def">foldl</a> :: (a -> t -> a) -> (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> a) -> a -> t -> a<a href="src/Data-Monoid-Textual.html#foldl" class="link">Source</a></p><div class="doc"><p>The first argument folds over the non-character prime factors, the second over characters. Otherwise equivalent
to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:foldl">foldl</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a>.
</p></div><p class="src"><a name="v:foldl-39-" class="def">foldl'</a> :: (a -> t -> a) -> (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> a) -> a -> t -> a<a href="src/Data-Monoid-Textual.html#foldl%27" class="link">Source</a></p><div class="doc"><p>Strict version of <code><a href="Data-Monoid-Textual.html#v:foldl">foldl</a></code>.
</p></div><p class="src"><a name="v:foldr" class="def">foldr</a> :: (t -> a -> a) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> a -> a) -> a -> t -> a<a href="src/Data-Monoid-Textual.html#foldr" class="link">Source</a></p><div class="doc"><p>The first argument folds over the non-character prime factors, the second over characters. Otherwise equivalent
to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:foldr">foldr</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a>.
</p></div><p class="src"><a name="v:scanl" class="def">scanl</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t -> t<a href="src/Data-Monoid-Textual.html#scanl" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:scanl">scanl</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>, but preserves all non-character data.
</p></div><p class="src"><a name="v:scanl1" class="def">scanl1</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> t -> t<a href="src/Data-Monoid-Textual.html#scanl1" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:scanl1">scanl1</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>, but preserves all non-character data.
</p><pre> scanl f c == scanl1 f . (singleton c <>)
</pre></div><p class="src"><a name="v:scanr" class="def">scanr</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> t -> t<a href="src/Data-Monoid-Textual.html#scanr" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:scanr">scanr</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>, but preserves all non-character data.
</p></div><p class="src"><a name="v:scanr1" class="def">scanr1</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>) -> t -> t<a href="src/Data-Monoid-Textual.html#scanr1" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:scanr1">scanr1</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>, but preserves all non-character data.
</p><pre> scanr f c == scanr1 f . (<> singleton c)
</pre></div><p class="src"><a name="v:mapAccumL" class="def">mapAccumL</a> :: (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> (a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>)) -> a -> t -> (a, t)<a href="src/Data-Monoid-Textual.html#mapAccumL" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:mapAccumL">mapAccumL</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>, but preserves all non-character
data.
</p></div><p class="src"><a name="v:mapAccumR" class="def">mapAccumR</a> :: (a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> (a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>)) -> a -> t -> (a, t)<a href="src/Data-Monoid-Textual.html#mapAccumR" class="link">Source</a></p><div class="doc"><p>Equivalent to <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:mapAccumR">mapAccumR</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>, but preserves all non-character
data.
</p></div><p class="src"><a name="v:takeWhile" class="def">takeWhile</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> t<a href="src/Data-Monoid-Textual.html#takeWhile" class="link">Source</a></p><div class="doc"><p>The first predicate tests the non-character data, the second one the characters. Otherwise equivalent to
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:takeWhile">takeWhile</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>.
</p></div><p class="src"><a name="v:dropWhile" class="def">dropWhile</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> t<a href="src/Data-Monoid-Textual.html#dropWhile" class="link">Source</a></p><div class="doc"><p>The first predicate tests the non-character data, the second one the characters. Otherwise equivalent to
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:dropWhile">dropWhile</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>.
</p></div><p class="src"><a name="v:break" class="def">break</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> (t, t)<a href="src/Data-Monoid-Textual.html#break" class="link">Source</a></p><div class="doc"><p>'break pt pc' is equivalent to |span (not . pt) (not . pc)|.
</p></div><p class="src"><a name="v:span" class="def">span</a> :: (t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> (t, t)<a href="src/Data-Monoid-Textual.html#span" class="link">Source</a></p><div class="doc"><p>'span pt pc t' is equivalent to |(takeWhile pt pc t, dropWhile pt pc t)|.
</p></div><p class="src"><a name="v:split" class="def">split</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> [t]<a href="src/Data-Monoid-Textual.html#split" class="link">Source</a></p><div class="doc"><p>Splits the monoid into components delimited by character separators satisfying the given predicate. The
characters satisfying the predicate are not a part of the result.
</p><pre> split p == Factorial.split (maybe False p . characterPrefix)
</pre></div><p class="src"><a name="v:find" class="def">find</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Bool.html#t:Bool">Bool</a>) -> t -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Maybe.html#t:Maybe">Maybe</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a><a href="src/Data-Monoid-Textual.html#find" class="link">Source</a></p><div class="doc"><p>Like <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html#v:find">find</a></code> from <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-List.html">Data.List</a> when applied to a <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></code>. Ignores non-character data.
</p></div></div><div class="subs instances"><p id="control.i:TextualMonoid" class="caption collapser" onclick="toggleSection('i:TextualMonoid')">Instances</p><div id="section.i:TextualMonoid" class="show"><table><tr><td class="src"><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-String.html#t:String">String</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> <a href="/usr/share/doc/libghc-text-doc/html/Data-Text-Lazy-Internal.html#t:Text">Text</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> <a href="/usr/share/doc/libghc-text-doc/html/Data-Text-Internal.html#t:Text">Text</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> <a href="Data-Monoid-Instances-ByteString-UTF8.html#t:ByteStringUTF8">ByteStringUTF8</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> (<a href="/usr/share/doc/ghc-doc/html/libraries/containers-0.5.0.0/Data-Sequence.html#t:Seq">Seq</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> (<a href="/usr/share/doc/libghc-vector-doc/html/Data-Vector.html#t:Vector">Vector</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Char.html#t:Char">Char</a>)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a, <a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> a, <a href="Data-Monoid-Factorial.html#t:StableFactorialMonoid">StableFactorialMonoid</a> a) => <a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> (<a href="Data-Monoid-Instances-Concat.html#t:Concat">Concat</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Eq.html#t:Eq">Eq</a> a, <a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> a, <a href="Data-Monoid-Factorial.html#t:StableFactorialMonoid">StableFactorialMonoid</a> a) => <a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> (<a href="Data-Monoid-Instances-Measured.html#t:Measured">Measured</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Data-Monoid-Cancellative.html#t:LeftGCDMonoid">LeftGCDMonoid</a> a, <a href="Data-Monoid-Factorial.html#t:FactorialMonoid">FactorialMonoid</a> a, <a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> b) => <a href="Data-Monoid-Textual.html#t:TextualMonoid">TextualMonoid</a> (<a href="Data-Monoid-Instances-Stateful.html#t:Stateful">Stateful</a> a b)</td><td class="doc empty"> </td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|