Lambs.Define

data Define

A toplevel definition. Has:

1. name that can be used
2. Term that can be substituted for name

Constructors

• Define String Term

Instances

• Generic Define
• Show Define
• Eq Define
• Ord Define

data Undefine

For removing a toplevel definition.

Constructors

• Undefine String

Instances

• Generic Undefine
• Show Undefine
• Eq Undefine
• Ord Undefine

data Definitions

List of toplevel definitions.

Instances

• Generic Definitions
• Show Definitions
• Eq Definitions
• Ord Definitions

substDefs :: Definitions -> Term -> Term

Given

1. some Definitions
2. a Term

this should return a new Term where the Defines in the Definitions are substituted for the correspinging free variables in the original Term.

noDefinitions :: Definitions

Empty list of toplevel definitions.

addDef :: Define -> Definitions -> Definitions

For adding a definition.

removeDef :: Undefine -> Definitions -> Definitions

For taking away a definition.

definitionsList :: Definitions -> List Define

For getting the list of Defines contained in a Definitions