Îõ³h&&Úž      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œ Safe-Inferred /1?ÀÂÄÌÚÜï 8 positThe 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 ESpositÖVarious 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.žposit2New Type Wrappers to resolve Orphan Instance Issue"positåType 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.positóMaybe you have some Rational Number and you want to encode it as some integer with a finite integer log2 word size.positÛYou 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()*1ÁÂÃÄÅÌÜëï†_positA Alternative to the typical ŸÅ class to assist in displaying the Posit es type in different formats`posit.Display the Posit in its Binary Representationaposit0Display the Posit in its Integral RepresentationbpositDisplay the Posit as a Rationalcposit8Display the Posit as a Decimal until the Repetend occursdposit&A Convertible class that will cast or e% between two different Posit es typesfpositÌA class that delays the rounding operation until the end for some operationsgpositFused Multiply Add: (a * b) + chpositFused Add Multiply: (a + b) * ciposit3Fused Multiply Multiply Subtract: (a * b) - (c * d)jposit Fused Sum of 3 values: a + b + ckposit$Fused Sum of 4 values: a + b + c + dlpositFused Sum of a List of PositsmpositÈFused Dot Product of 3 element vector: (a1 * b1) + (a2 * b2) + (a3 * b3)npositÔFused Dot Product of 4 element vector: (a0 * b0) + (a1 * b1) + (a2 * b2) + (a3 * b3)opositFused Dot Product of Two Listspposit$Fused Subtract Multiply: a - (b * c)wpositÜBase GADT rapper type, that uses the Exponent Size kind to index the various implementationsxpositØA Real or at least Rational Number, rounded to the nearest Posit Rational representationypositÓNot a Real Number, the Posit is like a Maybe type, it's either a real number or not posit[! fixed point recursive algorithm,positNFData Instance'Z^[\]_`abcdefghijklmnopqrstuvwxyz{|}~€'wvutsrqyxfghijklmnopde_`abcZ^[\]z{|}~€¡      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥$posit-3.2.0.5-5oWTACYtEHcLYxAr9xrMBPPosit.Internal.PositCPositPositCencodedecode exponentSizenBytesnBits signBitSizeuSeedunReal mostPosVal leastPosVal leastNegVal mostNegVal maxPosRat minPosRat maxNegRat minNegRat log_uSeed getRegimeposit2TupPosit buildIntRepmkIntRep formRegime formExponent formFractiontupPosit2Positregime2IntegerfindRegimeFormatcountRegimeBits exponent2Natfraction2Posit displayBin decimalPrecFixedWidthIntegerIntNESZIIIIIIIVV$fStorableInt128_Storable$fStorableInt256_Storable$fStorableWord128_Storable $fPositCV $fPositCIV $fPositCIII $fPositCII $fPositCI $fPositCZ$fBitsWord128_Storable$fBoundedWord128_Storable$fEnumWord128_Storable$fRealWord128_Storable$fIntegralWord128_Storable$fEqWord128_Storable$fOrdWord128_Storable$fNumWord128_Storable$fReadWord128_Storable$fShowWord128_Storable$fDoubleWordWord128_Storable$fBinaryWordWord128_Storable$fFiniteBitsWord128_Storable$fBitsInt256_Storable$fBoundedInt256_Storable$fEnumInt256_Storable$fRealInt256_Storable$fIntegralInt256_Storable$fEqInt256_Storable$fOrdInt256_Storable$fNumInt256_Storable$fReadInt256_Storable$fShowInt256_Storable$fDoubleWordInt256_Storable$fBinaryWordInt256_Storable$fFiniteBitsInt256_Storable$fBitsInt128_Storable$fBoundedInt128_Storable$fEnumInt128_Storable$fRealInt128_Storable$fIntegralInt128_Storable$fEqInt128_Storable$fOrdInt128_Storable$fNumInt128_Storable$fReadInt128_Storable$fShowInt128_Storable$fDoubleWordInt128_Storable$fBinaryWordInt128_Storable$fFiniteBitsInt128_Storable AltFloatingphigammasincexpm1AltShow displayBinarydisplayIntegraldisplayRationaldisplayDecimal ConvertibleconvertFusedOpsfmafamfmmsfsum3fsum4fsumLfdot3fdot4fdotLfsmPosit256Posit128Posit64Posit32Posit16Posit8RNaR viaIntegral viaRational viaRational2 viaRational3 viaRational4 viaRational6 viaRational8$fRealFloatPosit$fRealFracPosit$fStorablePosit $fReadPosit$fBoundedPosit $fRealPosit$fFractionalPosit $fEnumPosit $fNumPosit $fOrdPosit $fEqPosit $fShowPosit $fNFDataPosit$fFloatingPosit$fFusedOpsPosit$fFusedOpsRatio$fFloatingPosit0$fFloatingPosit1$fFloatingPosit2$fFloatingPosit3$fFloatingPosit4$fConvertiblePositPosit$fAltShowPosit$fAltFloatingPosit$fAltFloatingPosit0$fAltFloatingPosit1$fAltFloatingPosit2$fAltFloatingPosit3$fAltFloatingPosit4Int128_StorablebaseGHC.ShowShowfunPhi