úÎ,}'-      !"#$%&'()*+,None $(mkWord X) Makes a type alias named WordX for a word of X bits.  Notice X must be a multiple of 8,  must be in scope,  , must be in scope, and this splice will add  all smaller WordY type aliases needed that aren't already in scope.  $(mkInt X) Makes a type alias named IntX for an int of X bits.  See the requirements under  for additional information. -./0-./0 Safe-Inferred5A type constructor for building 2^n bit signed ints. : BigInt is normally just used as a wrapper around BigWord 9 since twos-complement arithmatic is the same, we simply B need to provide alternate show, read, and comparison operations. A 8192 bit int (signed) A 4096 bit int (signed) A 2048 bit int (signed) A 1024 bit int (signed) A 512 bit int (signed) A 256 bit int (signed) A 128 bit int (signed) +A type constuctor allowing construction of 2^n bit unsigned words E The type variable represents half the underlying representation, so  type Foo = BigWord Word13 would have a bit size of  26 (2*13). A 8192 bit unsigned word A 4096 bit unsigned word A 2632 bit unsigned word A 2048 bit unsigned word A 1280 bit unsigned word A 1024 bit unsigned word A 584 bit unsigned word A 576 bit unsigned word A 512 bit unsigned word A 256 bit unsigned word A 72 bit unsigned word #JGenericFixedPoint is a type constructor for arbitrarily-sized fixed point * tyes. Take note the first type variable, flat, should be a signed int E equal to the size of the fixed point integral plus fractional bits.  The second type variable, internal, should be unsigned and twice  as large a bit size as the flat! type. The final type variable,   fracBitRepr6, should be a data structure of equal bit size to the J fractional bits in the fixed point type. See the existing type aliases,  such as FixedPoint4816, for examples. (ZObtain the number of bits used to represent the fractional component of this fixed point. *9The square root operation converges in O(bitSize input). c  !"1#$%2&'(34)*5+6,789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghi*  !"#$%&'()*+,* !",+*) #$% '&(]  !"1#$%2&'(34)*5+6,789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghij       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmFixedPoint-simple-0.5Data.FixedPoint.THData.FixedPoint Data.WordWord8BigWordmkWordmkInt mkFixedPointBigIntunBIInt8192Int4096Int2048Int1024Int512Int256Int128Word8192Word4096Word2632Word2048Word1280Word1024Word584Word576Word512Word256Word72Word128W128FixedPoint4816FixedPoint3232FixedPoint6464FixedPoint128128FixedPoint256256FixedPoint512512FixedPoint10241024GenericFixedPoint FixedPointtoFlat toInternal fromInternalfracBitspi'sqrt'exp'erf'mkSmkWmkIgetPartsFixedPoint20482048fromFlatgetCxORexpTable expTaylorflat1flat2 pointwise pointwise2 pointwiseBW pointwiseBW2$fStorableGenericFixedPoint$fStorableWord128$fStorableBigWord$fNFDataGenericFixedPoint$fNFDataWord128$fNFDataBigWord$fNFDataBigInt$fStorableBigInt$fBoundedBigInt $fRealBigInt$fIntegralBigInt $fEnumBigInt $fBitsBigInt $fNumBigInt $fReadBigInt $fShowBigInt $fEqBigInt $fOrdBigInt $fReadBigWord $fShowBigWord$fIntegralBigWord $fRealBigWord $fOrdBigWord$fBoundedBigWord $fEnumBigWord $fBitsBigWord $fEqBigWord $fNumBigWord$fBoundedWord128 $fReadWord128 $fShowWord128$fIntegralWord128 $fRealWord128 $fOrdWord128 $fEnumWord128 $fBitsWord128 $fEqWord128 $fNumWord128$fBitsGenericFixedPoint$fReadGenericFixedPoint$fRealGenericFixedPoint$fFractionalGenericFixedPoint$fNumGenericFixedPoint$fEnumGenericFixedPoint$fShowGenericFixedPoint