ForSyDe.Shallow.Memory

This module contains the data structure and access functions for the memory model.

Documentation

data Memory a

The data type Memory is modeled as a vector.

Constructors

Mem Adr (Vector (AbstExt a))

Instances

Eq a => Eq (Memory a)

Show a => Show (Memory a)

data Access a

The data type Access defines two access patterns.

Constructors

Read Adr

'Read adr' reads an address from the memory.

Write Adr a

'Write Adr a' writes a value into an address.

Instances

Eq a => Eq (Access a)

Show a => Show (Access a)

type MemSize = Int

type Adr = Int

newMem :: MemSize -> Memory a

The function newMem creates a new memory, where the number of entries is given by a parameter.

memState :: Memory a -> Access a -> Memory a

The function memState gives the new state of the memory, after an access to a memory. A Read operation leaves the memory unchanged.

memOutput :: Memory a -> Access a -> AbstExt a

The function memOutput gives the output of the memory after an access to the memory. A Write operation gives an absent value as output.