úÎ0È*„]      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\Safe -1FSTV( <Required to implement ] for an C based on type a.=Count the leading zeros on a w-bit wide word.>Count the trailing zeros on a w-bit wide word.^3Provides a more efficient mechanism for converting _(-kinded types into small integers than `.?]Converts a native GHC type-level natural into one usable by this library. This requires the  DataKinds extension.@jRepresents a type-level number with a placeholder zero bit followed by the string of digits specified by a.AeRepresents a type-level number with a leading one bit followed by the string of digits specified by a.B Intances of B represent type-level numbers.CC| provides a range of unsigned integer word types with a length in bits encoded at the type level. The first type parameter aX must supply an integer type which can hold at least as many bits as required for the C. The second type paramter n, then encodes the length in bits which the C will be restricted to.The length of the C8 can be encoded as a string of binary digits using the A, @, and ()à type constructors. The outermost constructor specifies the most significant digit and each subsequent digit is nested inside the previous type constructor via its type parameter. Hence, the encoding is terminated by the ()E type constructor. For example, the number 4 would be expressed as: One (Zero (Zero ())).\Alternatively, if the compiler supports type-level naturals then these can be used via the ?C type constructor. For example, the number 4 can be expressed as: Lit 4.JTo supply a complete example, a 4-bit integer type could be built from a a and specified as either $OddWord Word8 (One (Zero (Zero ()))) or OddWord Word8 (Lit 4).The behaviour of an Cã is undefined if the specified length is greater than that of the underlying integer type. The behaviour is also undefined if the specified length is equal to that of the underlying integer type and that type is also signed.bCWraps both parts of a homogenous pair with the OddWord constructor.c3An OddWord with all the bits set, used for masking.dESmart constructor for OddWords which masks off the unused upper bits.eIApplies a function to the first component of each pair in a list thereof.D  !"#$%&'()*+,-./0123456789:;<=>?@ABCDCBA@?<=>;:9876543210/.-,+*)('&%$#"!  <=>fg^hijklBmnoCpqr      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcde_fg_hijklmnopqrstuvvwxy&OddWord-1.0.2.0-LfDzBxJXdd9GjxqtEzEStG Data.Word.OddWord63Word62Word61Word60Word59Word58Word57Word56Word55Word54Word53Word52Word51Word50Word49Word48Word47Word46Word45Word44Word43Word42Word41Word40Word39Word38Word37Word36Word35Word34Word33Word31Word30Word29Word28Word27Word26Word25Word24Word23Word22Word21Word20Word19Word18Word17Word15Word14Word13Word12Word11Word10Word9Word7Word6Word5Word4Word3Word2Word1FiniteBitsBase subWordClz subWordCtzLitZeroOneTypeNumOddWord $fShowOddWord $fBitsOddWord$fIntegralOddWord $fEnumOddWord$fBoundedOddWord $fRealOddWord $fNumOddWord $fReadOddWord $fTypeNum() $fTypeNumOne $fTypeNumZero $fTypeNumLit$fZNatValueNonZ12$fZNatValueNonZ8$fZNatValueNonZ4$fZNatValueNonZ$fZNatValueIsZ$fFiniteBitsOddWord$fFiniteBitsBaseInteger$fFiniteBitsBaseWord64$fFiniteBitsBaseWord32$fFiniteBitsBaseWord16$fFiniteBitsBaseWord8 $fEqOddWord $fOrdOddWordbase Data.Bits FiniteBitsZNatghc-prim GHC.TypesNat GHC.TypeNatsKnownNatGHC.WordWord8pairOWowMaskmaskOWmapFst ZNatValue znatIntValIsZNonZNonZ4NonZ8NonZ12typeNumTypeNumBuilderOWunOW