Base.TopEnv

Data types

data TopEnv a

class Entity a

creation and insertion

emptyTopEnv

predefTopEnv

importTopEnv

qualImportTopEnv

bindTopEnv

qualBindTopEnv

rebindTopEnv

qualRebindTopEnv

unbindTopEnv

lookupTopEnv

qualLookupTopEnv

allImports

moduleImports

localBindings

allLocalBindings

allEntities

qualElemTopEnv