Copyright  (C) 20132016 University of Twente 

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

Synopsis
Documentation
class Resize (f :: Nat > Type) where Source #
Coerce a value to be represented by a different number of bits
resize :: (KnownNat a, KnownNat b) => f a > f b Source #
A signpreserving resize operation
 For signed datatypes: Increasing the size of the number replicates the sign bit to the left. Truncating a number to length L keeps the sign bit and the rightmost L1 bits.
 For unsigned datatypes: Increasing the size of the number extends with zeros to the left. Truncating a number of length N to a length L just removes the left (most significant) NL bits.
extend :: (KnownNat a, KnownNat b) => f a > f (b + a) Source #
Perform a zeroExtend
for unsigned datatypes, and signExtend
for a
signed datatypes
zeroExtend :: (KnownNat a, KnownNat b) => f a > f (b + a) Source #
Add extra zero bits in front of the MSB
signExtend :: (KnownNat a, KnownNat b) => f a > f (b + a) Source #
Add extra sign bits in front of the MSB
truncateB :: KnownNat a => f (a + b) > f a Source #
Remove bits from the MSB