UHC.Util.RLList.LexScope

LexScope represents a lexical scoping, encoded as a list of Int.

Lexical scope

type LexScope = RLList Int

enter :: Int -> LexScope -> LexScope

Enter a new scope

leave :: LexScope -> Maybe LexScope

Leave a scope, if possible

isVisibleIn :: LexScope -> LexScope -> Bool

Is scope visible from other scope?

common :: LexScope -> LexScope -> LexScope

The common outer scope, which is empty if there is no common scope

parents :: LexScope -> [LexScope]

All possible parent scopes

compareByLength :: LexScope -> LexScope -> Ordering

Compare by length

Re-export