úÎ,y&Û-      !"#$%&'()*+,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, 9 must be in scope, and this splice will add all smaller WordY2 type aliases needed that aren't already in scope. $(mkInt X) Makes a type alias named IntX3 for an int of X bits. See the requirements under  for additional information.-./0-./0 Safe-InferredHMéA type constructor for building 2^n bit signed ints. BigInt is normally just used as a wrapper around BigWord since twos-complement arithmatic is the same, we simply 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^nZ bit unsigned words 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 wordA 4096 bit unsigned wordA 2632 bit unsigned wordA 2048 bit unsigned wordA 1280 bit unsigned wordA 1024 bit unsigned wordA 584 bit unsigned wordA 576 bit unsigned wordA 512 bit unsigned wordA 256 bit unsigned wordA 72 bit unsigned word#tGenericFixedPoint is a type constructor for arbitrarily-sized fixed point tyes. Take note the first type variable, flaty, should be a signed int 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,  fracBitRepr‰, should be a data structure of equal bit size to the fractional bits in the fixed point type. See the existing type aliases, such as FixedPoint4816, for examples.(YObtain the number of bits used to represent the fractional component of this fixed point.*8The square root operation converges in O(bitSize input).g  !"1#$%2&'(34)*5+6,789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm*  !"#$%&'()*+,* !",+*) #$% '&(a  !"1#$%2&'(34)*5+6,789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmn       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqFixedPoint-simple-0.6.1Data.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$fFiniteBitsBigInt $fReadBigWord $fShowBigWord$fIntegralBigWord $fRealBigWord $fOrdBigWord$fBoundedBigWord $fEnumBigWord $fBitsBigWord $fEqBigWord$fFiniteBitsBigWord $fNumBigWord$fBoundedWord128 $fReadWord128 $fShowWord128$fIntegralWord128 $fRealWord128 $fOrdWord128 $fEnumWord128 $fBitsWord128$fFiniteBitsWord128 $fEqWord128 $fNumWord128$fBitsGenericFixedPoint$fRealFracGenericFixedPoint$fReadGenericFixedPoint$fRealGenericFixedPoint$fFractionalGenericFixedPoint$fNumGenericFixedPoint$fEnumGenericFixedPoint$fShowGenericFixedPoint