<?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>Text/Printf.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-2"></a><span class='hs-comment'>-- |</span> <a name="line-3"></a><span class='hs-comment'>-- Module : Text.Printf</span> <a name="line-4"></a><span class='hs-comment'>-- Copyright : (c) Lennart Augustsson, 2004-2008</span> <a name="line-5"></a><span class='hs-comment'>-- License : BSD-style (see the file libraries/base/LICENSE)</span> <a name="line-6"></a><span class='hs-comment'>-- </span> <a name="line-7"></a><span class='hs-comment'>-- Maintainer : lennart@augustsson.net</span> <a name="line-8"></a><span class='hs-comment'>-- Stability : provisional</span> <a name="line-9"></a><span class='hs-comment'>-- Portability : portable</span> <a name="line-10"></a><span class='hs-comment'>--</span> <a name="line-11"></a><span class='hs-comment'>-- A C printf like formatter.</span> <a name="line-12"></a><span class='hs-comment'>--</span> <a name="line-13"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-14"></a> <a name="line-15"></a><span class='hs-comment'>{-# Language CPP #-}</span> <a name="line-16"></a> <a name="line-17"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Printf</span><span class='hs-layout'>(</span> <a name="line-18"></a> <span class='hs-varid'>printf</span><span class='hs-layout'>,</span> <span class='hs-varid'>hPrintf</span><span class='hs-layout'>,</span> <a name="line-19"></a> <span class='hs-conid'>PrintfType</span><span class='hs-layout'>,</span> <span class='hs-conid'>HPrintfType</span><span class='hs-layout'>,</span> <span class='hs-conid'>PrintfArg</span><span class='hs-layout'>,</span> <span class='hs-conid'>IsChar</span> <a name="line-20"></a><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-21"></a> <a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Prelude</span> <a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Int</span> <a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Word</span> <a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Numeric</span><span class='hs-layout'>(</span><span class='hs-varid'>showEFloat</span><span class='hs-layout'>,</span> <span class='hs-varid'>showFFloat</span><span class='hs-layout'>,</span> <span class='hs-varid'>showGFloat</span><span class='hs-layout'>)</span> <a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span> <a name="line-28"></a> <a name="line-29"></a><span class='hs-comment'>-------------------</span> <a name="line-30"></a> <a name="line-31"></a><a name="printf"></a><span class='hs-comment'>-- | Format a variable number of arguments with the C-style formatting string.</span> <a name="line-32"></a><span class='hs-comment'>-- The return value is either 'String' or @('IO' a)@.</span> <a name="line-33"></a><span class='hs-comment'>--</span> <a name="line-34"></a><span class='hs-comment'>-- The format string consists of ordinary characters and /conversion</span> <a name="line-35"></a><span class='hs-comment'>-- specifications/, which specify how to format one of the arguments</span> <a name="line-36"></a><span class='hs-comment'>-- to printf in the output string. A conversion specification begins with the</span> <a name="line-37"></a><span class='hs-comment'>-- character @%@, followed by one or more of the following flags:</span> <a name="line-38"></a><span class='hs-comment'>--</span> <a name="line-39"></a><span class='hs-comment'>-- > - left adjust (default is right adjust)</span> <a name="line-40"></a><span class='hs-comment'>-- > + always use a sign (+ or -) for signed conversions</span> <a name="line-41"></a><span class='hs-comment'>-- > 0 pad with zeroes rather than spaces</span> <a name="line-42"></a><span class='hs-comment'>--</span> <a name="line-43"></a><span class='hs-comment'>-- followed optionally by a field width:</span> <a name="line-44"></a><span class='hs-comment'>-- </span> <a name="line-45"></a><span class='hs-comment'>-- > num field width</span> <a name="line-46"></a><span class='hs-comment'>-- > * as num, but taken from argument list</span> <a name="line-47"></a><span class='hs-comment'>--</span> <a name="line-48"></a><span class='hs-comment'>-- followed optionally by a precision:</span> <a name="line-49"></a><span class='hs-comment'>--</span> <a name="line-50"></a><span class='hs-comment'>-- > .num precision (number of decimal places)</span> <a name="line-51"></a><span class='hs-comment'>--</span> <a name="line-52"></a><span class='hs-comment'>-- and finally, a format character:</span> <a name="line-53"></a><span class='hs-comment'>--</span> <a name="line-54"></a><span class='hs-comment'>-- > c character Char, Int, Integer, ...</span> <a name="line-55"></a><span class='hs-comment'>-- > d decimal Char, Int, Integer, ...</span> <a name="line-56"></a><span class='hs-comment'>-- > o octal Char, Int, Integer, ...</span> <a name="line-57"></a><span class='hs-comment'>-- > x hexadecimal Char, Int, Integer, ...</span> <a name="line-58"></a><span class='hs-comment'>-- > X hexadecimal Char, Int, Integer, ...</span> <a name="line-59"></a><span class='hs-comment'>-- > u unsigned decimal Char, Int, Integer, ...</span> <a name="line-60"></a><span class='hs-comment'>-- > f floating point Float, Double</span> <a name="line-61"></a><span class='hs-comment'>-- > g general format float Float, Double</span> <a name="line-62"></a><span class='hs-comment'>-- > G general format float Float, Double</span> <a name="line-63"></a><span class='hs-comment'>-- > e exponent format float Float, Double</span> <a name="line-64"></a><span class='hs-comment'>-- > E exponent format float Float, Double</span> <a name="line-65"></a><span class='hs-comment'>-- > s string String</span> <a name="line-66"></a><span class='hs-comment'>--</span> <a name="line-67"></a><span class='hs-comment'>-- Mismatch between the argument types and the format string will cause</span> <a name="line-68"></a><span class='hs-comment'>-- an exception to be thrown at runtime.</span> <a name="line-69"></a><span class='hs-comment'>--</span> <a name="line-70"></a><span class='hs-comment'>-- Examples:</span> <a name="line-71"></a><span class='hs-comment'>--</span> <a name="line-72"></a><span class='hs-comment'>-- > > printf "%d\n" (23::Int)</span> <a name="line-73"></a><span class='hs-comment'>-- > 23</span> <a name="line-74"></a><span class='hs-comment'>-- > > printf "%s %s\n" "Hello" "World"</span> <a name="line-75"></a><span class='hs-comment'>-- > Hello World</span> <a name="line-76"></a><span class='hs-comment'>-- > > printf "%.2f\n" pi</span> <a name="line-77"></a><span class='hs-comment'>-- > 3.14</span> <a name="line-78"></a><span class='hs-comment'>--</span> <a name="line-79"></a><span class='hs-definition'>printf</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrintfType</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <a name="line-80"></a><span class='hs-definition'>printf</span> <span class='hs-varid'>fmts</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>spr</span> <span class='hs-varid'>fmts</span> <span class='hs-conid'>[]</span> <a name="line-81"></a> <a name="line-82"></a><a name="hPrintf"></a><span class='hs-comment'>-- | Similar to 'printf', except that output is via the specified</span> <a name="line-83"></a><span class='hs-comment'>-- 'Handle'. The return type is restricted to @('IO' a)@.</span> <a name="line-84"></a><span class='hs-definition'>hPrintf</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>HPrintfType</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Handle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <a name="line-85"></a><span class='hs-definition'>hPrintf</span> <span class='hs-varid'>hdl</span> <span class='hs-varid'>fmts</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>hspr</span> <span class='hs-varid'>hdl</span> <span class='hs-varid'>fmts</span> <span class='hs-conid'>[]</span> <a name="line-86"></a> <a name="line-87"></a><a name="PrintfType"></a><span class='hs-comment'>-- |The 'PrintfType' class provides the variable argument magic for</span> <a name="line-88"></a><a name="PrintfType"></a><span class='hs-comment'>-- 'printf'. Its implementation is intentionally not visible from</span> <a name="line-89"></a><a name="PrintfType"></a><span class='hs-comment'>-- this module. If you attempt to pass an argument of a type which</span> <a name="line-90"></a><a name="PrintfType"></a><span class='hs-comment'>-- is not an instance of this class to 'printf' or 'hPrintf', then</span> <a name="line-91"></a><a name="PrintfType"></a><span class='hs-comment'>-- the compiler will report it as a missing instance of 'PrintfArg'.</span> <a name="line-92"></a><a name="PrintfType"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>PrintfType</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>where</span> <a name="line-93"></a> <span class='hs-varid'>spr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>t</span> <a name="line-94"></a> <a name="line-95"></a><a name="PrintfType"></a><span class='hs-comment'>-- | The 'HPrintfType' class provides the variable argument magic for</span> <a name="line-96"></a><a name="PrintfType"></a><span class='hs-comment'>-- 'hPrintf'. Its implementation is intentionally not visible from</span> <a name="line-97"></a><a name="PrintfType"></a><span class='hs-comment'>-- this module.</span> <a name="line-98"></a><a name="PrintfType"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>HPrintfType</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>where</span> <a name="line-99"></a> <span class='hs-varid'>hspr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Handle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>t</span> <a name="line-100"></a> <a name="line-101"></a><span class='hs-comment'>{- not allowed in Haskell 98 <a name="line-102"></a>instance PrintfType String where <a name="line-103"></a> spr fmt args = uprintf fmt (reverse args) <a name="line-104"></a>-}</span> <a name="line-105"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>IsChar</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>PrintfType</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-106"></a> <span class='hs-varid'>spr</span> <span class='hs-varid'>fmts</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>fromChar</span> <span class='hs-layout'>(</span><span class='hs-varid'>uprintf</span> <span class='hs-varid'>fmts</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>args</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-107"></a> <a name="line-108"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfType</span> <span class='hs-layout'>(</span><span class='hs-conid'>IO</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-109"></a> <span class='hs-varid'>spr</span> <span class='hs-varid'>fmts</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-110"></a> <span class='hs-varid'>putStr</span> <span class='hs-layout'>(</span><span class='hs-varid'>uprintf</span> <span class='hs-varid'>fmts</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>args</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-111"></a> <span class='hs-varid'>return</span> <span class='hs-varid'>undefined</span> <a name="line-112"></a> <a name="line-113"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>HPrintfType</span> <span class='hs-layout'>(</span><span class='hs-conid'>IO</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-114"></a> <span class='hs-varid'>hspr</span> <span class='hs-varid'>hdl</span> <span class='hs-varid'>fmts</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-115"></a> <span class='hs-varid'>hPutStr</span> <span class='hs-varid'>hdl</span> <span class='hs-layout'>(</span><span class='hs-varid'>uprintf</span> <span class='hs-varid'>fmts</span> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>args</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-116"></a> <span class='hs-varid'>return</span> <span class='hs-varid'>undefined</span> <a name="line-117"></a> <a name="line-118"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrintfArg</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>PrintfType</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>PrintfType</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-119"></a> <span class='hs-varid'>spr</span> <span class='hs-varid'>fmts</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>spr</span> <span class='hs-varid'>fmts</span> <span class='hs-layout'>(</span><span class='hs-varid'>toUPrintf</span> <span class='hs-varid'>a</span> <span class='hs-conop'>:</span> <span class='hs-varid'>args</span><span class='hs-layout'>)</span> <a name="line-120"></a> <a name="line-121"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>PrintfArg</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>HPrintfType</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>HPrintfType</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-122"></a> <span class='hs-varid'>hspr</span> <span class='hs-varid'>hdl</span> <span class='hs-varid'>fmts</span> <span class='hs-varid'>args</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>hspr</span> <span class='hs-varid'>hdl</span> <span class='hs-varid'>fmts</span> <span class='hs-layout'>(</span><span class='hs-varid'>toUPrintf</span> <span class='hs-varid'>a</span> <span class='hs-conop'>:</span> <span class='hs-varid'>args</span><span class='hs-layout'>)</span> <a name="line-123"></a> <a name="line-124"></a><a name="PrintfArg"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span> <a name="line-125"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UPrintf</span> <a name="line-126"></a> <a name="line-127"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Char</span> <span class='hs-keyword'>where</span> <a name="line-128"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UChar</span> <span class='hs-varid'>c</span> <a name="line-129"></a> <a name="line-130"></a><span class='hs-comment'>{- not allowed in Haskell 98 <a name="line-131"></a>instance PrintfArg String where <a name="line-132"></a> toUPrintf s = UString s <a name="line-133"></a>-}</span> <a name="line-134"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>IsChar</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>PrintfArg</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span> <span class='hs-keyword'>where</span> <a name="line-135"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UString</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toChar</span> <a name="line-136"></a> <a name="line-137"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Int</span> <span class='hs-keyword'>where</span> <a name="line-138"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-139"></a> <a name="line-140"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Int8</span> <span class='hs-keyword'>where</span> <a name="line-141"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-142"></a> <a name="line-143"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Int16</span> <span class='hs-keyword'>where</span> <a name="line-144"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-145"></a> <a name="line-146"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Int32</span> <span class='hs-keyword'>where</span> <a name="line-147"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-148"></a> <a name="line-149"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Int64</span> <span class='hs-keyword'>where</span> <a name="line-150"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-151"></a> <a name="line-152"></a><span class='hs-cpp'>#ifndef __NHC__</span> <a name="line-153"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Word</span> <span class='hs-keyword'>where</span> <a name="line-154"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-155"></a><span class='hs-cpp'>#endif</span> <a name="line-156"></a> <a name="line-157"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Word8</span> <span class='hs-keyword'>where</span> <a name="line-158"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-159"></a> <a name="line-160"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Word16</span> <span class='hs-keyword'>where</span> <a name="line-161"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-162"></a> <a name="line-163"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Word32</span> <span class='hs-keyword'>where</span> <a name="line-164"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-165"></a> <a name="line-166"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Word64</span> <span class='hs-keyword'>where</span> <a name="line-167"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uInteger</span> <a name="line-168"></a> <a name="line-169"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Integer</span> <span class='hs-keyword'>where</span> <a name="line-170"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UInteger</span> <span class='hs-num'>0</span> <a name="line-171"></a> <a name="line-172"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Float</span> <span class='hs-keyword'>where</span> <a name="line-173"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UFloat</span> <a name="line-174"></a> <a name="line-175"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PrintfArg</span> <span class='hs-conid'>Double</span> <span class='hs-keyword'>where</span> <a name="line-176"></a> <span class='hs-varid'>toUPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UDouble</span> <a name="line-177"></a> <a name="line-178"></a><a name="uInteger"></a><span class='hs-definition'>uInteger</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Integral</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-conid'>UPrintf</span> <a name="line-179"></a><span class='hs-definition'>uInteger</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UInteger</span> <span class='hs-layout'>(</span><span class='hs-varid'>toInteger</span> <span class='hs-varop'>$</span> <span class='hs-varid'>minBound</span> <span class='hs-varop'>`asTypeOf`</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>toInteger</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-180"></a> <a name="line-181"></a><a name="IsChar"></a><span class='hs-keyword'>class</span> <span class='hs-conid'>IsChar</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>where</span> <a name="line-182"></a> <span class='hs-varid'>toChar</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Char</span> <a name="line-183"></a> <span class='hs-varid'>fromChar</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>c</span> <a name="line-184"></a> <a name="line-185"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>IsChar</span> <span class='hs-conid'>Char</span> <span class='hs-keyword'>where</span> <a name="line-186"></a> <span class='hs-varid'>toChar</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>c</span> <a name="line-187"></a> <span class='hs-varid'>fromChar</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>c</span> <a name="line-188"></a> <a name="line-189"></a><span class='hs-comment'>-------------------</span> <a name="line-190"></a> <a name="line-191"></a><a name="UPrintf"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>UPrintf</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>UChar</span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>UString</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>UInteger</span> <span class='hs-conid'>Integer</span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>UFloat</span> <span class='hs-conid'>Float</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>UDouble</span> <span class='hs-conid'>Double</span> <a name="line-192"></a> <a name="line-193"></a><a name="uprintf"></a><span class='hs-definition'>uprintf</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-194"></a><span class='hs-definition'>uprintf</span> <span class='hs-str'>""</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>""</span> <a name="line-195"></a><span class='hs-definition'>uprintf</span> <span class='hs-str'>""</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmterr</span> <a name="line-196"></a><span class='hs-definition'>uprintf</span> <span class='hs-layout'>(</span><span class='hs-chr'>'%'</span><span class='hs-conop'>:</span><span class='hs-chr'>'%'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <span class='hs-chr'>'%'</span><span class='hs-conop'>:</span><span class='hs-varid'>uprintf</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-197"></a><span class='hs-definition'>uprintf</span> <span class='hs-layout'>(</span><span class='hs-chr'>'%'</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>argerr</span> <a name="line-198"></a><span class='hs-definition'>uprintf</span> <span class='hs-layout'>(</span><span class='hs-chr'>'%'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmt</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-199"></a><span class='hs-definition'>uprintf</span> <span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>c</span><span class='hs-conop'>:</span><span class='hs-varid'>uprintf</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-200"></a> <a name="line-201"></a><a name="fmt"></a><span class='hs-definition'>fmt</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-202"></a><span class='hs-definition'>fmt</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <a name="line-203"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>width</span><span class='hs-layout'>,</span> <span class='hs-varid'>prec</span><span class='hs-layout'>,</span> <span class='hs-varid'>ladj</span><span class='hs-layout'>,</span> <span class='hs-varid'>zero</span><span class='hs-layout'>,</span> <span class='hs-varid'>plus</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs'</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getSpecs</span> <span class='hs-conid'>False</span> <span class='hs-conid'>False</span> <span class='hs-conid'>False</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-204"></a> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-varid'>pre</span><span class='hs-layout'>,</span> <span class='hs-varid'>str</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-205"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>lstr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>length</span> <span class='hs-varid'>str</span> <a name="line-206"></a> <span class='hs-varid'>lpre</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>length</span> <span class='hs-varid'>pre</span> <a name="line-207"></a> <span class='hs-varid'>fill</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>lstr</span><span class='hs-varop'>+</span><span class='hs-varid'>lpre</span> <span class='hs-varop'><</span> <span class='hs-varid'>width</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>take</span> <span class='hs-layout'>(</span><span class='hs-varid'>width</span><span class='hs-comment'>-</span><span class='hs-layout'>(</span><span class='hs-varid'>lstr</span><span class='hs-varop'>+</span><span class='hs-varid'>lpre</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>repeat</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>zero</span> <span class='hs-keyword'>then</span> <span class='hs-chr'>'0'</span> <span class='hs-keyword'>else</span> <span class='hs-chr'>' '</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-str'>""</span> <a name="line-208"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>ladj</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>pre</span> <span class='hs-varop'>++</span> <span class='hs-varid'>str</span> <span class='hs-varop'>++</span> <span class='hs-varid'>fill</span> <span class='hs-keyword'>else</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>zero</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>pre</span> <span class='hs-varop'>++</span> <span class='hs-varid'>fill</span> <span class='hs-varop'>++</span> <span class='hs-varid'>str</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>fill</span> <span class='hs-varop'>++</span> <span class='hs-varid'>pre</span> <span class='hs-varop'>++</span> <span class='hs-varid'>str</span> <a name="line-209"></a> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>str</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>plus</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>"+"</span><span class='hs-layout'>,</span> <span class='hs-varid'>str</span><span class='hs-layout'>)</span> <a name="line-210"></a> <span class='hs-varid'>adjust'</span> <span class='hs-varid'>ps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>adjust</span> <span class='hs-varid'>ps</span> <a name="line-211"></a> <span class='hs-keyword'>in</span> <a name="line-212"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>cs'</span> <span class='hs-keyword'>of</span> <a name="line-213"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fmterr</span> <a name="line-214"></a> <span class='hs-varid'>c</span><span class='hs-conop'>:</span><span class='hs-varid'>cs''</span> <span class='hs-keyglyph'>-></span> <a name="line-215"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>us'</span> <span class='hs-keyword'>of</span> <a name="line-216"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>argerr</span> <a name="line-217"></a> <span class='hs-varid'>u</span><span class='hs-conop'>:</span><span class='hs-varid'>us''</span> <span class='hs-keyglyph'>-></span> <a name="line-218"></a> <span class='hs-layout'>(</span><span class='hs-keyword'>case</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span> <a name="line-219"></a> <span class='hs-chr'>'c'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>toEnum</span> <span class='hs-layout'>(</span><span class='hs-varid'>toint</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-220"></a> <span class='hs-chr'>'d'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmti</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-221"></a> <span class='hs-chr'>'i'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmti</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-222"></a> <span class='hs-chr'>'x'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>fmtu</span> <span class='hs-num'>16</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-223"></a> <span class='hs-chr'>'X'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toUpper</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fmtu</span> <span class='hs-num'>16</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-224"></a> <span class='hs-chr'>'o'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>fmtu</span> <span class='hs-num'>8</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-225"></a> <span class='hs-chr'>'u'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>fmtu</span> <span class='hs-num'>10</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-226"></a> <span class='hs-chr'>'e'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-227"></a> <span class='hs-chr'>'E'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-228"></a> <span class='hs-chr'>'f'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-229"></a> <span class='hs-chr'>'g'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-230"></a> <span class='hs-chr'>'G'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust'</span> <span class='hs-layout'>(</span><span class='hs-varid'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-231"></a> <span class='hs-chr'>'s'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>adjust</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>tostr</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>u</span><span class='hs-layout'>)</span> <a name="line-232"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>perror</span> <span class='hs-layout'>(</span><span class='hs-str'>"bad formatting char "</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-233"></a> <span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-varid'>uprintf</span> <span class='hs-varid'>cs''</span> <span class='hs-varid'>us''</span> <a name="line-234"></a> <a name="line-235"></a><a name="fmti"></a><span class='hs-definition'>fmti</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UPrintf</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-236"></a><span class='hs-definition'>fmti</span> <span class='hs-varid'>prec</span> <span class='hs-layout'>(</span><span class='hs-conid'>UInteger</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>i</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-str'>"-"</span><span class='hs-layout'>,</span> <span class='hs-varid'>integral_prec</span> <span class='hs-varid'>prec</span> <span class='hs-layout'>(</span><span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-varid'>i</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-str'>""</span><span class='hs-layout'>,</span> <span class='hs-varid'>integral_prec</span> <span class='hs-varid'>prec</span> <span class='hs-layout'>(</span><span class='hs-varid'>show</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-237"></a><span class='hs-definition'>fmti</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>UChar</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmti</span> <span class='hs-num'>0</span> <span class='hs-layout'>(</span><span class='hs-varid'>uInteger</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-238"></a><span class='hs-definition'>fmti</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>baderr</span> <a name="line-239"></a> <a name="line-240"></a><a name="fmtu"></a><span class='hs-definition'>fmtu</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UPrintf</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-241"></a><span class='hs-definition'>fmtu</span> <span class='hs-varid'>b</span> <span class='hs-varid'>prec</span> <span class='hs-layout'>(</span><span class='hs-conid'>UInteger</span> <span class='hs-varid'>l</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>integral_prec</span> <span class='hs-varid'>prec</span> <span class='hs-layout'>(</span><span class='hs-varid'>itosb</span> <span class='hs-varid'>b</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>i</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <span class='hs-comment'>-</span><span class='hs-num'>2</span><span class='hs-varop'>*</span><span class='hs-varid'>l</span> <span class='hs-varop'>+</span> <span class='hs-varid'>i</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-242"></a><span class='hs-definition'>fmtu</span> <span class='hs-varid'>b</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>UChar</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>itosb</span> <span class='hs-varid'>b</span> <span class='hs-layout'>(</span><span class='hs-varid'>toInteger</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromEnum</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-243"></a><span class='hs-definition'>fmtu</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>baderr</span> <a name="line-244"></a> <a name="line-245"></a><a name="integral_prec"></a><span class='hs-definition'>integral_prec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-246"></a><span class='hs-definition'>integral_prec</span> <span class='hs-varid'>prec</span> <span class='hs-varid'>integral</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>replicate</span> <span class='hs-layout'>(</span><span class='hs-varid'>prec</span> <span class='hs-comment'>-</span> <span class='hs-layout'>(</span><span class='hs-varid'>length</span> <span class='hs-varid'>integral</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-chr'>'0'</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-varid'>integral</span> <a name="line-247"></a> <a name="line-248"></a><a name="toint"></a><span class='hs-definition'>toint</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>UPrintf</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <a name="line-249"></a><span class='hs-definition'>toint</span> <span class='hs-layout'>(</span><span class='hs-conid'>UInteger</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromInteger</span> <span class='hs-varid'>i</span> <a name="line-250"></a><span class='hs-definition'>toint</span> <span class='hs-layout'>(</span><span class='hs-conid'>UChar</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromEnum</span> <span class='hs-varid'>c</span> <a name="line-251"></a><span class='hs-definition'>toint</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>baderr</span> <a name="line-252"></a> <a name="line-253"></a><a name="tostr"></a><span class='hs-definition'>tostr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UPrintf</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-254"></a><span class='hs-definition'>tostr</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-conid'>UString</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>n</span> <span class='hs-varop'>>=</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>take</span> <span class='hs-varid'>n</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>s</span> <a name="line-255"></a><span class='hs-definition'>tostr</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>baderr</span> <a name="line-256"></a> <a name="line-257"></a><a name="itosb"></a><span class='hs-definition'>itosb</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-258"></a><span class='hs-definition'>itosb</span> <span class='hs-varid'>b</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <a name="line-259"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>n</span> <span class='hs-varop'><</span> <span class='hs-varid'>b</span> <span class='hs-keyword'>then</span> <a name="line-260"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>intToDigit</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromInteger</span> <span class='hs-varid'>n</span><span class='hs-keyglyph'>]</span> <a name="line-261"></a> <span class='hs-keyword'>else</span> <a name="line-262"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>q</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>quotRem</span> <span class='hs-varid'>n</span> <span class='hs-varid'>b</span> <span class='hs-keyword'>in</span> <a name="line-263"></a> <span class='hs-varid'>itosb</span> <span class='hs-varid'>b</span> <span class='hs-varid'>q</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>intToDigit</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromInteger</span> <span class='hs-varid'>r</span><span class='hs-keyglyph'>]</span> <a name="line-264"></a> <a name="line-265"></a><a name="stoi"></a><span class='hs-definition'>stoi</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-266"></a><span class='hs-definition'>stoi</span> <span class='hs-varid'>a</span> <span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isDigit</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>stoi</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-varop'>*</span><span class='hs-num'>10</span> <span class='hs-varop'>+</span> <span class='hs-varid'>digitToInt</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varid'>cs</span> <a name="line-267"></a><span class='hs-definition'>stoi</span> <span class='hs-varid'>a</span> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <a name="line-268"></a> <a name="line-269"></a><a name="getSpecs"></a><span class='hs-definition'>getSpecs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span><span class='hs-layout'>,</span> <span class='hs-conid'>Int</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>,</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-270"></a><span class='hs-definition'>getSpecs</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>z</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-chr'>'-'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getSpecs</span> <span class='hs-conid'>True</span> <span class='hs-varid'>z</span> <span class='hs-varid'>s</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-271"></a><span class='hs-definition'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-varid'>z</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-chr'>'+'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-varid'>z</span> <span class='hs-conid'>True</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-272"></a><span class='hs-definition'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-chr'>'0'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-conid'>True</span> <span class='hs-varid'>s</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <a name="line-273"></a><span class='hs-definition'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-varid'>z</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-chr'>'*'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <a name="line-274"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>us'</span><span class='hs-layout'>,</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getStar</span> <span class='hs-varid'>us</span> <a name="line-275"></a> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs''</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us''</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-276"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>cs</span> <span class='hs-keyword'>of</span> <a name="line-277"></a> <span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-chr'>'*'</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>us'''</span><span class='hs-layout'>,</span> <span class='hs-varid'>p'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getStar</span> <span class='hs-varid'>us'</span> <a name="line-278"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p'</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'''</span><span class='hs-layout'>)</span> <a name="line-279"></a> <span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>stoi</span> <span class='hs-num'>0</span> <span class='hs-varid'>r</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <a name="line-280"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <a name="line-281"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-layout'>,</span> <span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-varid'>z</span><span class='hs-layout'>,</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs''</span><span class='hs-layout'>,</span> <span class='hs-varid'>us''</span><span class='hs-layout'>)</span> <a name="line-282"></a><span class='hs-definition'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-varid'>z</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <a name="line-283"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs'</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-284"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>cs</span> <span class='hs-keyword'>of</span> <a name="line-285"></a> <span class='hs-chr'>'*'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs''</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>us''</span><span class='hs-layout'>,</span> <span class='hs-varid'>p'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getStar</span> <span class='hs-varid'>us</span> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p'</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs''</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us''</span><span class='hs-layout'>)</span> <a name="line-286"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>stoi</span> <span class='hs-num'>0</span> <span class='hs-varid'>cs</span><span class='hs-layout'>,</span> <span class='hs-varid'>us</span><span class='hs-layout'>)</span> <a name="line-287"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-num'>0</span><span class='hs-layout'>,</span> <span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-varid'>z</span><span class='hs-layout'>,</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs'</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <a name="line-288"></a><span class='hs-definition'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-varid'>z</span> <span class='hs-varid'>s</span> <span class='hs-varid'>cs</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-conop'>:</span><span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isDigit</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <a name="line-289"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>stoi</span> <span class='hs-num'>0</span> <span class='hs-varid'>cs</span> <a name="line-290"></a> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs''</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>cs'</span> <span class='hs-keyword'>of</span> <a name="line-291"></a> <span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-chr'>'*'</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>us''</span><span class='hs-layout'>,</span> <span class='hs-varid'>p'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getStar</span> <span class='hs-varid'>us</span> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>p'</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us''</span><span class='hs-layout'>)</span> <a name="line-292"></a> <span class='hs-chr'>'.'</span><span class='hs-conop'>:</span><span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>stoi</span> <span class='hs-num'>0</span> <span class='hs-varid'>r</span><span class='hs-layout'>,</span> <span class='hs-varid'>us</span><span class='hs-layout'>)</span> <a name="line-293"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs'</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>us</span><span class='hs-layout'>)</span> <a name="line-294"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-layout'>,</span> <span class='hs-varid'>p</span><span class='hs-layout'>,</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-varid'>z</span><span class='hs-layout'>,</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs''</span><span class='hs-layout'>,</span> <span class='hs-varid'>us'</span><span class='hs-layout'>)</span> <a name="line-295"></a><span class='hs-definition'>getSpecs</span> <span class='hs-varid'>l</span> <span class='hs-varid'>z</span> <span class='hs-varid'>s</span> <span class='hs-varid'>cs</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-num'>0</span><span class='hs-layout'>,</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>,</span> <span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-varid'>z</span><span class='hs-layout'>,</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs</span><span class='hs-layout'>,</span> <span class='hs-varid'>us</span><span class='hs-layout'>)</span> <a name="line-296"></a> <a name="line-297"></a><a name="getStar"></a><span class='hs-definition'>getStar</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>UPrintf</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-conid'>Int</span><span class='hs-layout'>)</span> <a name="line-298"></a><span class='hs-definition'>getStar</span> <span class='hs-varid'>us</span> <span class='hs-keyglyph'>=</span> <a name="line-299"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>us</span> <span class='hs-keyword'>of</span> <a name="line-300"></a> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>argerr</span> <a name="line-301"></a> <span class='hs-varid'>nu</span> <span class='hs-conop'>:</span> <span class='hs-varid'>us'</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>us'</span><span class='hs-layout'>,</span> <span class='hs-varid'>toint</span> <span class='hs-varid'>nu</span><span class='hs-layout'>)</span> <a name="line-302"></a> <a name="line-303"></a> <a name="line-304"></a><a name="dfmt'"></a><span class='hs-definition'>dfmt'</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>UPrintf</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-305"></a><span class='hs-definition'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-conid'>UDouble</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dfmt</span> <span class='hs-varid'>c</span> <span class='hs-varid'>p</span> <span class='hs-varid'>d</span> <a name="line-306"></a><span class='hs-definition'>dfmt'</span> <span class='hs-varid'>c</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-conid'>UFloat</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dfmt</span> <span class='hs-varid'>c</span> <span class='hs-varid'>p</span> <span class='hs-varid'>f</span> <a name="line-307"></a><span class='hs-definition'>dfmt'</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>baderr</span> <a name="line-308"></a> <a name="line-309"></a><a name="dfmt"></a><span class='hs-definition'>dfmt</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>RealFloat</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>String</span><span class='hs-layout'>)</span> <a name="line-310"></a><span class='hs-definition'>dfmt</span> <span class='hs-varid'>c</span> <span class='hs-varid'>p</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <a name="line-311"></a> <span class='hs-keyword'>case</span> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>isUpper</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>map</span> <span class='hs-varid'>toUpper</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-312"></a> <span class='hs-layout'>(</span><span class='hs-keyword'>case</span> <span class='hs-varid'>toLower</span> <span class='hs-varid'>c</span> <span class='hs-keyword'>of</span> <a name="line-313"></a> <span class='hs-chr'>'e'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>showEFloat</span> <a name="line-314"></a> <span class='hs-chr'>'f'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>showFFloat</span> <a name="line-315"></a> <span class='hs-chr'>'g'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>showGFloat</span> <a name="line-316"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>error</span> <span class='hs-str'>"Printf.dfmt: impossible"</span> <a name="line-317"></a> <span class='hs-layout'>)</span> <a name="line-318"></a> <span class='hs-layout'>(</span><span class='hs-keyword'>if</span> <span class='hs-varid'>p</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Nothing</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-varid'>d</span> <span class='hs-str'>""</span> <span class='hs-keyword'>of</span> <a name="line-319"></a> <span class='hs-chr'>'-'</span><span class='hs-conop'>:</span><span class='hs-varid'>cs</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>"-"</span><span class='hs-layout'>,</span> <span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <a name="line-320"></a> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-str'>""</span> <span class='hs-layout'>,</span> <span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <a name="line-321"></a> <a name="line-322"></a><a name="perror"></a><span class='hs-definition'>perror</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-323"></a><span class='hs-definition'>perror</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-layout'>(</span><span class='hs-str'>"Printf.printf: "</span><span class='hs-varop'>++</span><span class='hs-varid'>s</span><span class='hs-layout'>)</span> <a name="line-324"></a><a name="fmterr"></a><span class='hs-definition'>fmterr</span><span class='hs-layout'>,</span> <span class='hs-varid'>argerr</span><span class='hs-layout'>,</span> <span class='hs-varid'>baderr</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span> <a name="line-325"></a><span class='hs-definition'>fmterr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>perror</span> <span class='hs-str'>"formatting string ended prematurely"</span> <a name="line-326"></a><a name="argerr"></a><span class='hs-definition'>argerr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>perror</span> <span class='hs-str'>"argument list ended prematurely"</span> <a name="line-327"></a><a name="baderr"></a><span class='hs-definition'>baderr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>perror</span> <span class='hs-str'>"bad argument"</span> </pre></body> </html>