<?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://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>GHC/Enum.lhs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
\begin{code}
<pre><a name="line-1"></a><span class='hs-comment'>{-# OPTIONS_GHC -XNoImplicitPrelude #-}</span>
<a name="line-2"></a><span class='hs-comment'>{-# OPTIONS_HADDOCK hide #-}</span>
<a name="line-3"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-4"></a><span class='hs-comment'>-- |</span>
<a name="line-5"></a><span class='hs-comment'>-- Module : GHC.Enum</span>
<a name="line-6"></a><span class='hs-comment'>-- Copyright : (c) The University of Glasgow, 1992-2002</span>
<a name="line-7"></a><span class='hs-comment'>-- License : see libraries/base/LICENSE</span>
<a name="line-8"></a><span class='hs-comment'>-- </span>
<a name="line-9"></a><span class='hs-comment'>-- Maintainer : cvs-ghc@haskell.org</span>
<a name="line-10"></a><span class='hs-comment'>-- Stability : internal</span>
<a name="line-11"></a><span class='hs-comment'>-- Portability : non-portable (GHC extensions)</span>
<a name="line-12"></a><span class='hs-comment'>--</span>
<a name="line-13"></a><span class='hs-comment'>-- The 'Enum' and 'Bounded' classes.</span>
<a name="line-14"></a><span class='hs-comment'>-- </span>
<a name="line-15"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-16"></a>
<a name="line-17"></a><span class='hs-comment'>-- #hide</span>
<a name="line-18"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>GHC</span><span class='hs-varop'>.</span><span class='hs-conid'>Enum</span><span class='hs-layout'>(</span>
<a name="line-19"></a> <span class='hs-conid'>Bounded</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>Enum</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-20"></a> <span class='hs-varid'>boundedEnumFrom</span><span class='hs-layout'>,</span> <span class='hs-varid'>boundedEnumFromThen</span><span class='hs-layout'>,</span>
<a name="line-21"></a>
<a name="line-22"></a> <span class='hs-comment'>-- Instances for Bounded and Enum: (), Char, Int</span>
<a name="line-23"></a>
<a name="line-24"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-25"></a>
<a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>GHC</span><span class='hs-varop'>.</span><span class='hs-conid'>Base</span>
<a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Tuple</span> <span class='hs-conid'>()</span> <span class='hs-comment'>-- for dependencies</span>
<a name="line-28"></a><span class='hs-keyword'>default</span> <span class='hs-conid'>()</span> <span class='hs-comment'>-- Double isn't available yet</span>
</pre>\end{code}
%*********************************************************
%* *
\subsection{Class declarations}
%* *
%*********************************************************
\begin{code}
<pre><a name="line-1"></a><span class='hs-comment'>-- | The 'Bounded' class is used to name the upper and lower limits of a</span>
<a name="line-2"></a><span class='hs-comment'>-- type. 'Ord' is not a superclass of 'Bounded' since types that are not</span>
<a name="line-3"></a><span class='hs-comment'>-- totally ordered may also have upper and lower bounds.</span>
<a name="line-4"></a><span class='hs-comment'>--</span>
<a name="line-5"></a><span class='hs-comment'>-- The 'Bounded' class may be derived for any enumeration type;</span>
<a name="line-6"></a><span class='hs-comment'>-- 'minBound' is the first constructor listed in the @data@ declaration</span>
<a name="line-7"></a><span class='hs-comment'>-- and 'maxBound' is the last.</span>
<a name="line-8"></a><span class='hs-comment'>-- 'Bounded' may also be derived for single-constructor datatypes whose</span>
<a name="line-9"></a><span class='hs-comment'>-- constituent types are in 'Bounded'.</span>
<a name="line-10"></a>
<a name="line-11"></a><a name="Bounded"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span>
<a name="line-12"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span>
<a name="line-13"></a>
<a name="line-14"></a><a name="Enum"></a><span class='hs-comment'>-- | Class 'Enum' defines operations on sequentially ordered types.</span>
<a name="line-15"></a><a name="Enum"></a><span class='hs-comment'>--</span>
<a name="line-16"></a><a name="Enum"></a><span class='hs-comment'>-- The @enumFrom@... methods are used in Haskell's translation of</span>
<a name="line-17"></a><a name="Enum"></a><span class='hs-comment'>-- arithmetic sequences.</span>
<a name="line-18"></a><a name="Enum"></a><span class='hs-comment'>--</span>
<a name="line-19"></a><a name="Enum"></a><span class='hs-comment'>-- Instances of 'Enum' may be derived for any enumeration type (types</span>
<a name="line-20"></a><a name="Enum"></a><span class='hs-comment'>-- whose constructors have no fields). The nullary constructors are</span>
<a name="line-21"></a><a name="Enum"></a><span class='hs-comment'>-- assumed to be numbered left-to-right by 'fromEnum' from @0@ through @n-1@.</span>
<a name="line-22"></a><a name="Enum"></a><span class='hs-comment'>-- See Chapter 10 of the /Haskell Report/ for more details.</span>
<a name="line-23"></a><a name="Enum"></a><span class='hs-comment'>-- </span>
<a name="line-24"></a><a name="Enum"></a><span class='hs-comment'>-- For any type that is an instance of class 'Bounded' as well as 'Enum',</span>
<a name="line-25"></a><a name="Enum"></a><span class='hs-comment'>-- the following should hold:</span>
<a name="line-26"></a><a name="Enum"></a><span class='hs-comment'>--</span>
<a name="line-27"></a><a name="Enum"></a><span class='hs-comment'>-- * The calls @'succ' 'maxBound'@ and @'pred' 'minBound'@ should result in</span>
<a name="line-28"></a><a name="Enum"></a><span class='hs-comment'>-- a runtime error.</span>
<a name="line-29"></a><a name="Enum"></a><span class='hs-comment'>-- </span>
<a name="line-30"></a><a name="Enum"></a><span class='hs-comment'>-- * 'fromEnum' and 'toEnum' should give a runtime error if the </span>
<a name="line-31"></a><a name="Enum"></a><span class='hs-comment'>-- result value is not representable in the result type.</span>
<a name="line-32"></a><a name="Enum"></a><span class='hs-comment'>-- For example, @'toEnum' 7 :: 'Bool'@ is an error.</span>
<a name="line-33"></a><a name="Enum"></a><span class='hs-comment'>--</span>
<a name="line-34"></a><a name="Enum"></a><span class='hs-comment'>-- * 'enumFrom' and 'enumFromThen' should be defined with an implicit bound,</span>
<a name="line-35"></a><a name="Enum"></a><span class='hs-comment'>-- thus:</span>
<a name="line-36"></a><a name="Enum"></a><span class='hs-comment'>--</span>
<a name="line-37"></a><a name="Enum"></a><span class='hs-comment'>-- > enumFrom x = enumFromTo x maxBound</span>
<a name="line-38"></a><a name="Enum"></a><span class='hs-comment'>-- > enumFromThen x y = enumFromThenTo x y bound</span>
<a name="line-39"></a><a name="Enum"></a><span class='hs-comment'>-- > where</span>
<a name="line-40"></a><a name="Enum"></a><span class='hs-comment'>-- > bound | fromEnum y >= fromEnum x = maxBound</span>
<a name="line-41"></a><a name="Enum"></a><span class='hs-comment'>-- > | otherwise = minBound</span>
<a name="line-42"></a><a name="Enum"></a><span class='hs-comment'>--</span>
<a name="line-43"></a><a name="Enum"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>Enum</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span>
<a name="line-44"></a> <span class='hs-comment'>-- | the successor of a value. For numeric types, 'succ' adds 1.</span>
<a name="line-45"></a> <span class='hs-varid'>succ</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-46"></a> <span class='hs-comment'>-- | the predecessor of a value. For numeric types, 'pred' subtracts 1.</span>
<a name="line-47"></a> <span class='hs-varid'>pred</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-48"></a> <span class='hs-comment'>-- | Convert from an 'Int'.</span>
<a name="line-49"></a> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-50"></a> <span class='hs-comment'>-- | Convert to an 'Int'.</span>
<a name="line-51"></a> <span class='hs-comment'>-- It is implementation-dependent what 'fromEnum' returns when</span>
<a name="line-52"></a> <span class='hs-comment'>-- applied to a value that is too large to fit in an 'Int'.</span>
<a name="line-53"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span>
<a name="line-54"></a>
<a name="line-55"></a> <span class='hs-comment'>-- | Used in Haskell's translation of @[n..]@.</span>
<a name="line-56"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span>
<a name="line-57"></a> <span class='hs-comment'>-- | Used in Haskell's translation of @[n,n'..]@.</span>
<a name="line-58"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span>
<a name="line-59"></a> <span class='hs-comment'>-- | Used in Haskell's translation of @[n..m]@.</span>
<a name="line-60"></a> <span class='hs-varid'>enumFromTo</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span>
<a name="line-61"></a> <span class='hs-comment'>-- | Used in Haskell's translation of @[n,n'..m]@.</span>
<a name="line-62"></a> <span class='hs-varid'>enumFromThenTo</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span>
<a name="line-63"></a>
<a name="line-64"></a> <span class='hs-varid'>succ</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toEnum</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varop'>`plusInt`</span> <span class='hs-varid'>oneInt</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromEnum</span>
<a name="line-65"></a> <span class='hs-varid'>pred</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toEnum</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varop'>`minusInt`</span> <span class='hs-varid'>oneInt</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromEnum</span>
<a name="line-66"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>..</span><span class='hs-keyglyph'>]</span>
<a name="line-67"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>..</span><span class='hs-keyglyph'>]</span>
<a name="line-68"></a> <span class='hs-varid'>enumFromTo</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>..</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>y</span><span class='hs-keyglyph'>]</span>
<a name="line-69"></a> <span class='hs-varid'>enumFromThenTo</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>x1</span><span class='hs-layout'>,</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>..</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>y</span><span class='hs-keyglyph'>]</span>
<a name="line-70"></a>
<a name="line-71"></a><a name="boundedEnumFrom"></a><span class='hs-comment'>-- Default methods for bounded enumerations</span>
<a name="line-72"></a><span class='hs-definition'>boundedEnumFrom</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Enum</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span>
<a name="line-73"></a><span class='hs-definition'>boundedEnumFrom</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>..</span> <span class='hs-varid'>fromEnum</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span> <span class='hs-varop'>`asTypeOf`</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-74"></a>
<a name="line-75"></a><a name="boundedEnumFromThen"></a><span class='hs-definition'>boundedEnumFromThen</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Enum</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span>
<a name="line-76"></a><span class='hs-definition'>boundedEnumFromThen</span> <span class='hs-varid'>n1</span> <span class='hs-varid'>n2</span>
<a name="line-77"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>i_n2</span> <span class='hs-varop'>>=</span> <span class='hs-varid'>i_n1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>i_n1</span><span class='hs-layout'>,</span> <span class='hs-varid'>i_n2</span> <span class='hs-keyglyph'>..</span> <span class='hs-varid'>fromEnum</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span> <span class='hs-varop'>`asTypeOf`</span> <span class='hs-varid'>n1</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-78"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>i_n1</span><span class='hs-layout'>,</span> <span class='hs-varid'>i_n2</span> <span class='hs-keyglyph'>..</span> <span class='hs-varid'>fromEnum</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span> <span class='hs-varop'>`asTypeOf`</span> <span class='hs-varid'>n1</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-79"></a> <span class='hs-keyword'>where</span>
<a name="line-80"></a> <span class='hs-varid'>i_n1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>n1</span>
<a name="line-81"></a> <span class='hs-varid'>i_n2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>n2</span>
</pre>\end{code}
%*********************************************************
%* *
\subsection{Tuples}
%* *
%*********************************************************
\begin{code}
<pre><a name="line-1"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Bounded</span> <span class='hs-conid'>()</span> <span class='hs-keyword'>where</span>
<a name="line-2"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>()</span>
<a name="line-3"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>()</span>
<a name="line-4"></a>
<a name="line-5"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Enum</span> <span class='hs-conid'>()</span> <span class='hs-keyword'>where</span>
<a name="line-6"></a> <span class='hs-varid'>succ</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.().succ: bad argument"</span>
<a name="line-7"></a> <span class='hs-varid'>pred</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.().pred: bad argument"</span>
<a name="line-8"></a>
<a name="line-9"></a> <span class='hs-varid'>toEnum</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>zeroInt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>()</span>
<a name="line-10"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.().toEnum: bad argument"</span>
<a name="line-11"></a>
<a name="line-12"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-conid'>()</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zeroInt</span>
<a name="line-13"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-conid'>()</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>()</span><span class='hs-keyglyph'>]</span>
<a name="line-14"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-conid'>()</span> <span class='hs-conid'>()</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>many</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>()</span><span class='hs-conop'>:</span><span class='hs-varid'>many</span> <span class='hs-keyword'>in</span> <span class='hs-varid'>many</span>
<a name="line-15"></a> <span class='hs-varid'>enumFromTo</span> <span class='hs-conid'>()</span> <span class='hs-conid'>()</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>()</span><span class='hs-keyglyph'>]</span>
<a name="line-16"></a> <span class='hs-varid'>enumFromThenTo</span> <span class='hs-conid'>()</span> <span class='hs-conid'>()</span> <span class='hs-conid'>()</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>many</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>()</span><span class='hs-conop'>:</span><span class='hs-varid'>many</span> <span class='hs-keyword'>in</span> <span class='hs-varid'>many</span>
</pre>\end{code}
\begin{code}
<pre><a name="line-1"></a><span class='hs-comment'>-- Report requires instances up to 15</span>
<a name="line-2"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-3"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-4"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-5"></a>
<a name="line-6"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-7"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-8"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-9"></a>
<a name="line-10"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-11"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-12"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-13"></a>
<a name="line-14"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-15"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-16"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span>
<a name="line-19"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-20"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-21"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-22"></a>
<a name="line-23"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span>
<a name="line-24"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-25"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-26"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-27"></a>
<a name="line-28"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-29"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span>
<a name="line-30"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-31"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-32"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-35"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span>
<a name="line-36"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-37"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-38"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-39"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-40"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-41"></a>
<a name="line-42"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-43"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>j</span><span class='hs-layout'>)</span>
<a name="line-44"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-45"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-46"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-47"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-48"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-49"></a>
<a name="line-50"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-51"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>j</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>k</span><span class='hs-layout'>)</span>
<a name="line-52"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>,</span><span class='hs-varid'>k</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-53"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-54"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-55"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-56"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-57"></a>
<a name="line-58"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-59"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>j</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>k</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span>
<a name="line-60"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>,</span><span class='hs-varid'>k</span><span class='hs-layout'>,</span><span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-61"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-62"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-63"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-64"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-65"></a>
<a name="line-66"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-67"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>j</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>k</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span>
<a name="line-68"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>,</span><span class='hs-varid'>k</span><span class='hs-layout'>,</span><span class='hs-varid'>l</span><span class='hs-layout'>,</span><span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-69"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-70"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-71"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-72"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-73"></a>
<a name="line-74"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-75"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>j</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>k</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>m</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span>
<a name="line-76"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>,</span><span class='hs-varid'>k</span><span class='hs-layout'>,</span><span class='hs-varid'>l</span><span class='hs-layout'>,</span><span class='hs-varid'>m</span><span class='hs-layout'>,</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-77"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-78"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-79"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-80"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
<a name="line-81"></a>
<a name="line-82"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Bounded</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>d</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>e</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>g</span><span class='hs-layout'>,</span>
<a name="line-83"></a> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>i</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>j</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>k</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>m</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>n</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bounded</span> <span class='hs-varid'>o</span><span class='hs-layout'>)</span>
<a name="line-84"></a> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Bounded</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>e</span><span class='hs-layout'>,</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span><span class='hs-varid'>g</span><span class='hs-layout'>,</span><span class='hs-varid'>h</span><span class='hs-layout'>,</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>,</span><span class='hs-varid'>k</span><span class='hs-layout'>,</span><span class='hs-varid'>l</span><span class='hs-layout'>,</span><span class='hs-varid'>m</span><span class='hs-layout'>,</span><span class='hs-varid'>n</span><span class='hs-layout'>,</span><span class='hs-varid'>o</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-85"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span>
<a name="line-86"></a> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>minBound</span><span class='hs-layout'>)</span>
<a name="line-87"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span>
<a name="line-88"></a> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>,</span> <span class='hs-varid'>maxBound</span><span class='hs-layout'>)</span>
</pre>\end{code}
%*********************************************************
%* *
\subsection{Type @Bool@}
%* *
%*********************************************************
\begin{code}
<pre><a name="line-1"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Bounded</span> <span class='hs-conid'>Bool</span> <span class='hs-keyword'>where</span>
<a name="line-2"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-3"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-4"></a>
<a name="line-5"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Enum</span> <span class='hs-conid'>Bool</span> <span class='hs-keyword'>where</span>
<a name="line-6"></a> <span class='hs-varid'>succ</span> <span class='hs-conid'>False</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-7"></a> <span class='hs-varid'>succ</span> <span class='hs-conid'>True</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.Bool.succ: bad argument"</span>
<a name="line-8"></a>
<a name="line-9"></a> <span class='hs-varid'>pred</span> <span class='hs-conid'>True</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-10"></a> <span class='hs-varid'>pred</span> <span class='hs-conid'>False</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.Bool.pred: bad argument"</span>
<a name="line-11"></a>
<a name="line-12"></a> <span class='hs-varid'>toEnum</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-varop'>==</span> <span class='hs-varid'>zeroInt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-13"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-varop'>==</span> <span class='hs-varid'>oneInt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-14"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.Bool.toEnum: bad argument"</span>
<a name="line-15"></a>
<a name="line-16"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-conid'>False</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zeroInt</span>
<a name="line-17"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-conid'>True</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>oneInt</span>
<a name="line-18"></a>
<a name="line-19"></a> <span class='hs-comment'>-- Use defaults for the rest</span>
<a name="line-20"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>boundedEnumFrom</span>
<a name="line-21"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>boundedEnumFromThen</span>
</pre>\end{code}
%*********************************************************
%* *
\subsection{Type @Ordering@}
%* *
%*********************************************************
\begin{code}
<pre><a name="line-1"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Bounded</span> <span class='hs-conid'>Ordering</span> <span class='hs-keyword'>where</span>
<a name="line-2"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LT</span>
<a name="line-3"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>GT</span>
<a name="line-4"></a>
<a name="line-5"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Enum</span> <span class='hs-conid'>Ordering</span> <span class='hs-keyword'>where</span>
<a name="line-6"></a> <span class='hs-varid'>succ</span> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>EQ</span>
<a name="line-7"></a> <span class='hs-varid'>succ</span> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>GT</span>
<a name="line-8"></a> <span class='hs-varid'>succ</span> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.Ordering.succ: bad argument"</span>
<a name="line-9"></a>
<a name="line-10"></a> <span class='hs-varid'>pred</span> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>EQ</span>
<a name="line-11"></a> <span class='hs-varid'>pred</span> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LT</span>
<a name="line-12"></a> <span class='hs-varid'>pred</span> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.Ordering.pred: bad argument"</span>
<a name="line-13"></a>
<a name="line-14"></a> <span class='hs-varid'>toEnum</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-varop'>==</span> <span class='hs-varid'>zeroInt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LT</span>
<a name="line-15"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-varop'>==</span> <span class='hs-varid'>oneInt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>EQ</span>
<a name="line-16"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>n</span> <span class='hs-varop'>==</span> <span class='hs-varid'>twoInt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>GT</span>
<a name="line-17"></a> <span class='hs-varid'>toEnum</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.Ordering.toEnum: bad argument"</span>
<a name="line-18"></a>
<a name="line-19"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zeroInt</span>
<a name="line-20"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>oneInt</span>
<a name="line-21"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>twoInt</span>
<a name="line-22"></a>
<a name="line-23"></a> <span class='hs-comment'>-- Use defaults for the rest</span>
<a name="line-24"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>boundedEnumFrom</span>
<a name="line-25"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>boundedEnumFromThen</span>
</pre>\end{code}
%*********************************************************
%* *
\subsection{Type @Char@}
%* *
%*********************************************************
\begin{code}
<pre><a name="line-1"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Bounded</span> <span class='hs-conid'>Char</span> <span class='hs-keyword'>where</span>
<a name="line-2"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-chr'>'\0'</span>
<a name="line-3"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-chr'>'\x10FFFF'</span>
<a name="line-4"></a>
<a name="line-5"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Enum</span> <span class='hs-conid'>Char</span> <span class='hs-keyword'>where</span>
<a name="line-6"></a> <span class='hs-varid'>succ</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>c</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span>
<a name="line-7"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>c</span><span class='hs-cpp'>#</span> <span class='hs-varop'>==#</span> <span class='hs-num'>0x10FFFF</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>c</span><span class='hs-cpp'>#</span> <span class='hs-varop'>+#</span> <span class='hs-num'>1</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-8"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-layout'>(</span><span class='hs-str'>"Prelude.Enum.Char.succ: bad argument"</span><span class='hs-layout'>)</span>
<a name="line-9"></a> <span class='hs-varid'>pred</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>c</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span>
<a name="line-10"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>c</span><span class='hs-cpp'>#</span> <span class='hs-varop'>==#</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>c</span><span class='hs-cpp'>#</span> <span class='hs-varop'>-#</span> <span class='hs-num'>1</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-11"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-layout'>(</span><span class='hs-str'>"Prelude.Enum.Char.pred: bad argument"</span><span class='hs-layout'>)</span>
<a name="line-12"></a>
<a name="line-13"></a> <span class='hs-varid'>toEnum</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chr</span>
<a name="line-14"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ord</span>
<a name="line-15"></a>
<a name="line-16"></a> <span class='hs-comment'>{-# INLINE enumFrom #-}</span>
<a name="line-17"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>eftChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-num'>0x10FFFF</span><span class='hs-cpp'>#</span>
<a name="line-18"></a> <span class='hs-comment'>-- Blarg: technically I guess enumFrom isn't strict!</span>
<a name="line-19"></a>
<a name="line-20"></a> <span class='hs-comment'>{-# INLINE enumFromTo #-}</span>
<a name="line-21"></a> <span class='hs-varid'>enumFromTo</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>eftChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-22"></a>
<a name="line-23"></a> <span class='hs-comment'>{-# INLINE enumFromThen #-}</span>
<a name="line-24"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span>
<a name="line-25"></a>
<a name="line-26"></a> <span class='hs-comment'>{-# INLINE enumFromThenTo #-}</span>
<a name="line-27"></a> <span class='hs-varid'>enumFromThenTo</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdtChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-28"></a>
<a name="line-29"></a><span class='hs-comment'>{-# RULES
<a name="line-30"></a>"eftChar" [~1] forall x y. eftChar x y = build (\c n -> eftCharFB c n x y)
<a name="line-31"></a>"efdChar" [~1] forall x1 x2. efdChar x1 x2 = build (\ c n -> efdCharFB c n x1 x2)
<a name="line-32"></a>"efdtChar" [~1] forall x1 x2 l. efdtChar x1 x2 l = build (\ c n -> efdtCharFB c n x1 x2 l)
<a name="line-33"></a>"eftCharList" [1] eftCharFB (:) [] = eftChar
<a name="line-34"></a>"efdCharList" [1] efdCharFB (:) [] = efdChar
<a name="line-35"></a>"efdtCharList" [1] efdtCharFB (:) [] = efdtChar
<a name="line-36"></a> #-}</span>
<a name="line-37"></a>
<a name="line-38"></a>
<a name="line-39"></a><a name="eftCharFB"></a><span class='hs-comment'>-- We can do better than for Ints because we don't</span>
<a name="line-40"></a><span class='hs-comment'>-- have hassles about arithmetic overflow at maxBound</span>
<a name="line-41"></a><span class='hs-comment'>{-# INLINE [0] eftCharFB #-}</span>
<a name="line-42"></a><span class='hs-definition'>eftCharFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-43"></a><span class='hs-definition'>eftCharFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <span class='hs-varid'>x0</span>
<a name="line-44"></a> <span class='hs-keyword'>where</span>
<a name="line-45"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-46"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-num'>1</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span>
<a name="line-47"></a>
<a name="line-48"></a><a name="eftChar"></a><span class='hs-definition'>eftChar</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-49"></a><span class='hs-definition'>eftChar</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-50"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>eftChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-num'>1</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span>
<a name="line-51"></a>
<a name="line-52"></a>
<a name="line-53"></a><a name="efdCharFB"></a><span class='hs-comment'>-- For enumFromThenTo we give up on inlining</span>
<a name="line-54"></a><span class='hs-comment'>{-# NOINLINE [0] efdCharFB #-}</span>
<a name="line-55"></a><span class='hs-definition'>efdCharFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-56"></a><span class='hs-definition'>efdCharFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span>
<a name="line-57"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>delta</span> <span class='hs-varop'>>=#</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_up_char_fb</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-num'>0x10FFFF</span><span class='hs-cpp'>#</span>
<a name="line-58"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_dn_char_fb</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span>
<a name="line-59"></a> <span class='hs-keyword'>where</span>
<a name="line-60"></a> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span>
<a name="line-61"></a>
<a name="line-62"></a><a name="efdChar"></a><span class='hs-definition'>efdChar</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-63"></a><span class='hs-definition'>efdChar</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span>
<a name="line-64"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>delta</span> <span class='hs-varop'>>=#</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_up_char_list</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-num'>0x10FFFF</span><span class='hs-cpp'>#</span>
<a name="line-65"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_dn_char_list</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span>
<a name="line-66"></a> <span class='hs-keyword'>where</span>
<a name="line-67"></a> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span>
<a name="line-68"></a>
<a name="line-69"></a><a name="efdtCharFB"></a><span class='hs-comment'>{-# NOINLINE [0] efdtCharFB #-}</span>
<a name="line-70"></a><span class='hs-definition'>efdtCharFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-71"></a><span class='hs-definition'>efdtCharFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>lim</span>
<a name="line-72"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>delta</span> <span class='hs-varop'>>=#</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_up_char_fb</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</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'>go_dn_char_fb</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-74"></a> <span class='hs-keyword'>where</span>
<a name="line-75"></a> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span>
<a name="line-76"></a>
<a name="line-77"></a><a name="efdtChar"></a><span class='hs-definition'>efdtChar</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-78"></a><span class='hs-definition'>efdtChar</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>lim</span>
<a name="line-79"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>delta</span> <span class='hs-varop'>>=#</span> <span class='hs-num'>0</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_up_char_list</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-80"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_dn_char_list</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-81"></a> <span class='hs-keyword'>where</span>
<a name="line-82"></a> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span>
<a name="line-83"></a>
<a name="line-84"></a><a name="go_up_char_fb"></a><span class='hs-definition'>go_up_char_fb</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-85"></a><span class='hs-definition'>go_up_char_fb</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-86"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x0</span>
<a name="line-87"></a> <span class='hs-keyword'>where</span>
<a name="line-88"></a> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>lim</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-89"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go_up</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-90"></a>
<a name="line-91"></a><a name="go_dn_char_fb"></a><span class='hs-definition'>go_dn_char_fb</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-92"></a><span class='hs-definition'>go_dn_char_fb</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-93"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x0</span>
<a name="line-94"></a> <span class='hs-keyword'>where</span>
<a name="line-95"></a> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'><#</span> <span class='hs-varid'>lim</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-96"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go_dn</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-97"></a>
<a name="line-98"></a><a name="go_up_char_list"></a><span class='hs-definition'>go_up_char_list</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-99"></a><span class='hs-definition'>go_up_char_list</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-100"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x0</span>
<a name="line-101"></a> <span class='hs-keyword'>where</span>
<a name="line-102"></a> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>lim</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-103"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go_up</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-104"></a>
<a name="line-105"></a><a name="go_dn_char_list"></a><span class='hs-definition'>go_dn_char_list</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-106"></a><span class='hs-definition'>go_dn_char_list</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>delta</span> <span class='hs-varid'>lim</span>
<a name="line-107"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x0</span>
<a name="line-108"></a> <span class='hs-keyword'>where</span>
<a name="line-109"></a> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'><#</span> <span class='hs-varid'>lim</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-110"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>chr</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go_dn</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
</pre>\end{code}
%*********************************************************
%* *
\subsection{Type @Int@}
%* *
%*********************************************************
Be careful about these instances.
(a) remember that you have to count down as well as up e.g. [13,12..0]
(b) be careful of Int overflow
(c) remember that Int is bounded, so [1..] terminates at maxInt
Also NB that the Num class isn't available in this module.
\begin{code}
<pre><a name="line-1"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Bounded</span> <span class='hs-conid'>Int</span> <span class='hs-keyword'>where</span>
<a name="line-2"></a> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>minInt</span>
<a name="line-3"></a> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maxInt</span>
<a name="line-4"></a>
<a name="line-5"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Enum</span> <span class='hs-conid'>Int</span> <span class='hs-keyword'>where</span>
<a name="line-6"></a> <span class='hs-varid'>succ</span> <span class='hs-varid'>x</span>
<a name="line-7"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>maxBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.succ{Int}: tried to take `succ' of maxBound"</span>
<a name="line-8"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`plusInt`</span> <span class='hs-varid'>oneInt</span>
<a name="line-9"></a> <span class='hs-varid'>pred</span> <span class='hs-varid'>x</span>
<a name="line-10"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>minBound</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-str'>"Prelude.Enum.pred{Int}: tried to take `pred' of minBound"</span>
<a name="line-11"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`minusInt`</span> <span class='hs-varid'>oneInt</span>
<a name="line-12"></a>
<a name="line-13"></a> <span class='hs-varid'>toEnum</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span>
<a name="line-14"></a> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span>
<a name="line-15"></a>
<a name="line-16"></a> <span class='hs-comment'>{-# INLINE enumFrom #-}</span>
<a name="line-17"></a> <span class='hs-varid'>enumFrom</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>eftInt</span> <span class='hs-varid'>x</span> <span class='hs-varid'>maxInt</span><span class='hs-cpp'>#</span>
<a name="line-18"></a> <span class='hs-keyword'>where</span> <span class='hs-varop'>!</span><span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>maxInt</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maxInt</span>
<a name="line-19"></a> <span class='hs-comment'>-- Blarg: technically I guess enumFrom isn't strict!</span>
<a name="line-20"></a>
<a name="line-21"></a> <span class='hs-comment'>{-# INLINE enumFromTo #-}</span>
<a name="line-22"></a> <span class='hs-varid'>enumFromTo</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>eftInt</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span>
<a name="line-23"></a>
<a name="line-24"></a> <span class='hs-comment'>{-# INLINE enumFromThen #-}</span>
<a name="line-25"></a> <span class='hs-varid'>enumFromThen</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdInt</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span>
<a name="line-26"></a>
<a name="line-27"></a> <span class='hs-comment'>{-# INLINE enumFromThenTo #-}</span>
<a name="line-28"></a> <span class='hs-varid'>enumFromThenTo</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdtInt</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-29"></a>
<a name="line-30"></a>
<a name="line-31"></a><span class='hs-comment'>-----------------------------------------------------</span>
<a name="line-32"></a><span class='hs-comment'>-- eftInt and eftIntFB deal with [a..b], which is the </span>
<a name="line-33"></a><span class='hs-comment'>-- most common form, so we take a lot of care</span>
<a name="line-34"></a><span class='hs-comment'>-- In particular, we have rules for deforestation</span>
<a name="line-35"></a>
<a name="line-36"></a><span class='hs-comment'>{-# RULES
<a name="line-37"></a>"eftInt" [~1] forall x y. eftInt x y = build (\ c n -> eftIntFB c n x y)
<a name="line-38"></a>"eftIntList" [1] eftIntFB (:) [] = eftInt
<a name="line-39"></a> #-}</span>
<a name="line-40"></a>
<a name="line-41"></a><a name="eftInt"></a><span class='hs-definition'>eftInt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Int</span><span class='hs-keyglyph'>]</span>
<a name="line-42"></a><span class='hs-comment'>-- [x1..x2]</span>
<a name="line-43"></a><span class='hs-definition'>eftInt</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x0</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-44"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <span class='hs-varid'>x0</span>
<a name="line-45"></a> <span class='hs-keyword'>where</span>
<a name="line-46"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==#</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-num'>1</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span>
<a name="line-47"></a>
<a name="line-48"></a><a name="eftIntFB"></a><span class='hs-comment'>{-# INLINE [0] eftIntFB #-}</span>
<a name="line-49"></a><span class='hs-definition'>eftIntFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span>
<a name="line-50"></a><span class='hs-definition'>eftIntFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x0</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span>
<a name="line-51"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>go</span> <span class='hs-varid'>x0</span>
<a name="line-52"></a> <span class='hs-keyword'>where</span>
<a name="line-53"></a> <span class='hs-varid'>go</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`c`</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==#</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>go</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-num'>1</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span>
<a name="line-54"></a> <span class='hs-comment'>-- Watch out for y=maxBound; hence ==, not ></span>
<a name="line-55"></a> <span class='hs-comment'>-- Be very careful not to have more than one "c"</span>
<a name="line-56"></a> <span class='hs-comment'>-- so that when eftInfFB is inlined we can inline</span>
<a name="line-57"></a> <span class='hs-comment'>-- whatever is bound to "c"</span>
<a name="line-58"></a>
<a name="line-59"></a>
<a name="line-60"></a><span class='hs-comment'>-----------------------------------------------------</span>
<a name="line-61"></a><span class='hs-comment'>-- efdInt and efdtInt deal with [a,b..] and [a,b..c].</span>
<a name="line-62"></a><span class='hs-comment'>-- The code is more complicated because of worries about Int overflow.</span>
<a name="line-63"></a>
<a name="line-64"></a><span class='hs-comment'>{-# RULES
<a name="line-65"></a>"efdtInt" [~1] forall x1 x2 y.
<a name="line-66"></a> efdtInt x1 x2 y = build (\ c n -> efdtIntFB c n x1 x2 y)
<a name="line-67"></a>"efdtIntUpList" [1] efdtIntFB (:) [] = efdtInt
<a name="line-68"></a> #-}</span>
<a name="line-69"></a>
<a name="line-70"></a><a name="efdInt"></a><span class='hs-definition'>efdInt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Int</span><span class='hs-keyglyph'>]</span>
<a name="line-71"></a><span class='hs-comment'>-- [x1,x2..maxInt]</span>
<a name="line-72"></a><span class='hs-definition'>efdInt</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span>
<a name="line-73"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>>=#</span> <span class='hs-varid'>x1</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>maxInt</span> <span class='hs-keyword'>of</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>efdtIntUp</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-74"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>minInt</span> <span class='hs-keyword'>of</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>efdtIntDn</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-75"></a>
<a name="line-76"></a><a name="efdtInt"></a><span class='hs-definition'>efdtInt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Int</span><span class='hs-keyglyph'>]</span>
<a name="line-77"></a><span class='hs-comment'>-- [x1,x2..y]</span>
<a name="line-78"></a><span class='hs-definition'>efdtInt</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-79"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>>=#</span> <span class='hs-varid'>x1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdtIntUp</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-80"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdtIntDn</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-81"></a>
<a name="line-82"></a><a name="efdtIntFB"></a><span class='hs-comment'>{-# INLINE [0] efdtIntFB #-}</span>
<a name="line-83"></a><span class='hs-definition'>efdtIntFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span>
<a name="line-84"></a><span class='hs-definition'>efdtIntFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-85"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>>=#</span> <span class='hs-varid'>x1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdtIntUpFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-86"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>efdtIntDnFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span>
<a name="line-87"></a>
<a name="line-88"></a><a name="efdtIntUp"></a><span class='hs-comment'>-- Requires x2 >= x1</span>
<a name="line-89"></a><span class='hs-definition'>efdtIntUp</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Int</span><span class='hs-keyglyph'>]</span>
<a name="line-90"></a><span class='hs-definition'>efdtIntUp</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span> <span class='hs-comment'>-- Be careful about overflow!</span>
<a name="line-91"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>y</span> <span class='hs-varop'><#</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>y</span> <span class='hs-varop'><#</span> <span class='hs-varid'>x1</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>else</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-keyglyph'>]</span>
<a name="line-92"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-- Common case: x1 <= x2 <= y</span>
<a name="line-93"></a> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span> <span class='hs-comment'>-- >= 0</span>
<a name="line-94"></a> <span class='hs-varop'>!</span><span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>y</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>delta</span> <span class='hs-comment'>-- x1 <= y' <= y; hence y' is representable</span>
<a name="line-95"></a>
<a name="line-96"></a> <span class='hs-comment'>-- Invariant: x <= y</span>
<a name="line-97"></a> <span class='hs-comment'>-- Note that: z <= y' => z + delta won't overflow</span>
<a name="line-98"></a> <span class='hs-comment'>-- so we are guaranteed not to overflow if/when we recurse</span>
<a name="line-99"></a> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-100"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go_up</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-101"></a> <span class='hs-keyword'>in</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x2</span>
<a name="line-102"></a>
<a name="line-103"></a><a name="efdtIntUpFB"></a><span class='hs-comment'>-- Requires x2 >= x1</span>
<a name="line-104"></a><span class='hs-definition'>efdtIntUpFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span>
<a name="line-105"></a><span class='hs-definition'>efdtIntUpFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span> <span class='hs-comment'>-- Be careful about overflow!</span>
<a name="line-106"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>y</span> <span class='hs-varop'><#</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>y</span> <span class='hs-varop'><#</span> <span class='hs-varid'>x1</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>n</span>
<a name="line-107"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-- Common case: x1 <= x2 <= y</span>
<a name="line-108"></a> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span> <span class='hs-comment'>-- >= 0</span>
<a name="line-109"></a> <span class='hs-varop'>!</span><span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>y</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>delta</span> <span class='hs-comment'>-- x1 <= y' <= y; hence y' is representable</span>
<a name="line-110"></a>
<a name="line-111"></a> <span class='hs-comment'>-- Invariant: x <= y</span>
<a name="line-112"></a> <span class='hs-comment'>-- Note that: z <= y' => z + delta won't overflow</span>
<a name="line-113"></a> <span class='hs-comment'>-- so we are guaranteed not to overflow if/when we recurse</span>
<a name="line-114"></a> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>n</span>
<a name="line-115"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go_up</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-116"></a> <span class='hs-keyword'>in</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go_up</span> <span class='hs-varid'>x2</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="efdtIntDn"></a><span class='hs-comment'>-- Requires x2 <= x1</span>
<a name="line-119"></a><span class='hs-definition'>efdtIntDn</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Int</span><span class='hs-keyglyph'>]</span>
<a name="line-120"></a><span class='hs-definition'>efdtIntDn</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span> <span class='hs-comment'>-- Be careful about underflow!</span>
<a name="line-121"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>y</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>y</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>x1</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>else</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span><span class='hs-keyglyph'>]</span>
<a name="line-122"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-- Common case: x1 >= x2 >= y</span>
<a name="line-123"></a> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span> <span class='hs-comment'>-- <= 0</span>
<a name="line-124"></a> <span class='hs-varop'>!</span><span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>y</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>delta</span> <span class='hs-comment'>-- y <= y' <= x1; hence y' is representable</span>
<a name="line-125"></a>
<a name="line-126"></a> <span class='hs-comment'>-- Invariant: x >= y</span>
<a name="line-127"></a> <span class='hs-comment'>-- Note that: z >= y' => z + delta won't underflow</span>
<a name="line-128"></a> <span class='hs-comment'>-- so we are guaranteed not to underflow if/when we recurse</span>
<a name="line-129"></a> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'><#</span> <span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-130"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go_dn</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-131"></a> <span class='hs-keyword'>in</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span> <span class='hs-conop'>:</span> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x2</span>
<a name="line-132"></a>
<a name="line-133"></a><a name="efdtIntDnFB"></a><span class='hs-comment'>-- Requires x2 <= x1</span>
<a name="line-134"></a><span class='hs-definition'>efdtIntDnFB</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span>
<a name="line-135"></a><span class='hs-definition'>efdtIntDnFB</span> <span class='hs-varid'>c</span> <span class='hs-varid'>n</span> <span class='hs-varid'>x1</span> <span class='hs-varid'>x2</span> <span class='hs-varid'>y</span> <span class='hs-comment'>-- Be careful about underflow!</span>
<a name="line-136"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>y</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>x2</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>y</span> <span class='hs-varop'>>#</span> <span class='hs-varid'>x1</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>n</span>
<a name="line-137"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-- Common case: x1 >= x2 >= y</span>
<a name="line-138"></a> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>delta</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x2</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>x1</span> <span class='hs-comment'>-- <= 0</span>
<a name="line-139"></a> <span class='hs-varop'>!</span><span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>y</span> <span class='hs-varop'>-#</span> <span class='hs-varid'>delta</span> <span class='hs-comment'>-- y <= y' <= x1; hence y' is representable</span>
<a name="line-140"></a>
<a name="line-141"></a> <span class='hs-comment'>-- Invariant: x >= y</span>
<a name="line-142"></a> <span class='hs-comment'>-- Note that: z >= y' => z + delta won't underflow</span>
<a name="line-143"></a> <span class='hs-comment'>-- so we are guaranteed not to underflow if/when we recurse</span>
<a name="line-144"></a> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-varop'><#</span> <span class='hs-varid'>y'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>n</span>
<a name="line-145"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go_dn</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+#</span> <span class='hs-varid'>delta</span><span class='hs-layout'>)</span>
<a name="line-146"></a> <span class='hs-keyword'>in</span> <span class='hs-conid'>I</span><span class='hs-cpp'>#</span> <span class='hs-varid'>x1</span> <span class='hs-varop'>`c`</span> <span class='hs-varid'>go_dn</span> <span class='hs-varid'>x2</span>
</pre>\end{code}
</body>
</html>
