MiniForth.Types

Documentation

newtype VM a

Constructors

VM

Fields

runVM :: ExceptT Err (StateT World IO) a

Instances

Monad VM

Functor VM

Applicative VM

MonadRandom VM

MonadIO VM

MonadError Err VM

MonadState World VM

data Token

Constructors

Word String

Number Double

Def String [Token]

data World

Constructors

World

Fields

_stack :: [Double]

_dict :: Map String (VM ())

Instances

MonadState World VM

data Err

Constructors

StackUnderflow

UndefinedWord String

AddressOutOfBounds Int

ProgramExit

Instances

Show Err

MonadError Err VM

stack :: Lens' World [Double]

dict :: Lens' World (Map String (VM ()))