This file is indexed.

/usr/share/doc/libghc-text-doc/html/src/Data-Text-Fusion-Size.html is in libghc-text-doc 0.11.1.13-1build1.

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
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>Data/Text/Fusion/Size.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE CPP #-}</span>
<a name="line-2"></a><span class='hs-comment'>{-# OPTIONS_GHC -fno-warn-missing-methods #-}</span>
<a name="line-3"></a><span class='hs-comment'>-- |</span>
<a name="line-4"></a><span class='hs-comment'>-- Module      : Data.Text.Fusion.Internal</span>
<a name="line-5"></a><span class='hs-comment'>-- Copyright   : (c) Roman Leshchinskiy 2008,</span>
<a name="line-6"></a><span class='hs-comment'>--               (c) Bryan O'Sullivan 2009</span>
<a name="line-7"></a><span class='hs-comment'>--</span>
<a name="line-8"></a><span class='hs-comment'>-- License     : BSD-style</span>
<a name="line-9"></a><span class='hs-comment'>-- Maintainer  : bos@serpentine.com, rtomharper@googlemail.com,</span>
<a name="line-10"></a><span class='hs-comment'>--               duncan@haskell.org</span>
<a name="line-11"></a><span class='hs-comment'>-- Stability   : experimental</span>
<a name="line-12"></a><span class='hs-comment'>-- Portability : portable</span>
<a name="line-13"></a><span class='hs-comment'>--</span>
<a name="line-14"></a><span class='hs-comment'>-- Size hints.</span>
<a name="line-15"></a>
<a name="line-16"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Fusion</span><span class='hs-varop'>.</span><span class='hs-conid'>Size</span>
<a name="line-17"></a>    <span class='hs-layout'>(</span>
<a name="line-18"></a>      <span class='hs-conid'>Size</span>
<a name="line-19"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>exactly</span>
<a name="line-20"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>exactSize</span>
<a name="line-21"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>maxSize</span>
<a name="line-22"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>unknownSize</span>
<a name="line-23"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>smaller</span>
<a name="line-24"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>larger</span>
<a name="line-25"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>upperBound</span>
<a name="line-26"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>isEmpty</span>
<a name="line-27"></a>    <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-28"></a>
<a name="line-29"></a><span class='hs-cpp'>#if defined(ASSERTS)</span>
<a name="line-30"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Exception</span> <span class='hs-layout'>(</span><span class='hs-varid'>assert</span><span class='hs-layout'>)</span>
<a name="line-31"></a><span class='hs-cpp'>#endif</span>
<a name="line-32"></a>
<a name="line-33"></a><a name="Size"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Exact size.</span>
<a name="line-34"></a>          <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Max</span>   <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Upper bound on size.</span>
<a name="line-35"></a>          <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Unknown</span>                   <span class='hs-comment'>-- ^ Unknown size.</span>
<a name="line-36"></a>            <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>)</span>
<a name="line-37"></a>
<a name="line-38"></a><a name="exactly"></a><span class='hs-definition'>exactly</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Int</span>
<a name="line-39"></a><span class='hs-definition'>exactly</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>n</span>
<a name="line-40"></a><span class='hs-definition'>exactly</span> <span class='hs-keyword'>_</span>         <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-41"></a><span class='hs-comment'>{-# INLINE exactly #-}</span>
<a name="line-42"></a>
<a name="line-43"></a><a name="exactSize"></a><span class='hs-definition'>exactSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-44"></a><span class='hs-definition'>exactSize</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span>
<a name="line-45"></a><span class='hs-cpp'>#if defined(ASSERTS)</span>
<a name="line-46"></a>    <span class='hs-varid'>assert</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span> <span class='hs-varop'>&gt;=</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span>
<a name="line-47"></a><span class='hs-cpp'>#endif</span>
<a name="line-48"></a>    <span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span>
<a name="line-49"></a><span class='hs-comment'>{-# INLINE exactSize #-}</span>
<a name="line-50"></a>
<a name="line-51"></a><a name="maxSize"></a><span class='hs-definition'>maxSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-52"></a><span class='hs-definition'>maxSize</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span>
<a name="line-53"></a><span class='hs-cpp'>#if defined(ASSERTS)</span>
<a name="line-54"></a>    <span class='hs-varid'>assert</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span> <span class='hs-varop'>&gt;=</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span>
<a name="line-55"></a><span class='hs-cpp'>#endif</span>
<a name="line-56"></a>    <span class='hs-conid'>Max</span> <span class='hs-varid'>n</span>
<a name="line-57"></a><span class='hs-comment'>{-# INLINE maxSize #-}</span>
<a name="line-58"></a>
<a name="line-59"></a><a name="unknownSize"></a><span class='hs-definition'>unknownSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span>
<a name="line-60"></a><span class='hs-definition'>unknownSize</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Unknown</span>
<a name="line-61"></a><span class='hs-comment'>{-# INLINE unknownSize #-}</span>
<a name="line-62"></a>
<a name="line-63"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Num</span> <span class='hs-conid'>Size</span> <span class='hs-keyword'>where</span>
<a name="line-64"></a>    <span class='hs-layout'>(</span><span class='hs-varop'>+</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addSize</span>
<a name="line-65"></a>    <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>subtractSize</span>
<a name="line-66"></a>    <span class='hs-layout'>(</span><span class='hs-varop'>*</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mulSize</span>
<a name="line-67"></a>
<a name="line-68"></a>    <span class='hs-varid'>fromInteger</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-keyword'>where</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromInteger</span>
<a name="line-69"></a>                          <span class='hs-comment'>{-# INLINE f #-}</span>
<a name="line-70"></a>
<a name="line-71"></a><a name="add"></a><span class='hs-definition'>add</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Int</span>
<a name="line-72"></a><span class='hs-definition'>add</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>mn</span> <span class='hs-varop'>&gt;=</span>   <span class='hs-num'>0</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mn</span>
<a name="line-73"></a>        <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>overflowError</span>
<a name="line-74"></a>  <span class='hs-keyword'>where</span> <span class='hs-varid'>mn</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>m</span> <span class='hs-varop'>+</span> <span class='hs-varid'>n</span>
<a name="line-75"></a><span class='hs-comment'>{-# INLINE add #-}</span>
<a name="line-76"></a>
<a name="line-77"></a><a name="addSize"></a><span class='hs-definition'>addSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-78"></a><span class='hs-definition'>addSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-layout'>(</span><span class='hs-varid'>add</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-79"></a><span class='hs-definition'>addSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>add</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-80"></a><span class='hs-definition'>addSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>add</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-81"></a><span class='hs-definition'>addSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>add</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-82"></a><span class='hs-definition'>addSize</span> <span class='hs-keyword'>_</span>          <span class='hs-keyword'>_</span>       <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Unknown</span>
<a name="line-83"></a><span class='hs-comment'>{-# INLINE addSize #-}</span>
<a name="line-84"></a>
<a name="line-85"></a><a name="subtractSize"></a><span class='hs-definition'>subtractSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-86"></a><span class='hs-definition'>subtractSize</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-layout'>(</span><span class='hs-varid'>max</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span><span class='hs-comment'>-</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span>
<a name="line-87"></a><span class='hs-definition'>subtractSize</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span>
<a name="line-88"></a><span class='hs-definition'>subtractSize</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>max</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span><span class='hs-comment'>-</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span>
<a name="line-89"></a><span class='hs-definition'>subtractSize</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span>
<a name="line-90"></a><span class='hs-definition'>subtractSize</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-conid'>Unknown</span>   <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span>
<a name="line-91"></a><span class='hs-definition'>subtractSize</span> <span class='hs-keyword'>_</span>         <span class='hs-keyword'>_</span>           <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Unknown</span>
<a name="line-92"></a><span class='hs-comment'>{-# INLINE subtractSize #-}</span>
<a name="line-93"></a>
<a name="line-94"></a><a name="mul"></a><span class='hs-definition'>mul</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Int</span>
<a name="line-95"></a><span class='hs-definition'>mul</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span>
<a name="line-96"></a>    <span class='hs-keyglyph'>|</span> <span class='hs-varid'>m</span> <span class='hs-varop'>&lt;=</span> <span class='hs-varid'>maxBound</span> <span class='hs-varop'>`div`</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>m</span> <span class='hs-varop'>*</span> <span class='hs-varid'>n</span>
<a name="line-97"></a>    <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span>             <span class='hs-keyglyph'>=</span> <span class='hs-varid'>overflowError</span>
<a name="line-98"></a><span class='hs-comment'>{-# INLINE mul #-}</span>
<a name="line-99"></a>
<a name="line-100"></a><a name="mulSize"></a><span class='hs-definition'>mulSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-101"></a><span class='hs-definition'>mulSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-layout'>(</span><span class='hs-varid'>mul</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-102"></a><span class='hs-definition'>mulSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>mul</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-103"></a><span class='hs-definition'>mulSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>mul</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-104"></a><span class='hs-definition'>mulSize</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>mul</span> <span class='hs-varid'>m</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-105"></a><span class='hs-definition'>mulSize</span> <span class='hs-keyword'>_</span>          <span class='hs-keyword'>_</span>        <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Unknown</span>
<a name="line-106"></a><span class='hs-comment'>{-# INLINE mulSize #-}</span>
<a name="line-107"></a>
<a name="line-108"></a><a name="smaller"></a><span class='hs-comment'>-- | Minimum of two size hints.</span>
<a name="line-109"></a><span class='hs-definition'>smaller</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-110"></a><span class='hs-definition'>smaller</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`min`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-111"></a><span class='hs-definition'>smaller</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`min`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-112"></a><span class='hs-definition'>smaller</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-conid'>Unknown</span>   <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span>
<a name="line-113"></a><span class='hs-definition'>smaller</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`min`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-114"></a><span class='hs-definition'>smaller</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`min`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-115"></a><span class='hs-definition'>smaller</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-conid'>Unknown</span>   <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span>
<a name="line-116"></a><span class='hs-definition'>smaller</span>   <span class='hs-conid'>Unknown</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span>
<a name="line-117"></a><span class='hs-definition'>smaller</span>   <span class='hs-conid'>Unknown</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span>
<a name="line-118"></a><span class='hs-definition'>smaller</span>   <span class='hs-conid'>Unknown</span>   <span class='hs-conid'>Unknown</span>   <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Unknown</span>
<a name="line-119"></a><span class='hs-comment'>{-# INLINE smaller #-}</span>
<a name="line-120"></a>
<a name="line-121"></a><a name="larger"></a><span class='hs-comment'>-- | Maximum of two size hints.</span>
<a name="line-122"></a><span class='hs-definition'>larger</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span>
<a name="line-123"></a><span class='hs-definition'>larger</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>             <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Exact</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`max`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-124"></a><span class='hs-definition'>larger</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>m</span> <span class='hs-varop'>&gt;=</span> <span class='hs-varid'>n</span>    <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span>
<a name="line-125"></a>                               <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>b</span>
<a name="line-126"></a><span class='hs-definition'>larger</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-varop'>&gt;=</span> <span class='hs-varid'>m</span>    <span class='hs-keyglyph'>=</span> <span class='hs-varid'>b</span>
<a name="line-127"></a>                               <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span>
<a name="line-128"></a><span class='hs-definition'>larger</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>m</span><span class='hs-layout'>)</span>   <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span>             <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Max</span>   <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`max`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-129"></a><span class='hs-definition'>larger</span> <span class='hs-keyword'>_</span>             <span class='hs-keyword'>_</span>                     <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Unknown</span>
<a name="line-130"></a><span class='hs-comment'>{-# INLINE larger #-}</span>
<a name="line-131"></a>
<a name="line-132"></a><a name="upperBound"></a><span class='hs-comment'>-- | Compute the maximum size from a size hint, if possible.</span>
<a name="line-133"></a><span class='hs-definition'>upperBound</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Int</span>
<a name="line-134"></a><span class='hs-definition'>upperBound</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-135"></a><span class='hs-definition'>upperBound</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-136"></a><span class='hs-definition'>upperBound</span> <span class='hs-varid'>k</span> <span class='hs-keyword'>_</span>         <span class='hs-keyglyph'>=</span> <span class='hs-varid'>k</span>
<a name="line-137"></a><span class='hs-comment'>{-# INLINE upperBound #-}</span>
<a name="line-138"></a>
<a name="line-139"></a><a name="isEmpty"></a><span class='hs-definition'>isEmpty</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Size</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Bool</span>
<a name="line-140"></a><span class='hs-definition'>isEmpty</span> <span class='hs-layout'>(</span><span class='hs-conid'>Exact</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span> <span class='hs-varop'>&lt;=</span> <span class='hs-num'>0</span>
<a name="line-141"></a><span class='hs-definition'>isEmpty</span> <span class='hs-layout'>(</span><span class='hs-conid'>Max</span>   <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span> <span class='hs-varop'>&lt;=</span> <span class='hs-num'>0</span>
<a name="line-142"></a><span class='hs-definition'>isEmpty</span> <span class='hs-keyword'>_</span>         <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-143"></a><span class='hs-comment'>{-# INLINE isEmpty #-}</span>
<a name="line-144"></a>
<a name="line-145"></a><a name="overflowError"></a><span class='hs-definition'>overflowError</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span>
<a name="line-146"></a><span class='hs-definition'>overflowError</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Data.Text.Fusion.Size: size overflow"</span>
</pre></body>
</html>