Copyright  (C) 20132016 University of Twente 2016 Myrtle Software Ltd 

License  BSD2 (see the file LICENSE) 
Maintainer  Christiaan Baaij <christiaan.baaij@gmail.com> 
Safe Haskell  Unsafe 
Language  Haskell2010 
Extensions 

Synopsis
 newtype Signed (n :: Nat) = S {}
 size# :: KnownNat n => Signed n > Int
 pack# :: forall n. KnownNat n => Signed n > BitVector n
 unpack# :: forall n. KnownNat n => BitVector n > Signed n
 eq# :: Signed n > Signed n > Bool
 neq# :: Signed n > Signed n > Bool
 lt# :: Signed n > Signed n > Bool
 ge# :: Signed n > Signed n > Bool
 gt# :: Signed n > Signed n > Bool
 le# :: Signed n > Signed n > Bool
 enumFrom# :: KnownNat n => Signed n > [Signed n]
 enumFromThen# :: KnownNat n => Signed n > Signed n > [Signed n]
 enumFromTo# :: Signed n > Signed n > [Signed n]
 enumFromThenTo# :: Signed n > Signed n > Signed n > [Signed n]
 minBound# :: KnownNat n => Signed n
 maxBound# :: KnownNat n => Signed n
 (+#) :: forall n. KnownNat n => Signed n > Signed n > Signed n
 (#) :: forall n. KnownNat n => Signed n > Signed n > Signed n
 (*#) :: forall n. KnownNat n => Signed n > Signed n > Signed n
 negate# :: forall n. KnownNat n => Signed n > Signed n
 abs# :: forall n. KnownNat n => Signed n > Signed n
 fromInteger# :: KnownNat n => Integer > Signed (n :: Nat)
 plus# :: Signed m > Signed n > Signed (Max m n + 1)
 minus# :: Signed m > Signed n > Signed (Max m n + 1)
 times# :: Signed m > Signed n > Signed (m + n)
 quot# :: Signed n > Signed n > Signed n
 rem# :: Signed n > Signed n > Signed n
 div# :: Signed n > Signed n > Signed n
 mod# :: Signed n > Signed n > Signed n
 toInteger# :: Signed n > Integer
 and# :: KnownNat n => Signed n > Signed n > Signed n
 or# :: KnownNat n => Signed n > Signed n > Signed n
 xor# :: KnownNat n => Signed n > Signed n > Signed n
 complement# :: KnownNat n => Signed n > Signed n
 shiftL# :: KnownNat n => Signed n > Int > Signed n
 shiftR# :: KnownNat n => Signed n > Int > Signed n
 rotateL# :: KnownNat n => Signed n > Int > Signed n
 rotateR# :: KnownNat n => Signed n > Int > Signed n
 resize# :: forall m n. (KnownNat n, KnownNat m) => Signed n > Signed m
 truncateB# :: KnownNat m => Signed (m + n) > Signed m
 minBoundSym# :: KnownNat n => Signed n
Datatypes
newtype Signed (n :: Nat) Source #
Arbitrarywidth signed integer represented by n
bits, including the sign
bit.
Uses standard 2complements representation. Meaning that, given n
bits,
a Signed
n
number has a range of: [(2^(n
1)) .. 2^(n
1)1]
NB: The Num
operators perform wraparound
on overflow. If you want
saturation on overflow, check out the SaturatingNum
class.
>>>
maxBound :: Signed 3
3>>>
minBound :: Signed 3
4>>>
read (show (minBound :: Signed 3)) :: Signed 3
4>>>
1 + 2 :: Signed 3
3>>>
2 + 3 :: Signed 3
3>>>
(2) + (3) :: Signed 3
3>>>
2 * 3 :: Signed 4
6>>>
2 * 4 :: Signed 4
8>>>
(2 :: Signed 3) `times` (4 :: Signed 4) :: Signed 7
8>>>
(2 :: Signed 3) `plus` (3 :: Signed 3) :: Signed 4
5>>>
(2 :: Signed 3) `plus` (3 :: Signed 3) :: Signed 4
5>>>
satPlus SatSymmetric 2 3 :: Signed 3
3>>>
satPlus SatSymmetric (2) (3) :: Signed 3
3
S  The constructor, 
Instances
Accessors
Length information
Type classes
BitConvert
Ord
Enum (not synthesisable)
Bounded
Num
ExtendingNum
Integral
toInteger# :: Signed n > Integer Source #
Bits
Resize
SaturatingNum
minBoundSym# :: KnownNat n => Signed n Source #