CLaSH.Class.BitVector

Documentation

class BitVector a where

Convert types from and to a Vector of Bits

Associated Types

type BitSize a :: Nat

Number of Bits needed to represents elements of type a

Methods

toBV :: KnownNat (BitSize a) => a -> Vec (BitSize a) Bit

Convert element of type a to a Vec of Bits

fromBV :: KnownNat (BitSize a) => Vec (BitSize a) Bit -> a

Convert a Vec of Bits to an element of type a

Instances

BitVector Bool

BitVector Bit

BitVector (Signed n)

BitVector (Unsigned n)

(KnownNat (BitSize a), KnownNat (BitSize b), BitVector a, BitVector b) => BitVector (a, b)

(KnownNat n, KnownNat (BitSize a), BitVector a) => BitVector (Vec n a)

BitVector (rep size) => BitVector (Fixed frac rep size)