Base.NestEnv

The NestEnv environment type extends top-level environments to manage nested scopes. Local scopes allow only for a single, unambiguous definition.

As a matter of convenience, the module TopEnv is exported by the module NestEnv. Thus, only the latter needs to be imported.

Documentation

module Base.TopEnv

data NestEnv a

Instances

Functor NestEnv

Defined in Base.NestEnv

Methods

fmap :: (a -> b) -> NestEnv a -> NestEnv b

(<$) :: a -> NestEnv b -> NestEnv a

Show a => Show (NestEnv a)

Defined in Base.NestEnv

Methods

showsPrec :: Int -> NestEnv a -> ShowS

show :: NestEnv a -> String

showList :: [NestEnv a] -> ShowS

emptyEnv :: NestEnv a

bindNestEnv :: Ident -> a -> NestEnv a -> NestEnv a

qualBindNestEnv :: QualIdent -> a -> NestEnv a -> NestEnv a

lookupNestEnv :: Ident -> NestEnv a -> [a]

qualLookupNestEnv :: QualIdent -> NestEnv a -> [a]

rebindNestEnv :: Ident -> a -> NestEnv a -> NestEnv a

qualRebindNestEnv :: QualIdent -> a -> NestEnv a -> NestEnv a

unnestEnv :: NestEnv a -> NestEnv a

toplevelEnv :: NestEnv a -> TopEnv a

globalEnv :: TopEnv a -> NestEnv a

nestEnv :: NestEnv a -> NestEnv a

elemNestEnv :: Ident -> NestEnv a -> Bool

qualModifyNestEnv :: (a -> a) -> QualIdent -> NestEnv a -> NestEnv a

modifyNestEnv :: (a -> a) -> Ident -> NestEnv a -> NestEnv a

localNestEnv :: NestEnv a -> [(Ident, a)]

qualInLocalNestEnv :: QualIdent -> NestEnv a -> Bool