uhc-util-0.1.6.6: 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