posit 3.2.0.1 → 3.2.0.2

raw patch · 4 files changed

+8/−3 lines, 4 files

Files

ChangeLog.md +4/−0
README.md +2/−2
posit.cabal +1/−1
src/Posit.hs +1/−0

ChangeLog.md view

@@ -1,5 +1,9 @@ # Changelog for Posit Numbers +# posit-3.2.0.2++  * Added `FlexableContexts` back in to Posit.hs, a build error occured on GHC-9.2 that didn't occur with GHC-9.0 or GHC-8.10+ # posit-3.2.0.1    * Refactored `IntN` Type Family to be a closed type family instead of an associated type family

README.md view

@@ -1,4 +1,4 @@-# posit 3.2.0.1+# posit 3.2.0.2  The [Posit Standard 3.2](https://posithub.org/docs/posit_standard.pdf), where Real numbers are approximated by Maybe Rational.  The Posit @@ -25,7 +25,7 @@  * Floating  -- Mathematical functions such as logarithm, exponential, trigonometric, and hyperbolic functions. Warning! May induce trance.  The Posits are indexed by the type (es :: ES) where exponent size and-word size are related.  In `posit-3.2.0.1` es is instantiated as Z, I,+word size are related.  In `posit-3.2.0.2` es is instantiated as Z, I, II, III, IV, V.  The word size (in bits) of the value is `= 8 * 2^es`, that is `2^es` bytes.  The Types: 'Posit8', 'Posit16', 'Posit32', 'Posit64', 'Posit128', and 'Posit256' are implemented and include a

posit.cabal view

@@ -1,7 +1,7 @@ cabal-version: 1.12  name:           posit-version:        3.2.0.1+version:        3.2.0.2 description:    The Posit Number format.  Please see the README on GitHub at <https://github.com/waivio/posit#readme> homepage:       https://github.com/waivio/posit#readme bug-reports:    https://github.com/waivio/posit/issues

src/Posit.hs view

@@ -21,6 +21,7 @@ {-# LANGUAGE BangPatterns #-}  --   Added Strictness for some fixed point algorithms {-# LANGUAGE PatternSynonyms #-}  --   for a nice NaR interface {-# LANGUAGE FlexibleInstances #-} --   To make instances for each specific type [Posit8 .. Posit256]+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeApplications #-} --   To apply types: @Type, it seems to select the specific class instance, when GHC is not able to reason about things, commenting this out shows an interesting interface {-# LANGUAGE MultiParamTypeClasses #-}  --   To convert between Posit Types {-# LANGUAGE ScopedTypeVariables #-} --   To reduce some code duplication