PropaFP.Parsers.Lisp.DataTypes

Documentation

type Frame = Map String Expression

data Environment

Constructors

EmptyEnvironment

Environment Frame Environment

data Expression

Constructors

Null

Number Rational

Boolean Bool

Variable String

Pair Expression Expression

Exception String

Lambda [Expression] Expression

PrimitiveProcedure ([Expression] -> Expression)

Application Expression [Expression]

Definition Expression Expression

If Expression Expression Expression

Cond [(Expression, Expression)]

Instances

Show Expression

Defined in PropaFP.Parsers.Lisp.DataTypes

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Eq Expression

Defined in PropaFP.Parsers.Lisp.DataTypes

Methods

(==) :: Expression -> Expression -> Bool

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

addBinding :: Environment -> String -> Expression -> Environment

lookupValue :: Environment -> String -> Expression

extendEnvironment :: Environment -> [Expression] -> [Expression] -> Environment

pairToList :: Expression -> [Expression]