clash-prelude-0.10.10: CAES Language for Synchronous Hardware - Prelude library

Copyright(C) 2013-2016, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellSafe
LanguageHaskell2010
Extensions
  • DataKinds
  • FlexibleContexts
  • KindSignatures
  • TypeOperators
  • ExplicitNamespaces

CLaSH.Class.Resize

Description

 

Synopsis

Documentation

class Resize f where Source

Coerce a value to be represented by a different number of bits

Minimal complete definition

resize, zeroExtend, signExtend, truncateB

Methods

resize :: (KnownNat a, KnownNat b) => f a -> f b Source

A sign-preserving 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 L-1 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) N-L bits.

extend :: (KnownNat a, KnownNat (b + a)) => f a -> f (b + a) Source

Perform a zeroExtend for unsigned datatypes, and signExtend for a signed datatypes

zeroExtend :: (KnownNat a, KnownNat b, KnownNat (b + a)) => f a -> f (b + a) Source

Add extra zero bits in front of the MSB

signExtend :: (KnownNat a, KnownNat (b + a)) => 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