Module
Lambs.Define
- Package
- purescript-lambs
- Repository
- Glorp/purescript-lambs
#Definitions Source
#substDefs Source
substDefs :: Definitions -> Term -> Term
Given
- some
Definitions
- a
Term
this should return a new Term
where the Define
s in the Definitions
are
substituted for the correspinging free variables in the original Term
.
#noDefinitions Source
noDefinitions :: Definitions
Empty list of toplevel definitions.
#addDef Source
addDef :: Define -> Definitions -> Definitions
For adding a definition.
#removeDef Source
removeDef :: Undefine -> Definitions -> Definitions
For taking away a definition.
#definitionsList Source
definitionsList :: Definitions -> List Define
For getting the list of Define
s contained in a Definitions