h&      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstu Safe-Inferred /17positThe Posit class is an approximation of B, it is like a sampling on the Projective Real line B(B) with Maybe B as the internal type. The es is an index that controlls the log2 word size of the Posit's fininte precision representation.posit7Transform to/from the Infinite Precision Representationposit1Exponent Size based on the Posit Exponent kind ESpositVarious other size definitions used in the Posit format with their default definitionsposit'Integer Representation of common bounds!positThe ! is a Constraint Synonym that contains all of the constraints provided by the "8 Type Family. It is a super class for the Posit Class."positType of the Finite Precision Representation, in our case Int8, Int16, Int32, Int64, Int128, Int256.#positThe Exponent Size #7 kind, the constructor for the Type is a Roman Numeral.positMaybe you have some Rational Number and you want to encode it as some integer with a finite integer log2 word size.positYou have an integer with a finite integer log2 word size decode it and Maybe it is RationalpositThe exponent size, es is a Natural numberposit0 the number of bytes of the Posit Representationposit/ the number of bits of the Posit Representationposit the size of the sign bitposit: scaling factor for the regime of the Posit Representationposit is something that is not Real, the integer value that is not a Real number*     !"#$%&'()*     #$%&'()"! Safe-Inferred()*1g8positA Alternative to the typical v class to assist in displaying the Posit es type in different formats9posit.Display the Posit in its Binary Representation:posit0Display the Posit in its Integral Representation;positDisplay the Posit as a Rational<posit8Display the Posit as a Decimal until the Repetend occurs=posit&A Convertible class that will cast or >% between two different Posit es types?positA class that delays the rounding operation until the end for some operations@positFused Multiply Add: (a * b) + cApositFused Add Multiply: (a + b) * cBposit3Fused Multiply Multiply Subtract: (a * b) - (c * d)Cposit Fused Sum of 3 values: a + b + cDposit$Fused Sum of 4 values: a + b + c + dEpositFused Sum of a List of PositsFpositFused Dot Product of 3 element vector: (a1 * b1) + (a2 * b2) + (a3 * b3)GpositFused Dot Product of 4 element vector: (a0 * b0) + (a1 * b1) + (a2 * b2) + (a3 * b3)HpositFused Dot Product of Two ListsIposit$Fused Subtract Multiply: a - (b * c)PpositBase GADT rapper type, that uses the Exponent Size kind to index the various implementationsQpositA Real or at least Rational Number, rounded to the nearest Posit Rational representationRpositNot a Real Number, the Posit is like a Maybe type, it's either a real number or notwposit4! fixed point recursive algorithm,'3745689:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY'PONMLKJRQ?@ABCDEFGHI=>89:;<37456STUVWXY      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{$posit-3.2.0.3-LkhWiN8qboTH5mrhrSdlFrPosit.Internal.PositCPositPositCencodedecode exponentSizenBytesnBits signBitSizeuSeedunReal mostPosVal leastPosVal leastNegVal mostNegVal maxPosRat minPosRat maxNegRat minNegRat log_uSeed getRegimeposit2TupPosit buildIntRepmkIntRep formRegime formExponent formFractiontupPosit2Positregime2IntegerfindRegimeFormatcountRegimeBits exponent2Natfraction2Posit displayBin decimalPrecFixedWidthIntegerIntNESZIIIIIIIVV$fStorableInt256$fStorableInt128$fStorableWord128 $fPositCV $fPositCIV $fPositCIII $fPositCII $fPositCI $fPositCZ AltFloatingphigammasincexpm1AltShow displayBinarydisplayIntegraldisplayRationaldisplayDecimal ConvertibleconvertFusedOpsfmafamfmmsfsum3fsum4fsumLfdot3fdot4fdotLfsmPosit256Posit128Posit64Posit32Posit16Posit8RNaR viaIntegral viaRational viaRational2 viaRational3 viaRational4 viaRational6 viaRational8$fRealFloatPosit$fRealFracPosit$fStorablePosit $fReadPosit$fBoundedPosit $fRealPosit$fFractionalPosit $fEnumPosit $fNumPosit $fOrdPosit $fEqPosit $fShowPosit$fFloatingPosit$fFusedOpsPosit$fFusedOpsRatio$fFloatingPosit0$fFloatingPosit1$fFloatingPosit2$fFloatingPosit3$fFloatingPosit4$fConvertiblePositPosit$fAltShowPosit$fAltFloatingPosit$fAltFloatingPosit0$fAltFloatingPosit1$fAltFloatingPosit2$fAltFloatingPosit3$fAltFloatingPosit4baseGHC.ShowShowfunPhi