ForSyDe.Shallow.Utility.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)

Defined in ForSyDe.Shallow.Utility.Memory

Methods

(==) :: Memory a -> Memory a -> Bool

(/=) :: Memory a -> Memory a -> Bool

Show a => Show (Memory a)

Defined in ForSyDe.Shallow.Utility.Memory

Methods

showsPrec :: Int -> Memory a -> ShowS

show :: Memory a -> String

showList :: [Memory a] -> ShowS

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)

Defined in ForSyDe.Shallow.Utility.Memory

Methods

(==) :: Access a -> Access a -> Bool

(/=) :: Access a -> Access a -> Bool

Show a => Show (Access a)

Defined in ForSyDe.Shallow.Utility.Memory

Methods

showsPrec :: Int -> Access a -> ShowS

show :: Access a -> String

showList :: [Access a] -> ShowS

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 Access 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.