Clash.Explicit.BlockRam.Internal

Documentation

data MemBlob (n :: Nat) (m :: Nat) where

Efficient storage of memory content

It holds n words of BitVector m.

Constructors

MemBlob

Fields

• :: (KnownNat n, KnownNat m)
• => { memBlobRunsLen :: !Int
•    , memBlobRuns :: Addr#
•    , memBlobEndsLen :: !Int
•    , memBlobEnds :: Addr#
•    } -> MemBlob n m

Instances

Show (MemBlob n m)

Defined in Clash.Explicit.BlockRam.Internal

Methods

showsPrec :: Int -> MemBlob n m -> ShowS

show :: MemBlob n m -> String

showList :: [MemBlob n m] -> ShowS

unpackMemBlob :: forall n m. MemBlob n m -> [BitVector m]

Convert a MemBlob back to a list

NB: Not synthesizable

unpackMemBlob0 :: forall n m. MemBlob n m -> IO [BitVector m]

packBVs :: forall a f. (Foldable f, BitPack a) => Maybe Bit -> f a -> Either String (Int, ByteString, ByteString)

packAsNats :: forall a f. Foldable f => Int -> (a -> Natural) -> f a -> (ByteString, ByteString)

unpackNats :: Int -> Int -> ByteString -> ByteString -> [Natural]

unpackW64s :: ByteString -> [Word64]

unpackEnds :: Int -> Int -> [Word64] -> [Natural]