CHR.Data.Lookup.Scoped

Scoped Lookup allowing items to have a scope associated. A scope identifies a position in a tree representing nesting. The Lookup has its own scope, i.e. maintains contextual state about 'where it is' in terms of nesting, thus allowing to query whether an item can see the current scope.

Documentation

class Scoped c where

Functionality on top of Lookup for awareness of a scope

Minimal complete definition

empty

Methods

empty :: c

new :: c -> (ScpId, c)

pop :: c -> (ScpId, c)

switch :: ScpId -> c -> (ScpId, c)

scope :: c -> ScpId

curIsVisibleFrom :: ScpId -> c -> Bool

Something at current scope is visible from given scope, i.e. given scope is inside current scope

newM :: MonadState c m => m ScpId

popM :: MonadState c m => m ScpId

switchM :: MonadState c m => ScpId -> m ScpId

scopeM :: MonadState c m => m ScpId

curIsVisibleFromM :: MonadState c m => ScpId -> m Bool

type DefaultScpsLkup k v = ScpsLkup (Map k (ScopedItem v)) Scopes

defaultScpsLkup :: DefaultScpsLkup k v