Language.Brainfuck.Types

Documentation

type Tape = Array Int Word8

Tape is an alias for the interpreter storage type

type DataPointer = Int

DataPointer is an alias for the memory pointer

newtype ProgramCounter

ProgramCounter is a nominal type to track the current instruction while distinguishing it from DataPointer

Constructors

PC Int

data Term

Term represents the abstract syntax for the BF language

Constructors

IncDP

>

DecDP

<

OutDP

?

IncByte

+

DecByte

-

OutByte

.

InByte

,

JumpForward

[

JumpBackward

]

Instances

Eq Term

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

data Direction

Direction is used to track which direction we're jumping in

Constructors

Forward

Backward

Instances

Eq Direction

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool