clash-prelude-0.3: CAES Language for Synchronous Hardware - Prelude library
CLaSH.Class.BitVector
Synopsis
class BitVector a where Source
Convert types from and to a vector of Bits
Bit
Associated Types
type BitSize a :: Nat Source
Number of Bits needed to represents elements of type a
a
Methods
toBV :: KnownNat (BitSize a) => a -> Vec (BitSize a) Bit Source
Convert element of type a to a Vec of Bits
Vec
fromBV :: KnownNat (BitSize a) => Vec (BitSize a) Bit -> a Source
Convert a Vec of Bits to an element of type a
Instances