clash-prelude-0.2: CAES Language for Synchronous Hardware
CLaSH.Class.BitVector
class BitVector a where Source
Associated Types
type BitSize a :: Nat Source
Methods
toBV :: KnownNat (BitSize a) => a -> Vec (BitSize a) Bit Source
fromBV :: KnownNat (BitSize a) => Vec (BitSize a) Bit -> a Source
Instances