curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

ScopeEnv

Documentation

data ScopeEnv a b Source

Instances (Show a, Show b) => Show (ScopeEnv a b)

new :: Ord a => ScopeEnv a b Source

insert :: Ord a => a -> b -> ScopeEnv a b -> ScopeEnv a b Source

update :: Ord a => a -> b -> ScopeEnv a b -> ScopeEnv a b Source

modify :: Ord a => (b -> b) -> a -> ScopeEnv a b -> ScopeEnv a b Source

lookup :: Ord a => a -> ScopeEnv a b -> Maybe b Source

sureLookup :: Ord a => a -> b -> ScopeEnv a b -> b Source

level :: Ord a => a -> ScopeEnv a b -> Int Source

exists :: Ord a => a -> ScopeEnv a b -> Bool Source

beginScope :: Ord a => ScopeEnv a b -> ScopeEnv a b Source

endScope :: Ord a => ScopeEnv a b -> ScopeEnv a b Source

endScopeUp :: Ord a => ScopeEnv a b -> ScopeEnv a b Source

toList :: Ord a => ScopeEnv a b -> [(a, b)] Source

toLevelList :: Ord a => ScopeEnv a b -> [(a, b)] Source

currentLevel :: Ord a => ScopeEnv a b -> Int Source

Produced by Haddock version 2.4.2