<?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>src/Data/Serialize/Builder.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE CPP #-}</span> <a name="line-2"></a><span class='hs-comment'>{-# LANGUAGE MagicHash #-}</span> <a name="line-3"></a><span class='hs-comment'>-- for unboxed shifts</span> <a name="line-4"></a> <a name="line-5"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-6"></a><span class='hs-comment'>-- |</span> <a name="line-7"></a><span class='hs-comment'>-- Module : Data.Serialize.Builder</span> <a name="line-8"></a><span class='hs-comment'>-- Copyright : Lennart Kolmodin, Ross Paterson, Galois Inc. 2009</span> <a name="line-9"></a><span class='hs-comment'>-- License : BSD3-style (see LICENSE)</span> <a name="line-10"></a><span class='hs-comment'>-- </span> <a name="line-11"></a><span class='hs-comment'>-- Maintainer : Trevor Elliott <trevor@galois.com></span> <a name="line-12"></a><span class='hs-comment'>-- Stability :</span> <a name="line-13"></a><span class='hs-comment'>-- Portability :</span> <a name="line-14"></a><span class='hs-comment'>--</span> <a name="line-15"></a><span class='hs-comment'>-- Efficient construction of lazy bytestrings.</span> <a name="line-16"></a><span class='hs-comment'>--</span> <a name="line-17"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-18"></a> <a name="line-19"></a><span class='hs-cpp'>#if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)</span> <a name="line-20"></a><span class='hs-cpp'>#include "MachDeps.h"</span> <a name="line-21"></a><span class='hs-cpp'>#endif</span> <a name="line-22"></a> <a name="line-23"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Serialize</span><span class='hs-varop'>.</span><span class='hs-conid'>Builder</span> <span class='hs-layout'>(</span> <a name="line-24"></a> <a name="line-25"></a> <span class='hs-comment'>-- * The Builder type</span> <a name="line-26"></a> <span class='hs-conid'>Builder</span> <a name="line-27"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>toByteString</span> <a name="line-28"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>toLazyByteString</span> <a name="line-29"></a> <a name="line-30"></a> <span class='hs-comment'>-- * Constructing Builders</span> <a name="line-31"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>empty</span> <a name="line-32"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>singleton</span> <a name="line-33"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>append</span> <a name="line-34"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>fromByteString</span> <span class='hs-comment'>-- :: S.ByteString -> Builder</span> <a name="line-35"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>fromLazyByteString</span> <span class='hs-comment'>-- :: L.ByteString -> Builder</span> <a name="line-36"></a> <a name="line-37"></a> <span class='hs-comment'>-- * Flushing the buffer state</span> <a name="line-38"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>flush</span> <a name="line-39"></a> <a name="line-40"></a> <span class='hs-comment'>-- * Derived Builders</span> <a name="line-41"></a> <span class='hs-comment'>-- ** Big-endian writes</span> <a name="line-42"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord16be</span> <span class='hs-comment'>-- :: Word16 -> Builder</span> <a name="line-43"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord32be</span> <span class='hs-comment'>-- :: Word32 -> Builder</span> <a name="line-44"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord64be</span> <span class='hs-comment'>-- :: Word64 -> Builder</span> <a name="line-45"></a> <a name="line-46"></a> <span class='hs-comment'>-- ** Little-endian writes</span> <a name="line-47"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord16le</span> <span class='hs-comment'>-- :: Word16 -> Builder</span> <a name="line-48"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord32le</span> <span class='hs-comment'>-- :: Word32 -> Builder</span> <a name="line-49"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord64le</span> <span class='hs-comment'>-- :: Word64 -> Builder</span> <a name="line-50"></a> <a name="line-51"></a> <span class='hs-comment'>-- ** Host-endian, unaligned writes</span> <a name="line-52"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWordhost</span> <span class='hs-comment'>-- :: Word -> Builder</span> <a name="line-53"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord16host</span> <span class='hs-comment'>-- :: Word16 -> Builder</span> <a name="line-54"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord32host</span> <span class='hs-comment'>-- :: Word32 -> Builder</span> <a name="line-55"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>putWord64host</span> <span class='hs-comment'>-- :: Word64 -> Builder</span> <a name="line-56"></a> <a name="line-57"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-58"></a> <a name="line-59"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Monoid</span> <a name="line-60"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Foreign</span> <a name="line-61"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>S</span> <a name="line-62"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Lazy</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>L</span> <a name="line-63"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Internal</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>S</span> <a name="line-64"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-varop'>.</span><span class='hs-conid'>Lazy</span><span class='hs-varop'>.</span><span class='hs-conid'>Internal</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>L</span> <a name="line-65"></a> <a name="line-66"></a><span class='hs-cpp'>#if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)</span> <a name="line-67"></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-68"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>GHC</span><span class='hs-varop'>.</span><span class='hs-conid'>Word</span> <span class='hs-layout'>(</span><span class='hs-conid'>Word32</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'>Word16</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'>Word64</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-69"></a> <a name="line-70"></a><span class='hs-cpp'>#if WORD_SIZE_IN_BITS < 64 && __GLASGOW_HASKELL__ >= 608</span> <a name="line-71"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>GHC</span><span class='hs-varop'>.</span><span class='hs-conid'>Word</span> <span class='hs-layout'>(</span><span class='hs-varid'>uncheckedShiftRL64</span><span class='hs-cpp'>#</span><span class='hs-layout'>)</span> <a name="line-72"></a><span class='hs-cpp'>#endif</span> <a name="line-73"></a><span class='hs-cpp'>#else</span> <a name="line-74"></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-75"></a><span class='hs-cpp'>#endif</span> <a name="line-76"></a> <a name="line-77"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-78"></a> <a name="line-79"></a><span class='hs-comment'>-- | A 'Builder' is an efficient way to build lazy 'L.ByteString's.</span> <a name="line-80"></a><span class='hs-comment'>-- There are several functions for constructing 'Builder's, but only one</span> <a name="line-81"></a><span class='hs-comment'>-- to inspect them: to extract any data, you have to turn them into lazy</span> <a name="line-82"></a><span class='hs-comment'>-- 'L.ByteString's using 'toLazyByteString'.</span> <a name="line-83"></a><span class='hs-comment'>--</span> <a name="line-84"></a><span class='hs-comment'>-- Internally, a 'Builder' constructs a lazy 'L.Bytestring' by filling byte</span> <a name="line-85"></a><span class='hs-comment'>-- arrays piece by piece. As each buffer is filled, it is \'popped\'</span> <a name="line-86"></a><span class='hs-comment'>-- off, to become a new chunk of the resulting lazy 'L.ByteString'.</span> <a name="line-87"></a><span class='hs-comment'>-- All this is hidden from the user of the 'Builder'.</span> <a name="line-88"></a> <a name="line-89"></a><a name="Builder"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Builder</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-layout'>{</span> <a name="line-90"></a> <span class='hs-comment'>-- Invariant (from Data.ByteString.Lazy):</span> <a name="line-91"></a> <span class='hs-comment'>-- The lists include no null ByteStrings.</span> <a name="line-92"></a> <span class='hs-varid'>runBuilder</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Buffer</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-keyglyph'>]</span> <a name="line-93"></a> <span class='hs-layout'>}</span> <a name="line-94"></a> <a name="line-95"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monoid</span> <span class='hs-conid'>Builder</span> <span class='hs-keyword'>where</span> <a name="line-96"></a> <span class='hs-varid'>mempty</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>empty</span> <a name="line-97"></a> <span class='hs-comment'>{-# INLINE mempty #-}</span> <a name="line-98"></a> <span class='hs-varid'>mappend</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>append</span> <a name="line-99"></a> <span class='hs-comment'>{-# INLINE mappend #-}</span> <a name="line-100"></a> <a name="line-101"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-102"></a> <a name="line-103"></a><a name="empty"></a><span class='hs-comment'>-- | /O(1)./ The empty Builder, satisfying</span> <a name="line-104"></a><span class='hs-comment'>--</span> <a name="line-105"></a><span class='hs-comment'>-- * @'toLazyByteString' 'empty' = 'L.empty'@</span> <a name="line-106"></a><span class='hs-comment'>--</span> <a name="line-107"></a><span class='hs-definition'>empty</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Builder</span> <a name="line-108"></a><span class='hs-definition'>empty</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-varid'>id</span> <a name="line-109"></a><span class='hs-comment'>{-# INLINE empty #-}</span> <a name="line-110"></a> <a name="line-111"></a><a name="singleton"></a><span class='hs-comment'>-- | /O(1)./ A Builder taking a single byte, satisfying</span> <a name="line-112"></a><span class='hs-comment'>--</span> <a name="line-113"></a><span class='hs-comment'>-- * @'toLazyByteString' ('singleton' b) = 'L.singleton' b@</span> <a name="line-114"></a><span class='hs-comment'>--</span> <a name="line-115"></a><span class='hs-definition'>singleton</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-116"></a><span class='hs-definition'>singleton</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>1</span> <span class='hs-varop'>.</span> <span class='hs-varid'>flip</span> <span class='hs-varid'>poke</span> <a name="line-117"></a><span class='hs-comment'>{-# INLINE singleton #-}</span> <a name="line-118"></a> <a name="line-119"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-120"></a> <a name="line-121"></a><a name="append"></a><span class='hs-comment'>-- | /O(1)./ The concatenation of two Builders, an associative operation</span> <a name="line-122"></a><span class='hs-comment'>-- with identity 'empty', satisfying</span> <a name="line-123"></a><span class='hs-comment'>--</span> <a name="line-124"></a><span class='hs-comment'>-- * @'toLazyByteString' ('append' x y) = 'L.append' ('toLazyByteString' x) ('toLazyByteString' y)@</span> <a name="line-125"></a><span class='hs-comment'>--</span> <a name="line-126"></a><span class='hs-definition'>append</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Builder</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-127"></a><span class='hs-definition'>append</span> <span class='hs-layout'>(</span><span class='hs-conid'>Builder</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Builder</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varop'>.</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <a name="line-128"></a><span class='hs-comment'>{-# INLINE append #-}</span> <a name="line-129"></a> <a name="line-130"></a><a name="fromByteString"></a><span class='hs-comment'>-- | /O(1)./ A Builder taking a 'S.ByteString', satisfying</span> <a name="line-131"></a><span class='hs-comment'>--</span> <a name="line-132"></a><span class='hs-comment'>-- * @'toLazyByteString' ('fromByteString' bs) = 'L.fromChunks' [bs]@</span> <a name="line-133"></a><span class='hs-comment'>--</span> <a name="line-134"></a><span class='hs-definition'>fromByteString</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-135"></a><span class='hs-definition'>fromByteString</span> <span class='hs-varid'>bs</span> <a name="line-136"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>bs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>empty</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-varid'>flush</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>mapBuilder</span> <span class='hs-layout'>(</span><span class='hs-varid'>bs</span> <span class='hs-conop'>:</span><span class='hs-layout'>)</span> <a name="line-138"></a><span class='hs-comment'>{-# INLINE fromByteString #-}</span> <a name="line-139"></a> <a name="line-140"></a><a name="fromLazyByteString"></a><span class='hs-comment'>-- | /O(1)./ A Builder taking a lazy 'L.ByteString', satisfying</span> <a name="line-141"></a><span class='hs-comment'>--</span> <a name="line-142"></a><span class='hs-comment'>-- * @'toLazyByteString' ('fromLazyByteString' bs) = bs@</span> <a name="line-143"></a><span class='hs-comment'>--</span> <a name="line-144"></a><span class='hs-definition'>fromLazyByteString</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>L</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-145"></a><span class='hs-definition'>fromLazyByteString</span> <span class='hs-varid'>bss</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>flush</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>mapBuilder</span> <span class='hs-layout'>(</span><span class='hs-conid'>L</span><span class='hs-varop'>.</span><span class='hs-varid'>toChunks</span> <span class='hs-varid'>bss</span> <span class='hs-varop'>++</span><span class='hs-layout'>)</span> <a name="line-146"></a><span class='hs-comment'>{-# INLINE fromLazyByteString #-}</span> <a name="line-147"></a> <a name="line-148"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-149"></a> <a name="line-150"></a><a name="Buffer"></a><span class='hs-comment'>-- Our internal buffer type</span> <a name="line-151"></a><a name="Buffer"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Buffer</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Buffer</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-layout'>(</span><span class='hs-conid'>ForeignPtr</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-152"></a> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-comment'>-- offset</span> <a name="line-153"></a> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-comment'>-- used bytes</span> <a name="line-154"></a> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-comment'>-- length left</span> <a name="line-155"></a> <a name="line-156"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-157"></a> <a name="line-158"></a><a name="toByteString"></a><span class='hs-definition'>toByteString</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Builder</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-159"></a><span class='hs-definition'>toByteString</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>unsafePerformIO</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-160"></a> <span class='hs-varid'>buf</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>newBuffer</span> <span class='hs-varid'>defaultSize</span> <a name="line-161"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>runBuilder</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>flush</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varid'>buf</span><span class='hs-layout'>)</span> <a name="line-162"></a> <a name="line-163"></a><a name="toLazyByteString"></a><span class='hs-comment'>-- | /O(n)./ Extract a lazy 'L.ByteString' from a 'Builder'.</span> <a name="line-164"></a><span class='hs-comment'>-- The construction work takes place if and when the relevant part of</span> <a name="line-165"></a><span class='hs-comment'>-- the lazy 'L.ByteString' is demanded.</span> <a name="line-166"></a><span class='hs-comment'>--</span> <a name="line-167"></a><span class='hs-definition'>toLazyByteString</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Builder</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>L</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span> <a name="line-168"></a><span class='hs-definition'>toLazyByteString</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>L</span><span class='hs-varop'>.</span><span class='hs-varid'>fromChunks</span> <span class='hs-varop'>$</span> <span class='hs-varid'>unsafePerformIO</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-169"></a> <span class='hs-varid'>buf</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>newBuffer</span> <span class='hs-varid'>defaultSize</span> <a name="line-170"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>runBuilder</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>flush</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-varid'>buf</span><span class='hs-layout'>)</span> <a name="line-171"></a> <a name="line-172"></a><a name="flush"></a><span class='hs-comment'>-- | /O(1)./ Pop the 'S.ByteString' we have constructed so far, if any,</span> <a name="line-173"></a><span class='hs-comment'>-- yielding a new chunk in the result lazy 'L.ByteString'.</span> <a name="line-174"></a><span class='hs-definition'>flush</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Builder</span> <a name="line-175"></a><span class='hs-definition'>flush</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>k</span> <span class='hs-varid'>buf</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-varid'>p</span> <span class='hs-varid'>o</span> <span class='hs-varid'>u</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-176"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>u</span> <span class='hs-varop'>==</span> <span class='hs-num'>0</span> <a name="line-177"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>k</span> <span class='hs-varid'>buf</span> <a name="line-178"></a> <span class='hs-keyword'>else</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>PS</span> <span class='hs-varid'>p</span> <span class='hs-varid'>o</span> <span class='hs-varid'>u</span> <span class='hs-conop'>:</span> <span class='hs-varid'>k</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>o</span><span class='hs-varop'>+</span><span class='hs-varid'>u</span><span class='hs-layout'>)</span> <span class='hs-num'>0</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <a name="line-179"></a> <a name="line-180"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-181"></a> <a name="line-182"></a><a name="defaultSize"></a><span class='hs-comment'>--</span> <a name="line-183"></a><span class='hs-comment'>-- copied from Data.ByteString.Lazy</span> <a name="line-184"></a><span class='hs-comment'>--</span> <a name="line-185"></a><span class='hs-definition'>defaultSize</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <a name="line-186"></a><span class='hs-definition'>defaultSize</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>32</span> <span class='hs-varop'>*</span> <span class='hs-varid'>k</span> <span class='hs-comment'>-</span> <span class='hs-varid'>overhead</span> <a name="line-187"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>k</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>1024</span> <a name="line-188"></a> <span class='hs-varid'>overhead</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>2</span> <span class='hs-varop'>*</span> <span class='hs-varid'>sizeOf</span> <span class='hs-layout'>(</span><span class='hs-varid'>undefined</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span><span class='hs-layout'>)</span> <a name="line-189"></a> <a name="line-190"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-191"></a> <a name="line-192"></a><a name="unsafeLiftIO"></a><span class='hs-comment'>-- | Sequence an IO operation on the buffer</span> <a name="line-193"></a><span class='hs-definition'>unsafeLiftIO</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Buffer</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-194"></a><span class='hs-definition'>unsafeLiftIO</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>k</span> <span class='hs-varid'>buf</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>inlinePerformIO</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span> <a name="line-195"></a> <span class='hs-varid'>buf'</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>f</span> <span class='hs-varid'>buf</span> <a name="line-196"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>k</span> <span class='hs-varid'>buf'</span><span class='hs-layout'>)</span> <a name="line-197"></a><span class='hs-comment'>{-# INLINE unsafeLiftIO #-}</span> <a name="line-198"></a> <a name="line-199"></a><a name="withSize"></a><span class='hs-comment'>-- | Get the size of the buffer</span> <a name="line-200"></a><span class='hs-definition'>withSize</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-conid'>Builder</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-201"></a><span class='hs-definition'>withSize</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>k</span> <span class='hs-varid'>buf</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-202"></a> <span class='hs-varid'>runBuilder</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-varid'>k</span> <span class='hs-varid'>buf</span> <a name="line-203"></a> <a name="line-204"></a><a name="mapBuilder"></a><span class='hs-comment'>-- | Map the resulting list of bytestrings.</span> <a name="line-205"></a><span class='hs-definition'>mapBuilder</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>ByteString</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-206"></a><span class='hs-definition'>mapBuilder</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Builder</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varop'>.</span><span class='hs-layout'>)</span> <a name="line-207"></a> <a name="line-208"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-209"></a> <a name="line-210"></a><a name="ensureFree"></a><span class='hs-comment'>-- | Ensure that there are at least @n@ many bytes available.</span> <a name="line-211"></a><span class='hs-definition'>ensureFree</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-212"></a><span class='hs-definition'>ensureFree</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>n</span> <span class='hs-varop'>`seq`</span> <span class='hs-varid'>withSize</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>-></span> <a name="line-213"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>n</span> <span class='hs-varop'><=</span> <span class='hs-varid'>l</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>empty</span> <span class='hs-keyword'>else</span> <a name="line-214"></a> <span class='hs-varid'>flush</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>unsafeLiftIO</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-layout'>(</span><span class='hs-varid'>newBuffer</span> <span class='hs-layout'>(</span><span class='hs-varid'>max</span> <span class='hs-varid'>n</span> <span class='hs-varid'>defaultSize</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-215"></a><span class='hs-comment'>{-# INLINE ensureFree #-}</span> <a name="line-216"></a> <a name="line-217"></a><a name="writeN"></a><span class='hs-comment'>-- | Ensure that @n@ many bytes are available, and then use @f@ to write some</span> <a name="line-218"></a><span class='hs-comment'>-- bytes into the memory.</span> <a name="line-219"></a><span class='hs-definition'>writeN</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Ptr</span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-220"></a><span class='hs-definition'>writeN</span> <span class='hs-varid'>n</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ensureFree</span> <span class='hs-varid'>n</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>unsafeLiftIO</span> <span class='hs-layout'>(</span><span class='hs-varid'>writeNBuffer</span> <span class='hs-varid'>n</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <a name="line-221"></a><span class='hs-comment'>{-# INLINE writeN #-}</span> <a name="line-222"></a> <a name="line-223"></a><a name="writeNBuffer"></a><span class='hs-definition'>writeNBuffer</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Ptr</span> <span class='hs-conid'>Word8</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Buffer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Buffer</span> <a name="line-224"></a><span class='hs-definition'>writeNBuffer</span> <span class='hs-varid'>n</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>o</span> <span class='hs-varid'>u</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-225"></a> <span class='hs-varid'>withForeignPtr</span> <span class='hs-varid'>fp</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-layout'>(</span><span class='hs-varid'>o</span><span class='hs-varop'>+</span><span class='hs-varid'>u</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-226"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>o</span> <span class='hs-layout'>(</span><span class='hs-varid'>u</span><span class='hs-varop'>+</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span><span class='hs-comment'>-</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-227"></a><span class='hs-comment'>{-# INLINE writeNBuffer #-}</span> <a name="line-228"></a> <a name="line-229"></a><a name="newBuffer"></a><span class='hs-definition'>newBuffer</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Buffer</span> <a name="line-230"></a><span class='hs-definition'>newBuffer</span> <span class='hs-varid'>size</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-231"></a> <span class='hs-varid'>fp</span> <span class='hs-keyglyph'><-</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>mallocByteString</span> <span class='hs-varid'>size</span> <a name="line-232"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$!</span> <span class='hs-conid'>Buffer</span> <span class='hs-varid'>fp</span> <span class='hs-num'>0</span> <span class='hs-num'>0</span> <span class='hs-varid'>size</span> <a name="line-233"></a><span class='hs-comment'>{-# INLINE newBuffer #-}</span> <a name="line-234"></a> <a name="line-235"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-236"></a><span class='hs-comment'>-- Aligned, host order writes of storable values</span> <a name="line-237"></a> <a name="line-238"></a><a name="writeNbytes"></a><span class='hs-comment'>-- | Ensure that @n@ many bytes are available, and then use @f@ to write some</span> <a name="line-239"></a><span class='hs-comment'>-- storable values into the memory.</span> <a name="line-240"></a><span class='hs-definition'>writeNbytes</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Storable</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Ptr</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-241"></a><span class='hs-definition'>writeNbytes</span> <span class='hs-varid'>n</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ensureFree</span> <span class='hs-varid'>n</span> <span class='hs-varop'>`append`</span> <span class='hs-varid'>unsafeLiftIO</span> <span class='hs-layout'>(</span><span class='hs-varid'>writeNBufferBytes</span> <span class='hs-varid'>n</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <a name="line-242"></a><span class='hs-comment'>{-# INLINE writeNbytes #-}</span> <a name="line-243"></a> <a name="line-244"></a><a name="writeNBufferBytes"></a><span class='hs-definition'>writeNBufferBytes</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Storable</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Ptr</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>()</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Buffer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IO</span> <span class='hs-conid'>Buffer</span> <a name="line-245"></a><span class='hs-definition'>writeNBufferBytes</span> <span class='hs-varid'>n</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>o</span> <span class='hs-varid'>u</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-246"></a> <span class='hs-varid'>withForeignPtr</span> <span class='hs-varid'>fp</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-layout'>(</span><span class='hs-varid'>o</span><span class='hs-varop'>+</span><span class='hs-varid'>u</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-247"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>Buffer</span> <span class='hs-varid'>fp</span> <span class='hs-varid'>o</span> <span class='hs-layout'>(</span><span class='hs-varid'>u</span><span class='hs-varop'>+</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span><span class='hs-comment'>-</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-248"></a><span class='hs-comment'>{-# INLINE writeNBufferBytes #-}</span> <a name="line-249"></a> <a name="line-250"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-251"></a> <a name="line-252"></a><span class='hs-comment'>--</span> <a name="line-253"></a><span class='hs-comment'>-- We rely on the fromIntegral to do the right masking for us.</span> <a name="line-254"></a><span class='hs-comment'>-- The inlining here is critical, and can be worth 4x performance</span> <a name="line-255"></a><span class='hs-comment'>--</span> <a name="line-256"></a> <a name="line-257"></a><a name="putWord16be"></a><span class='hs-comment'>-- | Write a Word16 in big endian format</span> <a name="line-258"></a><span class='hs-definition'>putWord16be</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word16</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-259"></a><span class='hs-definition'>putWord16be</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>2</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-260"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w16</span> <span class='hs-varid'>w</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-261"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-262"></a><span class='hs-comment'>{-# INLINE putWord16be #-}</span> <a name="line-263"></a> <a name="line-264"></a><a name="putWord16le"></a><span class='hs-comment'>-- | Write a Word16 in little endian format</span> <a name="line-265"></a><span class='hs-definition'>putWord16le</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word16</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-266"></a><span class='hs-definition'>putWord16le</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>2</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-267"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-268"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w16</span> <span class='hs-varid'>w</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-269"></a><span class='hs-comment'>{-# INLINE putWord16le #-}</span> <a name="line-270"></a> <a name="line-271"></a><span class='hs-comment'>-- putWord16le w16 = writeN 2 (\p -> poke (castPtr p) w16)</span> <a name="line-272"></a> <a name="line-273"></a><a name="putWord32be"></a><span class='hs-comment'>-- | Write a Word32 in big endian format</span> <a name="line-274"></a><span class='hs-definition'>putWord32be</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-275"></a><span class='hs-definition'>putWord32be</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>4</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-276"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>w</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-277"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>w</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-278"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>w</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-279"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-280"></a><span class='hs-comment'>{-# INLINE putWord32be #-}</span> <a name="line-281"></a> <a name="line-282"></a><span class='hs-comment'>--</span> <a name="line-283"></a><span class='hs-comment'>-- a data type to tag Put/Check. writes construct these which are then</span> <a name="line-284"></a><span class='hs-comment'>-- inlined and flattened. matching Checks will be more robust with rules.</span> <a name="line-285"></a><span class='hs-comment'>--</span> <a name="line-286"></a> <a name="line-287"></a><a name="putWord32le"></a><span class='hs-comment'>-- | Write a Word32 in little endian format</span> <a name="line-288"></a><span class='hs-definition'>putWord32le</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-289"></a><span class='hs-definition'>putWord32le</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>4</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-290"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-291"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>w</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-292"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>w</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-293"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>w</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-294"></a><span class='hs-comment'>{-# INLINE putWord32le #-}</span> <a name="line-295"></a> <a name="line-296"></a><span class='hs-comment'>-- on a little endian machine:</span> <a name="line-297"></a><span class='hs-comment'>-- putWord32le w32 = writeN 4 (\p -> poke (castPtr p) w32)</span> <a name="line-298"></a> <a name="line-299"></a><a name="putWord64be"></a><span class='hs-comment'>-- | Write a Word64 in big endian format</span> <a name="line-300"></a><span class='hs-definition'>putWord64be</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word64</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-301"></a><span class='hs-cpp'>#if WORD_SIZE_IN_BITS < 64</span> <a name="line-302"></a><span class='hs-comment'>--</span> <a name="line-303"></a><span class='hs-comment'>-- To avoid expensive 64 bit shifts on 32 bit machines, we cast to</span> <a name="line-304"></a><span class='hs-comment'>-- Word32, and write that</span> <a name="line-305"></a><span class='hs-comment'>--</span> <a name="line-306"></a><span class='hs-definition'>putWord64be</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <a name="line-307"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>32</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <a name="line-308"></a> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <a name="line-309"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>8</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-310"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>a</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-311"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>a</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-312"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>a</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-313"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-314"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>4</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>b</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-315"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>5</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>b</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-316"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>6</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>b</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-317"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>7</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-318"></a><span class='hs-cpp'>#else</span> <a name="line-319"></a><span class='hs-definition'>putWord64be</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>8</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-320"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>56</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-321"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>48</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-322"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>40</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-323"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>32</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-324"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>4</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-325"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>5</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-326"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>6</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-327"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>7</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-328"></a><span class='hs-cpp'>#endif</span> <a name="line-329"></a><span class='hs-comment'>{-# INLINE putWord64be #-}</span> <a name="line-330"></a> <a name="line-331"></a><a name="putWord64le"></a><span class='hs-comment'>-- | Write a Word64 in little endian format</span> <a name="line-332"></a><span class='hs-definition'>putWord64le</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word64</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-333"></a> <a name="line-334"></a><span class='hs-cpp'>#if WORD_SIZE_IN_BITS < 64</span> <a name="line-335"></a><span class='hs-definition'>putWord64le</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <a name="line-336"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>32</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <a name="line-337"></a> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <a name="line-338"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>8</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-339"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-340"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>a</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-341"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>a</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-342"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>a</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-343"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>4</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-344"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>5</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>b</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-345"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>6</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>b</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-346"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>7</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w32</span> <span class='hs-varid'>b</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-347"></a><span class='hs-cpp'>#else</span> <a name="line-348"></a><span class='hs-definition'>putWord64le</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeN</span> <span class='hs-num'>8</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span> <a name="line-349"></a> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-350"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-351"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>16</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-352"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>3</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>24</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-353"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>4</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>32</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-354"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>5</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>40</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-355"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>6</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>48</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-356"></a> <span class='hs-varid'>poke</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'>`plusPtr`</span> <span class='hs-num'>7</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>shiftr_w64</span> <span class='hs-varid'>w</span> <span class='hs-num'>56</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word8</span><span class='hs-layout'>)</span> <a name="line-357"></a><span class='hs-cpp'>#endif</span> <a name="line-358"></a><span class='hs-comment'>{-# INLINE putWord64le #-}</span> <a name="line-359"></a> <a name="line-360"></a><span class='hs-comment'>-- on a little endian machine:</span> <a name="line-361"></a><span class='hs-comment'>-- putWord64le w64 = writeN 8 (\p -> poke (castPtr p) w64)</span> <a name="line-362"></a> <a name="line-363"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-364"></a><span class='hs-comment'>-- Unaligned, word size ops</span> <a name="line-365"></a> <a name="line-366"></a><a name="putWordhost"></a><span class='hs-comment'>-- | /O(1)./ A Builder taking a single native machine word. The word is</span> <a name="line-367"></a><span class='hs-comment'>-- written in host order, host endian form, for the machine you're on.</span> <a name="line-368"></a><span class='hs-comment'>-- On a 64 bit machine the Word is an 8 byte value, on a 32 bit machine,</span> <a name="line-369"></a><span class='hs-comment'>-- 4 bytes. Values written this way are not portable to</span> <a name="line-370"></a><span class='hs-comment'>-- different endian or word sized machines, without conversion.</span> <a name="line-371"></a><span class='hs-comment'>--</span> <a name="line-372"></a><span class='hs-definition'>putWordhost</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-373"></a><span class='hs-definition'>putWordhost</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeNbytes</span> <span class='hs-layout'>(</span><span class='hs-varid'>sizeOf</span> <span class='hs-layout'>(</span><span class='hs-varid'>undefined</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span> <a name="line-374"></a><span class='hs-comment'>{-# INLINE putWordhost #-}</span> <a name="line-375"></a> <a name="line-376"></a><a name="putWord16host"></a><span class='hs-comment'>-- | Write a Word16 in native host order and host endianness.</span> <a name="line-377"></a><span class='hs-comment'>-- 2 bytes will be written, unaligned.</span> <a name="line-378"></a><span class='hs-definition'>putWord16host</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word16</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-379"></a><span class='hs-definition'>putWord16host</span> <span class='hs-varid'>w16</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeNbytes</span> <span class='hs-layout'>(</span><span class='hs-varid'>sizeOf</span> <span class='hs-layout'>(</span><span class='hs-varid'>undefined</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word16</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-varid'>w16</span><span class='hs-layout'>)</span> <a name="line-380"></a><span class='hs-comment'>{-# INLINE putWord16host #-}</span> <a name="line-381"></a> <a name="line-382"></a><a name="putWord32host"></a><span class='hs-comment'>-- | Write a Word32 in native host order and host endianness.</span> <a name="line-383"></a><span class='hs-comment'>-- 4 bytes will be written, unaligned.</span> <a name="line-384"></a><span class='hs-definition'>putWord32host</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-385"></a><span class='hs-definition'>putWord32host</span> <span class='hs-varid'>w32</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeNbytes</span> <span class='hs-layout'>(</span><span class='hs-varid'>sizeOf</span> <span class='hs-layout'>(</span><span class='hs-varid'>undefined</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-varid'>w32</span><span class='hs-layout'>)</span> <a name="line-386"></a><span class='hs-comment'>{-# INLINE putWord32host #-}</span> <a name="line-387"></a> <a name="line-388"></a><a name="putWord64host"></a><span class='hs-comment'>-- | Write a Word64 in native host order.</span> <a name="line-389"></a><span class='hs-comment'>-- On a 32 bit machine we write two host order Word32s, in big endian form.</span> <a name="line-390"></a><span class='hs-comment'>-- 8 bytes will be written, unaligned.</span> <a name="line-391"></a><span class='hs-definition'>putWord64host</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word64</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Builder</span> <a name="line-392"></a><span class='hs-definition'>putWord64host</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>writeNbytes</span> <span class='hs-layout'>(</span><span class='hs-varid'>sizeOf</span> <span class='hs-layout'>(</span><span class='hs-varid'>undefined</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word64</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>p</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>poke</span> <span class='hs-varid'>p</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span> <a name="line-393"></a><span class='hs-comment'>{-# INLINE putWord64host #-}</span> <a name="line-394"></a> <a name="line-395"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-396"></a><span class='hs-comment'>-- Unchecked shifts</span> <a name="line-397"></a> <a name="line-398"></a><a name="shiftr_w16"></a><span class='hs-comment'>{-# INLINE shiftr_w16 #-}</span> <a name="line-399"></a><span class='hs-definition'>shiftr_w16</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word16</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word16</span> <a name="line-400"></a><a name="shiftr_w32"></a><span class='hs-comment'>{-# INLINE shiftr_w32 #-}</span> <a name="line-401"></a><span class='hs-definition'>shiftr_w32</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word32</span> <a name="line-402"></a><a name="shiftr_w64"></a><span class='hs-comment'>{-# INLINE shiftr_w64 #-}</span> <a name="line-403"></a><span class='hs-definition'>shiftr_w64</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word64</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word64</span> <a name="line-404"></a> <a name="line-405"></a><span class='hs-cpp'>#if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)</span> <a name="line-406"></a><span class='hs-definition'>shiftr_w16</span> <span class='hs-layout'>(</span><span class='hs-conid'>W16</span><span class='hs-cpp'>#</span> <span class='hs-varid'>w</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'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>W16</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span> <span class='hs-varop'>`</span><span class='hs-varid'>uncheckedShiftRL</span><span class='hs-cpp'>#</span><span class='hs-varop'>`</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <a name="line-407"></a><span class='hs-definition'>shiftr_w32</span> <span class='hs-layout'>(</span><span class='hs-conid'>W32</span><span class='hs-cpp'>#</span> <span class='hs-varid'>w</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'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>W32</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span> <span class='hs-varop'>`</span><span class='hs-varid'>uncheckedShiftRL</span><span class='hs-cpp'>#</span><span class='hs-varop'>`</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <a name="line-408"></a> <a name="line-409"></a><span class='hs-cpp'>#if WORD_SIZE_IN_BITS < 64</span> <a name="line-410"></a><span class='hs-definition'>shiftr_w64</span> <span class='hs-layout'>(</span><span class='hs-conid'>W64</span><span class='hs-cpp'>#</span> <span class='hs-varid'>w</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'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>W64</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span> <span class='hs-varop'>`</span><span class='hs-varid'>uncheckedShiftRL64</span><span class='hs-cpp'>#</span><span class='hs-varop'>`</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <a name="line-411"></a> <a name="line-412"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ <= 606</span> <a name="line-413"></a><span class='hs-comment'>-- Exported by GHC.Word in GHC 6.8 and higher</span> <a name="line-414"></a><span class='hs-keyword'>foreign</span> <span class='hs-keyword'>import</span> <span class='hs-keyword'>ccall</span> <span class='hs-keyword'>unsafe</span> <span class='hs-str'>"stg_uncheckedShiftRL64"</span> <a name="line-415"></a> <span class='hs-varid'>uncheckedShiftRL64</span><span class='hs-cpp'>#</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word64</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'>Word64</span><span class='hs-cpp'>#</span> <a name="line-416"></a><span class='hs-cpp'>#endif</span> <a name="line-417"></a> <a name="line-418"></a><span class='hs-cpp'>#else</span> <a name="line-419"></a><span class='hs-definition'>shiftr_w64</span> <span class='hs-layout'>(</span><span class='hs-conid'>W64</span><span class='hs-cpp'>#</span> <span class='hs-varid'>w</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'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>W64</span><span class='hs-cpp'>#</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span> <span class='hs-varop'>`</span><span class='hs-varid'>uncheckedShiftRL</span><span class='hs-cpp'>#</span><span class='hs-varop'>`</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <a name="line-420"></a><span class='hs-cpp'>#endif</span> <a name="line-421"></a> <a name="line-422"></a><span class='hs-cpp'>#else</span> <a name="line-423"></a><span class='hs-definition'>shiftr_w16</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>shiftR</span> <a name="line-424"></a><span class='hs-definition'>shiftr_w32</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>shiftR</span> <a name="line-425"></a><span class='hs-definition'>shiftr_w64</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>shiftR</span> <a name="line-426"></a><span class='hs-cpp'>#endif</span> </pre></body> </html>