Portability | portable |
---|---|
Stability | experimental |
Maintainer | forsyde-dev@ict.kth.se |
This module contains the data structure and access functions for the memory model.
Documentation
The data type Memory
is modeled as a vector.
The data type Access
defines two access patterns.
newMem :: MemSize -> Memory aSource
The function newMem
creates a new memory, where the number of entries is given by a parameter.