Data.Monoid.Generator

[embedding documentation so its easier to push up to comonad.com, will probably revert ekmett@gmail.com**20090322210031] { adddir ./dist adddir ./dist/doc adddir ./dist/doc/html adddir ./dist/doc/html/lexical-monoids addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Generator.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Generator.html 1 + + +Data.Monoid.Generator

Documentation

class Generator c where

Associated Types

type Elem c :: *

Methods

mapreduce :: Reducer e m => (Elem c -> e) -> c -> m

mapreducer :: Reducer e m => (Elem c -> e) -> m -> c -> m

mapreducel :: Reducer e m => (Elem c -> e) -> c -> m -> m

Instances

Generator ByteString

Generator Text

Generator ([] c)

mapreduce :: (Generator c, Reducer e m) => (Elem c -> e) -> c -> m

mapreducer :: (Generator c, Reducer e m) => (Elem c -> e) -> m -> c -> m

mapreducel :: (Generator c, Reducer e m) => (Elem c -> e) -> c -> m -> m

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Lexical-SourcePosition.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Lexical-SourcePosition.html 1 + + +Data.Monoid.Lexical.SourcePosition

Data.Monoid.Lexical.SourcePosition

Documentation

module Data.Monoid.Reducer.Char

data SourcePosition file

Instances

Functor SourcePosition

FunctorZero SourcePosition

FunctorPlus SourcePosition

Pointed SourcePosition

Reducer Char (SourcePosition file)

Eq file => Eq (SourcePosition file)

Read file => Read (SourcePosition file)

Show file => Show (SourcePosition file)

Monoid (SourcePosition file)

CharReducer (SourcePosition file)

type SourceLine = Int

type SourceColumn = Int

sourceLine :: SourcePosition f -> Maybe SourceLine

sourceColumn :: SourcePosition f -> Maybe SourceColumn

startOfFile :: f -> SourcePosition f

showSourcePosition :: SourcePosition String -> String

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Lexical-UTF8-Decoder.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Lexical-UTF8-Decoder.html 1 + + +Data.Monoid.Lexical.UTF8.Decoder

Data.Monoid.Lexical.UTF8.Decoder

Documentation

module Data.Monoid.Reducer.Char

data UTF8 m

Instances

Functor UTF8

Pointed UTF8

CharReducer m => Reducer Word8 (UTF8 m)

CharReducer m => Monoid (UTF8 m)

runUTF8 :: CharReducer m => UTF8 m -> m

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Lexical-Words.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Lexical-Words.html 1 + + +Data.Monoid.Lexical.Words

Data.Monoid.Lexical.Words

Documentation

module Data.Monoid.Reducer.Char

data Words m

Instances

Functor Words

Reducer Char m => Reducer Char (Words m)

Read m => Read (Words m)

Show m => Show (Words m)

Monoid m => Monoid (Words m)

runWords :: Words m -> [m]

data Lines m

Instances

Functor Lines

Reducer Char m => Reducer Char (Lines m)

Read m => Read (Lines m)

Show m => Show (Lines m)

Monoid m => Monoid (Lines m)

runLines :: Lines m -> [m]

data Unspaced m

Instances

Functor Unspaced

Pointed Unspaced

Copointed Unspaced

Reducer Char m => Reducer Char (Unspaced m)

Eq m => Eq (Unspaced m)

Ord m => Ord (Unspaced m)

Read m => Read (Unspaced m)

Show m => Show (Unspaced m)

Monoid m => Monoid (Unspaced m)

CharReducer m => CharReducer (Unspaced m)

data Unlined m

Instances

Functor Unlined

Pointed Unlined

Copointed Unlined

Reducer Char m => Reducer Char (Unlined m)

Eq m => Eq (Unlined m)

Ord m => Ord (Unlined m)

Read m => Read (Unlined m)

Show m => Show (Unlined m)

Monoid m => Monoid (Unlined m)

CharReducer m => CharReducer (Unlined m)

wordsFrom :: (Generator c, Elem c ~ Char, Reducer Char m, Reducer Char n, Reducer Char o) => m -> c -> [(m, n, o)]

linesFrom :: (Generator c, Elem c ~ Char, Reducer Char m, Reducer Char n, Reducer Char o) => m -> c -> [(m, n, o)]

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Reducer-Char.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Reducer-Char.html 1 + + +Data.Monoid.Reducer.Char

Data.Monoid.Reducer.Char

Documentation

module Data.Monoid.Reducer

class Reducer Char m => CharReducer m where

Methods

reduceChar :: Char -> m

invalidChar :: [Word8] -> m

Instances

CharReducer ()

CharReducer ([] Char)

CharReducer (SourcePosition file)

CharReducer m => CharReducer (Unlined m)

CharReducer m => CharReducer (Unspaced m)

(CharReducer m, CharReducer m') => CharReducer ((,) m m')

(CharReducer m, CharReducer m', CharReducer m'') => CharReducer ((,,) m m' m'')

(CharReducer m, CharReducer m', CharReducer m'', CharReducer m''') => CharReducer ((,,,) m m' m'' m''')

invalidChar :: CharReducer m => [Word8] -> m

reduceChar :: CharReducer m => Char -> m

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Reducer-With.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Reducer-With.html 1 + + +Data.Monoid.Reducer.With

Data.Monoid.Reducer.With

Documentation

module Data.Monoid.Reducer

data WithReducer c m

Instances

Reducer c m => Measured m (WithReducer c m)

Reducer c m => Reducer (WithReducer c m) m

withReducer :: Reducer c m => c -> c `WithReducer` m

withoutReducer :: (c `WithReducer` m) -> c

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/Data-Monoid-Reducer.html hunk ./dist/doc/html/lexical-monoids/Data-Monoid-Reducer.html 1 + + +Data.Monoid.Reducer

Data.Monoid.Reducer

Documentation

class Monoid m => Reducer c m where

Methods

reduce :: c -> m

reducer :: m -> c -> m

reducel :: c -> m -> m

Instances

Reducer c ()

Reducer Char (SourcePosition file)

Reducer Char m => Reducer Char (Unlined m)

Reducer Char m => Reducer Char (Unspaced m)

Reducer Char m => Reducer Char (Lines m)

Reducer Char m => Reducer Char (Words m)

CharReducer m => Reducer Word8 (UTF8 m)

Reducer c ([] c)

(Reducer c m, Reducer c m') => Reducer c ((,) m m')

(Reducer c m, Reducer c m', Reducer c m'') => Reducer c ((,,) m m' m'')

(Reducer c m, Reducer c m', Reducer c m'', Reducer c m''') => Reducer c ((,,,) m m' m'' m''')

Reducer c m => Reducer (WithReducer c m) m

reduce :: Reducer c m => c -> m

reducer :: Reducer c m => m -> c -> m

reducel :: Reducer c m => c -> m -> m

Produced by Haddock version 2.3.0

addfile ./dist/doc/html/lexical-monoids/doc-index.html hunk ./dist/doc/html/lexical-monoids/doc-index.html 1 + + +lexical-monoids-0.1.1: Lexical monoids (Index)

All
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
Any
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
appEndo	Data.Monoid.Generator
CharReducer	Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Lexical.Words
Dual
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
Elem	Data.Monoid.Generator
Endo
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
First
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
Generator	Data.Monoid.Generator
getAll	Data.Monoid.Generator
getAny	Data.Monoid.Generator
getDual	Data.Monoid.Generator
getFirst	Data.Monoid.Generator
getLast	Data.Monoid.Generator
getProduct	Data.Monoid.Generator
getSum	Data.Monoid.Generator
invalidChar	Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Lexical.Words
Last
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
Lines	Data.Monoid.Lexical.Words
linesFrom	Data.Monoid.Lexical.Words
mappend	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Lexical.Words
mapreduce	Data.Monoid.Generator
mapreducel	Data.Monoid.Generator
mapreducer	Data.Monoid.Generator
mconcat	Data.Monoid.Generator
mempty	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Lexical.Words
Monoid	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Generator, Data.Monoid.Lexical.Words
Product
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
reduce	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Lexical.Words
reduceChar	Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Lexical.Words
reducel	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Lexical.Words
Reducer	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Lexical.Words
reducer	Data.Monoid.Reducer, Data.Monoid.Reducer.Char, Data.Monoid.Lexical.SourcePosition, Data.Monoid.Lexical.UTF8.Decoder, Data.Monoid.Reducer.With, Data.Monoid.Lexical.Words
runLines	Data.Monoid.Lexical.Words
runUnlined	Data.Monoid.Lexical.Words
runUnspaced	Data.Monoid.Lexical.Words
runUTF8	Data.Monoid.Lexical.UTF8.Decoder
runWithReducer	Data.Monoid.Reducer.With
runWords	Data.Monoid.Lexical.Words
showSourcePosition	Data.Monoid.Lexical.SourcePosition
SourceColumn	Data.Monoid.Lexical.SourcePosition
sourceColumn	Data.Monoid.Lexical.SourcePosition
SourceLine	Data.Monoid.Lexical.SourcePosition
sourceLine	Data.Monoid.Lexical.SourcePosition
SourcePosition	Data.Monoid.Lexical.SourcePosition
startOfFile	Data.Monoid.Lexical.SourcePosition
Sum
1 (Data Constructor)	Data.Monoid.Generator
2 (Type/Class)	Data.Monoid.Generator
Unlined	Data.Monoid.Lexical.Words
Unspaced	Data.Monoid.Lexical.Words
UTF8	Data.Monoid.Lexical.UTF8.Decoder
withoutReducer	Data.Monoid.Reducer.With
WithReducer	Data.Monoid.Reducer.With
withReducer	Data.Monoid.Reducer.With
Words	Data.Monoid.Lexical.Words
wordsFrom	Data.Monoid.Lexical.Words

addfile ./dist/doc/html/lexical-monoids/haddock-util.js hunk ./dist/doc/html/lexical-monoids/haddock-util.js 1 +// Haddock JavaScript utilities +function toggle(button,id) +{ + var n = document.getElementById(id).style; + if (n.display == "none") + { + button.src = "minus.gif"; + n.display = "block"; + } + else + { + button.src = "plus.gif"; + n.display = "none"; + } +} + + +var max_results = 75; // 50 is not enough to search for map in the base libraries +var shown_range = null; +var last_search = null; + +function quick_search() +{ + perform_search(false); +} + +function full_search() +{ + perform_search(true); +} + + +function perform_search(full) +{ + var text = document.getElementById("searchbox").value.toLowerCase(); + if (text == last_search && !full) return; + last_search = text; + + var table = document.getElementById("indexlist"); + var status = document.getElementById("searchmsg"); + var children = table.firstChild.childNodes; + + // first figure out the first node with the prefix + var first = bisect(-1); + var last = (first == -1 ? -1 : bisect(1)); + + if (first == -1) + { + table.className = ""; + status.innerHTML = "No results found, displaying all"; + } + else if (first == 0 && last == children.length - 1) + { + table.className = ""; + status.innerHTML = ""; + } + else if (last - first >= max_results && !full) + { + table.className = ""; + status.innerHTML = "More than " + max_results + ", press Search to display"; + } + else + { + // decide what you need to clear/show + if (shown_range) + setclass(shown_range[0], shown_range[1], "indexrow"); + setclass(first, last, "indexshow"); + shown_range = [first, last]; + table.className = "indexsearch"; + status.innerHTML = ""; + } + + + function setclass(first, last, status) + { + for (var i = first; i <= last; i++) + { + children[i].className = status; + } + } + + + // do a binary search, treating 0 as ... + // return either -1 (no 0's found) or location of most far match + function bisect(dir) + { + var first = 0, finish = children.length - 1; + var mid, success = false; + + while (finish - first > 3) + { + mid = Math.floor((finish + first) / 2); + + var i = checkitem(mid); + if (i == 0) i = dir; + if (i == -1) + finish = mid; + else + first = mid; + } + var a = (dir == 1 ? first : finish); + var b = (dir == 1 ? finish : first); + for (var i = b; i != a - dir; i -= dir) + { + if (checkitem(i) == 0) return i; + } + return -1; + } + + + // from an index, decide what the result is + // 0 = match, -1 is lower, 1 is higher + function checkitem(i) + { + var s = getitem(i).toLowerCase().substr(0, text.length); + if (s == text) return 0; + else return (s > text ? -1 : 1); + } + + + // from an index, get its string + // this abstracts over alternates + function getitem(i) + { + for ( ; i >= 0; i--) + { + var s = children[i].firstChild.firstChild.data; + if (s.indexOf(' ') == -1) + return s; + } + return ""; // should never be reached + } +} addfile ./dist/doc/html/lexical-monoids/haddock.css hunk ./dist/doc/html/lexical-monoids/haddock.css 1 +/* -------- Global things --------- */ + +BODY { + background-color: #ffffff; + color: #000000; + font-family: sans-serif; + } + +A:link { color: #0000e0; text-decoration: none } +A:visited { color: #0000a0; text-decoration: none } +A:hover { background-color: #e0e0ff; text-decoration: none } + +TABLE.vanilla { + width: 100%; + border-width: 0px; + /* I can't seem to specify cellspacing or cellpadding properly using CSS... */ +} + +TABLE.vanilla2 { + border-width: 0px; +} + +/* font is a little too small in MSIE */ +TT { font-size: 100%; } +PRE { font-size: 100%; } + +LI P { margin: 0pt } + +TD { + border-width: 0px; +} + +TABLE.narrow { + border-width: 0px; +} + +TD.s8 { height: 8px; } +TD.s15 { height: 15px; } + +SPAN.keyword { text-decoration: underline; } + +/* Resize the buttom image to match the text size */ +IMG.coll { width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em } + +/* --------- Contents page ---------- */ + +DIV.node { + padding-left: 3em; +} + +DIV.cnode { + padding-left: 1.75em; +} + +SPAN.pkg { + position: absolute; + left: 50em; +} + +/* --------- Documentation elements ---------- */ + +TD.children { + padding-left: 25px; + } + +TD.synopsis { + padding: 2px; + background-color: #f0f0f0; + font-family: monospace + } + +TD.decl { + padding: 2px; + background-color: #f0f0f0; + font-family: monospace; + vertical-align: top; + } + +TD.topdecl { + padding: 2px; + background-color: #f0f0f0; + font-family: monospace; + vertical-align: top; +} + +TABLE.declbar { + border-spacing: 0px; + } + +TD.declname { + width: 100%; + } + +TD.declbut { + padding-left: 5px; + padding-right: 5px; + border-left-width: 1px; + border-left-color: #000099; + border-left-style: solid; + white-space: nowrap; + font-size: small; + } + +/* + arg is just like decl, except that wrapping is not allowed. It is + used for function and constructor arguments which have a text box + to the right, where if wrapping is allowed the text box squashes up + the declaration by wrapping it. +*/ +TD.arg { + padding: 2px; + background-color: #f0f0f0; + font-family: monospace; + vertical-align: top; + white-space: nowrap; + } + +TD.recfield { padding-left: 20px } + +TD.doc { + padding-top: 2px; + padding-left: 10px; + } + +TD.ndoc { + padding: 2px; + } + +TD.rdoc { + padding: 2px; + padding-left: 10px; + width: 100%; + } + +TD.body { + padding-left: 10px + } + +TD.pkg { + width: 100%; + padding-left: 10px +} + +TABLE.indexsearch TR.indexrow { + display: none; +} +TABLE.indexsearch TR.indexshow { + display: table-row; +} + +TD.indexentry { + vertical-align: top; + padding-right: 10px + } + +TD.indexannot { + vertical-align: top; + padding-left: 20px; + white-space: nowrap + } + +TD.indexlinks { + width: 100% + } + +/* ------- Section Headings ------- */ + +TD.section1 { + padding-top: 15px; + font-weight: bold; + font-size: 150% + } + +TD.section2 { + padding-top: 10px; + font-weight: bold; + font-size: 130% + } + +TD.section3 { + padding-top: 5px; + font-weight: bold; + font-size: 110% + } + +TD.section4 { + font-weight: bold; + font-size: 100% + } + +/* -------------- The title bar at the top of the page */ + +TD.infohead { + color: #ffffff; + font-weight: bold; + padding-right: 10px; + text-align: left; +} + +TD.infoval { + color: #ffffff; + padding-right: 10px; + text-align: left; +} + +TD.topbar { + background-color: #000099; + padding: 5px; +} + +TD.title { + color: #ffffff; + padding-left: 10px; + width: 100% + } + +TD.topbut { + padding-left: 5px; + padding-right: 5px; + border-left-width: 1px; + border-left-color: #ffffff; + border-left-style: solid; + white-space: nowrap; + } + +TD.topbut A:link { + color: #ffffff + } + +TD.topbut A:visited { + color: #ffff00 + } + +TD.topbut A:hover { + background-color: #6060ff; + } + +TD.topbut:hover { + background-color: #6060ff + } + +TD.modulebar { + background-color: #0077dd; + padding: 5px; + border-top-width: 1px; + border-top-color: #ffffff; + border-top-style: solid; + } + +/* --------- The page footer --------- */ + +TD.botbar { + background-color: #000099; + color: #ffffff; + padding: 5px + } +TD.botbar A:link { + color: #ffffff; + text-decoration: underline + } +TD.botbar A:visited { + color: #ffff00 + } +TD.botbar A:hover { + background-color: #6060ff + } + addfile ./dist/doc/html/lexical-monoids/haskell_icon.gif binary ./dist/doc/html/lexical-monoids/haskell_icon.gif oldhex * newhex *47494638376110001000f70f00000000800000008000808000000080800080008080c0c0c08080 *80ff000000ff00ffff000000ffff00ff00ffffffffff0000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *000000000000000000000000000000000000000000000000000000000000000000000000000000 *0021f90401000000002c000000001000100007086c0001007840b0a0418202073e38b0b021c387 *07143e2440c0a143040e091cd0787021c686151f84347800e343901d4b12646870e44a930d0952 *3ca832a6cc990555b2bc2992e4c79d3847ea2c88b3a7c89a2c8b8aa43874e941a60810003840b5 *aa55aa511346ddca75abc080003b addfile ./dist/doc/html/lexical-monoids/index.html hunk ./dist/doc/html/lexical-monoids/index.html 1 + + +lexical-monoids-0.1.1: Lexical monoids lexical-monoids-0.1.1: Lexical monoids Contents Index lexical-monoids-0.1.1: Lexical monoids Facilities for lexing using monoids + Modules Data Monoid Data.Monoid.Generator Lexical Data.Monoid.Lexical.SourcePosition UTF8 Data.Monoid.Lexical.UTF8.Decoder Data.Monoid.Lexical.Words Data.Monoid.Reducer Data.Monoid.Reducer.Char Data.Monoid.Reducer.With Produced by Haddock version 2.3.0 addfile ./dist/doc/html/lexical-monoids/lexical-monoids.haddock binary ./dist/doc/html/lexical-monoids/lexical-monoids.haddock oldhex * newhex *0d0cface00040000000000000eb800000000000008892300000000000000000000000000000000 *000000000000000100000000000000010000000000000000000000000000000100000000000000 *020000000000000000000000000000000100000000000000030000000000000000000000000000 *000100000000000000040000000000000000000000000000000200000000000000050000000000 *000000000000000000000200000000000000060000000000000000000000000000000200000000 *000000070000000000000000000000000000000300000000000000080000000000000000000000 *0000000003000000000000000900000000000000000000000000000003000000000000000a0000 *0000000000000000000000000003000000000000000b0000000000000000000000000000000300 *0000000000000c00000000000000000000000000000003000000000000000d0000000000000000 *0000000000000003000000000000000e0000000000000000000000000000000400000000000000 *0f0000000000000000000000000000000400000000000000100000000000000000000000000000 *000500000000000000110000000000000000000000000000000500000000000000120000000000 *000000000000000000000500000000000000130000000000000000000000000000000500000000 *000000140000000000000000000000000000000600000000000000150000000000000000000000 *000000000600000000000000160000000000000000000000000000000600000000000000170000 *000000000000000000000000000600000000000000180000000000000000000000000000000600 *0000000000001900000000000000000000000000000007000000000000001a0000000000000000 *0000000000000007000000000000001b0000000000000000000000000000000700000000000000 *1c00000000000000000000000000000007000000000000001d0000000000000000000000000000 *0007000000000000001e00000000000000000000000000000007000000000000001f0000000000 *000000000000000000000700000000000000200000000000000000000000000000000700000000 *000000210000000000000000000000000000000700000000000000220000000000000000000000 *000000000707000000000000000000000000000000010000000000070000000000000023000000 *000000002400000000000000250000000000000000000000000000000100000000000000020000 *000000000003040000000000000000000000000000000100000000000000020000000000000003 *0000000000000000000000000000000200000000000a0000000000000023000000000000002400 *000000000000250000000000000000000000000000000100000000000000020000000000000003 *000000000000000400000000000000050000000000000006030000000000000004000000000000 *000600000000000000050000000000000000000000000000000300000000001100000000000000 *230000000000000024000000000000002500000000000000000000000000000001000000000000 *000200000000000000030000000000000004000000000000000500000000000000060000000000 *00000700000000000000080000000000000009000000000000000a000000000000000b00000000 *0000000c000000000000000d070000000000000007000000000000000900000000000000080000 *00000000000c000000000000000b000000000000000a000000000000000d000000000000000000 *0000000000000400000000000c0000000000000023000000000000002400000000000000250000 *000000000000000000000000000100000000000000020000000000000003000000000000000400 *000000000000050000000000000006000000000000000e000000000000000f0200000000000000 *0e000000000000000f0000000000000000000000000000000500000000000b0000000000000023 *000000000000002400000000000000250000000000000000000000000000000100000000000000 *020000000000000003000000000000001000000000000000110000000000000012000000000000 *001304000000000000001000000000000000110000000000000012000000000000001300000000 *000000000000000000000006000000000021000000000000002300000000000000260000000000 *000024000000000000002500000000000000270000000000000028000000000000002900000000 *0000002a000000000000002b000000000000002c000000000000002d000000000000002e000000 *000000002f00000000000000300000000000000031000000000000003200000000000000330000 *000000000034000000000000003500000000000000360000000000000037000000000000003800 *00000000000039000000000000003a000000000000003b000000000000003c000000000000003d *000000000000003e00000000000000140000000000000015000000000000001600000000000000 *170000000000000018050000000000000014000000000000001500000000000000160000000000 *000017000000000000001800000000000000000000000000000007000000000014000000000000 *002300000000000000240000000000000025000000000000000000000000000000010000000000 *000002000000000000000300000000000000040000000000000005000000000000000600000000 *00000019000000000000001a000000000000001b000000000000001c000000000000001d000000 *000000001e000000000000001f0000000000000020000000000000002100000000000000220a00 *0000000000001e000000000000001f000000000000001d0000000000000020000000000000001b *000000000000001c0000000000000019000000000000001a000000000000002100000000000000 *22000000000000003f000000000000000000000000000000010300000000000000080000000000 *000000000000000000000100000000000000000900000000000000000000000000000001000000 *00000000000a0000000000000000000000000000000100000000000000000b0000000000000000 *000000000000000203000000000000000c00000000000000000000000000000002000000000000 *00000d0000000000000000000000000000000200000000000000000e0000000000000000000000 *000000000303000000000000000f00000000000000000000000000000003030000000000000010 *000000000000000000000000000000030300000000000000110000000000000000000000000000 *000300000000000000001200000000000000000000000000000003000000000000000013000000 *000000000000000000000000030000000000000000140000000000000000000000000000000300 *000000000000001500000000000000000000000000000004030000000000000016000000000000 *000000000000000000040000000000000000170000000000000000000000000000000503000000 *000000001800000000000000000000000000000005000000000000000019000000000000000000 *0000000000000500000000000000001a0000000000000000000000000000000500000000000000 *001b0000000000000000000000000000000603000000000000001c000000000000000000000000 *0000000603000000000000001d0000000000000000000000000000000600000000000000001e00 *00000000000000000000000000000600000000000000001f000000000000000000000000000000 *060000000000000000200000000000000000000000000000000703000000000000002100000000 *000000000000000000000007000000000000000022000000000000000000000000000000070300 *000000000000230000000000000000000000000000000700000000000000002400000000000000 *000000000000000007030000000000000025000000000000000000000000000000070300000000 *000000260000000000000000000000000000000700000000000000002700000000000000000000 *000000000007000000000000000028000000000000000000000000000000070000000000000000 *290000000000000000000000000000000700000000000000002a000000000000002b0000000000 *00002c00000000000000002d000000000000002b000000000000002c00000000000000002e0000 *00000000002b000000000000002c03000000000000002f000000000000002b000000000000002c *000000000000000030000000000000002b000000000000002c0000000000000000310000000000 *00002b000000000000002c010000000000000032000000000000002b000000000000002c030000 *000000000032000000000000002b000000000000002c000000000000000033000000000000002b *000000000000002c010000000000000034000000000000002b000000000000002c030000000000 *000034000000000000002b000000000000002c000000000000000035000000000000002b000000 *000000002c010000000000000036000000000000002b000000000000002c030000000000000036 *000000000000002b000000000000002c000000000000000037000000000000002b000000000000 *002c010000000000000038000000000000002b000000000000002c030000000000000038000000 *000000002b000000000000002c000000000000000039000000000000002b000000000000002c01 *000000000000003a000000000000002b000000000000002c03000000000000003a000000000000 *002b000000000000002c00000000000000003b000000000000002b000000000000002c01000000 *000000003c000000000000002b000000000000002c03000000000000003c000000000000002b00 *0000000000002c00000000000000003d000000000000002b000000000000002c01000000000000 *003e000000000000002b000000000000002c03000000000000003e000000000000002b00000000 *0000002c00000000000000003f000000000000002b000000000000002c01000000000000004000 *0000000000002b000000000000002c030000000000000040000000000000004100000000000000 *156c65786963616c2d6d6f6e6f6964732d302e312e310000000000000013446174612e4d6f6e6f *69642e526564756365720000000000000018446174612e4d6f6e6f69642e526564756365722e43 *6861720000000000000022446174612e4d6f6e6f69642e4c65786963616c2e536f75726365506f *736974696f6e0000000000000020446174612e4d6f6e6f69642e4c65786963616c2e555446382e *4465636f6465720000000000000018446174612e4d6f6e6f69642e526564756365722e57697468 *0000000000000015446174612e4d6f6e6f69642e47656e657261746f7200000000000000194461 *74612e4d6f6e6f69642e4c65786963616c2e576f72647300000000000000075265647563657200 *000000000000067265647563650000000000000007726564756365720000000000000007726564 *7563656c000000000000000b4368617252656475636572000000000000000a7265647563654368 *6172000000000000000b696e76616c696443686172000000000000000e536f75726365506f7369 *74696f6e000000000000000c536f75726365436f6c756d6e000000000000000a536f757263654c *696e65000000000000000b73746172744f6646696c65000000000000000c736f75726365436f6c *756d6e000000000000000a736f757263654c696e65000000000000001273686f77536f75726365 *506f736974696f6e000000000000000455544638000000000000000772756e5554463800000000 *0000000b5769746852656475636572000000000000000e72756e57697468526564756365720000 *00000000000b7769746852656475636572000000000000000e776974686f757452656475636572 *000000000000000947656e657261746f720000000000000004456c656d00000000000000096d61 *70726564756365000000000000000a6d617072656475636572000000000000000a6d6170726564 *7563656c0000000000000007556e6c696e6564000000000000000a72756e556e6c696e65640000 *000000000008556e737061636564000000000000000b72756e556e737061636564000000000000 *00054c696e65730000000000000005576f726473000000000000000872756e576f726473000000 *000000000872756e4c696e65730000000000000009776f72647346726f6d00000000000000096c *696e657346726f6d000000000000000462617365000000000000000b446174612e4d6f6e6f6964 *00000000000000076d617070656e6400000000000000066d656d70747900000000000000064d6f *6e6f696400000000000000076d636f6e63617400000000000000076765744475616c0000000000 *0000044475616c0000000000000007617070456e646f0000000000000004456e646f0000000000 *000006676574416c6c0000000000000003416c6c0000000000000006676574416e790000000000 *000003416e79000000000000000667657453756d000000000000000353756d000000000000000a *67657450726f64756374000000000000000750726f647563740000000000000008676574466972 *73740000000000000005466972737400000000000000076765744c61737400000000000000044c *617374 addfile ./dist/doc/html/lexical-monoids/minus.gif binary ./dist/doc/html/lexical-monoids/minus.gif oldhex * newhex *47494638396109000900910000fefefe8282820202020000002c00000000090009000002118c8f *a00bc6eb5e0b40583b6596f1a11f14003b addfile ./dist/doc/html/lexical-monoids/plus.gif binary ./dist/doc/html/lexical-monoids/plus.gif oldhex * newhex *47494638396109000900910000fefefe8282820202020000002c00000000090009000002148c8f *a00bb6b29c82ca897b5b7871cfce74085200003b }