SECD.Types

Documentation

data MValue

Constructors

MInt Int

MClosure [Command] [MValue]

MUndefined

Instances

Eq MValue

Methods

(==) :: MValue -> MValue -> Bool

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

Show MValue

Methods

showsPrec :: Int -> MValue -> ShowS

show :: MValue -> String

showList :: [MValue] -> ShowS

data Command

Constructors

IInt Int

IAdd

ISub

IAccess Int

IClosure [Command]

IApply

IReturn

Instances

Eq Command

Methods

(==) :: Command -> Command -> Bool

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

Show Command

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

type SECD = ([Command], [MValue], [MValue])