uhc-util-0.1.7.0: UHC utilities

Safe HaskellSafe
LanguageHaskell98

UHC.Util.RLList.LexScope

Contents

Description

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

Synopsis

Lexical scope

type LexScope = RLList Int Source #

enter :: Int -> LexScope -> LexScope Source #

Enter a new scope

leave :: LexScope -> Maybe LexScope Source #

Leave a scope, if possible

isVisibleIn :: LexScope -> LexScope -> Bool Source #

Is scope visible from other scope?

common :: LexScope -> LexScope -> LexScope Source #

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

parents :: LexScope -> [LexScope] Source #

All possible parent scopes

compareByLength :: LexScope -> LexScope -> Ordering Source #

Compare by length

Re-export