/usr/share/doc/libghc-text-doc/html/src/Data-Text-Internal-Fusion-Types.html is in libghc-text-doc 1.2.2.1-3.
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 | <?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/Internal/Fusion/Types.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE BangPatterns, ExistentialQuantification #-}</span>
<a name="line-2"></a><span class='hs-comment'>-- |</span>
<a name="line-3"></a><span class='hs-comment'>-- Module : Data.Text.Internal.Fusion.Types</span>
<a name="line-4"></a><span class='hs-comment'>-- Copyright : (c) Tom Harper 2008-2009,</span>
<a name="line-5"></a><span class='hs-comment'>-- (c) Bryan O'Sullivan 2009,</span>
<a name="line-6"></a><span class='hs-comment'>-- (c) Duncan Coutts 2009,</span>
<a name="line-7"></a><span class='hs-comment'>-- (c) Jasper Van der Jeugt 2011</span>
<a name="line-8"></a><span class='hs-comment'>--</span>
<a name="line-9"></a><span class='hs-comment'>-- License : BSD-style</span>
<a name="line-10"></a><span class='hs-comment'>-- Maintainer : bos@serpentine.com</span>
<a name="line-11"></a><span class='hs-comment'>-- Stability : experimental</span>
<a name="line-12"></a><span class='hs-comment'>-- Portability : GHC</span>
<a name="line-13"></a><span class='hs-comment'>--</span>
<a name="line-14"></a><span class='hs-comment'>-- /Warning/: this is an internal module, and does not have a stable</span>
<a name="line-15"></a><span class='hs-comment'>-- API or name. Functions in this module may not check or enforce</span>
<a name="line-16"></a><span class='hs-comment'>-- preconditions expected by public modules. Use at your own risk!</span>
<a name="line-17"></a><span class='hs-comment'>--</span>
<a name="line-18"></a><span class='hs-comment'>-- Core stream fusion functionality for text.</span>
<a name="line-19"></a>
<a name="line-20"></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'>Internal</span><span class='hs-varop'>.</span><span class='hs-conid'>Fusion</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span>
<a name="line-21"></a> <span class='hs-layout'>(</span>
<a name="line-22"></a> <span class='hs-conid'>CC</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-23"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>PairS</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-24"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>Scan</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-25"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>RS</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-26"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>Step</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-27"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>Stream</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-28"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>empty</span>
<a name="line-29"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-30"></a>
<a name="line-31"></a><span class='hs-keyword'>import</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'>Internal</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-32"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Word</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word8</span><span class='hs-layout'>)</span>
<a name="line-33"></a>
<a name="line-34"></a><a name="CC"></a><span class='hs-comment'>-- | Specialised tuple for case conversion.</span>
<a name="line-35"></a><a name="CC"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>CC</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CC</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Char</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Char</span>
<a name="line-36"></a>
<a name="line-37"></a><a name="RS"></a><span class='hs-comment'>-- | Restreaming state.</span>
<a name="line-38"></a><a name="RS"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>RS</span> <span class='hs-varid'>s</span>
<a name="line-39"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>RS0</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span>
<a name="line-40"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>RS1</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Word8</span>
<a name="line-41"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>RS2</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Word8</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Word8</span>
<a name="line-42"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>RS3</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Word8</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Word8</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Word8</span>
<a name="line-43"></a>
<a name="line-44"></a><a name="PairS"></a><span class='hs-comment'>-- | Strict pair.</span>
<a name="line-45"></a><a name="PairS"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>PairS</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varop'>!</span><span class='hs-varid'>a</span> <span class='hs-conop'>:*:</span> <span class='hs-varop'>!</span><span class='hs-varid'>b</span>
<a name="line-46"></a> <span class='hs-comment'>-- deriving (Eq, Ord, Show)</span>
<a name="line-47"></a><span class='hs-keyword'>infixl</span> <span class='hs-num'>2</span> <span class='hs-conop'>:*:</span>
<a name="line-48"></a>
<a name="line-49"></a><a name="Scan"></a><span class='hs-comment'>-- | An intermediate result in a scan.</span>
<a name="line-50"></a><a name="Scan"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Scan</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Scan1</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Char</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span>
<a name="line-51"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Scan2</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Char</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span>
<a name="line-52"></a>
<a name="line-53"></a><a name="Step"></a><span class='hs-comment'>-- | Intermediate result in a processing pipeline.</span>
<a name="line-54"></a><a name="Step"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Step</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Done</span>
<a name="line-55"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Skip</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span>
<a name="line-56"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Yield</span> <span class='hs-varop'>!</span><span class='hs-varid'>a</span> <span class='hs-varop'>!</span><span class='hs-varid'>s</span>
<a name="line-57"></a>
<a name="line-58"></a><span class='hs-comment'>{-
<a name="line-59"></a>instance (Show a) => Show (Step s a)
<a name="line-60"></a> where show Done = "Done"
<a name="line-61"></a> show (Skip _) = "Skip"
<a name="line-62"></a> show (Yield x _) = "Yield " ++ show x
<a name="line-63"></a>-}</span>
<a name="line-64"></a>
<a name="line-65"></a><a name="instance%20Eq%20(Stream%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Eq</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</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'>eq</span>
<a name="line-67"></a>
<a name="line-68"></a><a name="instance%20Ord%20(Stream%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ord</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Ord</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-69"></a> <span class='hs-varid'>compare</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>cmp</span>
<a name="line-70"></a>
<a name="line-71"></a><span class='hs-comment'>-- The length hint in a Stream has two roles. If its value is zero,</span>
<a name="line-72"></a><span class='hs-comment'>-- we trust it, and treat the stream as empty. Otherwise, we treat it</span>
<a name="line-73"></a><span class='hs-comment'>-- as a hint: it should usually be accurate, so we use it when</span>
<a name="line-74"></a><span class='hs-comment'>-- unstreaming to decide what size array to allocate. However, the</span>
<a name="line-75"></a><span class='hs-comment'>-- unstreaming functions must be able to cope with the hint being too</span>
<a name="line-76"></a><span class='hs-comment'>-- small or too large.</span>
<a name="line-77"></a><span class='hs-comment'>--</span>
<a name="line-78"></a><span class='hs-comment'>-- The size hint tries to track the UTF-16 code points in a stream,</span>
<a name="line-79"></a><span class='hs-comment'>-- but often counts the number of characters instead. It can easily</span>
<a name="line-80"></a><span class='hs-comment'>-- undercount if, for instance, a transformed stream contains astral</span>
<a name="line-81"></a><span class='hs-comment'>-- plane characters (those above 0x10000).</span>
<a name="line-82"></a>
<a name="line-83"></a><a name="Stream"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span>
<a name="line-84"></a> <span class='hs-keyword'>forall</span> <span class='hs-varid'>s</span><span class='hs-varop'>.</span> <span class='hs-conid'>Stream</span>
<a name="line-85"></a> <span class='hs-layout'>(</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Step</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- stepper function</span>
<a name="line-86"></a> <span class='hs-varop'>!</span><span class='hs-varid'>s</span> <span class='hs-comment'>-- current state</span>
<a name="line-87"></a> <span class='hs-varop'>!</span><span class='hs-conid'>Size</span> <span class='hs-comment'>-- size hint</span>
<a name="line-88"></a>
<a name="line-89"></a><a name="eq"></a><span class='hs-comment'>-- | /O(n)/ Determines if two streams are equal.</span>
<a name="line-90"></a><span class='hs-definition'>eq</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-91"></a><span class='hs-definition'>eq</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stream</span> <span class='hs-varid'>next1</span> <span class='hs-varid'>s1</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stream</span> <span class='hs-varid'>next2</span> <span class='hs-varid'>s2</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2</span><span class='hs-layout'>)</span>
<a name="line-92"></a> <span class='hs-keyword'>where</span>
<a name="line-93"></a> <span class='hs-varid'>loop</span> <span class='hs-conid'>Done</span> <span class='hs-conid'>Done</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-94"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span>
<a name="line-95"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-varid'>x2</span>
<a name="line-96"></a> <span class='hs-varid'>loop</span> <span class='hs-varid'>x1</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-varid'>x1</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span>
<a name="line-97"></a> <span class='hs-varid'>loop</span> <span class='hs-conid'>Done</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-98"></a> <span class='hs-varid'>loop</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>Done</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-99"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-conid'>Yield</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Yield</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x1</span> <span class='hs-varop'>==</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>&&</span>
<a name="line-100"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span>
<a name="line-101"></a><span class='hs-comment'>{-# INLINE [0] eq #-}</span>
<a name="line-102"></a>
<a name="line-103"></a><a name="cmp"></a><span class='hs-definition'>cmp</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ord</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Ordering</span>
<a name="line-104"></a><span class='hs-definition'>cmp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stream</span> <span class='hs-varid'>next1</span> <span class='hs-varid'>s1</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stream</span> <span class='hs-varid'>next2</span> <span class='hs-varid'>s2</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2</span><span class='hs-layout'>)</span>
<a name="line-105"></a> <span class='hs-keyword'>where</span>
<a name="line-106"></a> <span class='hs-varid'>loop</span> <span class='hs-conid'>Done</span> <span class='hs-conid'>Done</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>EQ</span>
<a name="line-107"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span>
<a name="line-108"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-varid'>x2</span>
<a name="line-109"></a> <span class='hs-varid'>loop</span> <span class='hs-varid'>x1</span> <span class='hs-layout'>(</span><span class='hs-conid'>Skip</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>loop</span> <span class='hs-varid'>x1</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span>
<a name="line-110"></a> <span class='hs-varid'>loop</span> <span class='hs-conid'>Done</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LT</span>
<a name="line-111"></a> <span class='hs-varid'>loop</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>Done</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>GT</span>
<a name="line-112"></a> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-conid'>Yield</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Yield</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-113"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>compare</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-keyword'>of</span>
<a name="line-114"></a> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>loop</span> <span class='hs-layout'>(</span><span class='hs-varid'>next1</span> <span class='hs-varid'>s1'</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>next2</span> <span class='hs-varid'>s2'</span><span class='hs-layout'>)</span>
<a name="line-115"></a> <span class='hs-varid'>other</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>other</span>
<a name="line-116"></a><span class='hs-comment'>{-# INLINE [0] cmp #-}</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="empty"></a><span class='hs-comment'>-- | The empty stream.</span>
<a name="line-119"></a><span class='hs-definition'>empty</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>a</span>
<a name="line-120"></a><span class='hs-definition'>empty</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Stream</span> <span class='hs-varid'>next</span> <span class='hs-conid'>()</span> <span class='hs-num'>0</span>
<a name="line-121"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>next</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Done</span>
<a name="line-122"></a><span class='hs-comment'>{-# INLINE [0] empty #-}</span>
</pre></body>
</html>
|