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

TopEnv

Documentation

newtype TopEnv a Source

Constructors TopEnv topEnvMap :: Map QualIdent [(Source, a)] Instances Functor TopEnv Show a => Show (TopEnv a) SubstType a => SubstType (TopEnv a)

class Entity a where Source

Methods origName :: a -> QualIdent Source merge :: a -> a -> Maybe a Source Instances Entity PrecInfo Entity ArityInfo Entity ValueInfo Entity TypeInfo

emptyTopEnv :: TopEnv a Source

predefTopEnv :: Entity a => QualIdent -> a -> TopEnv a -> TopEnv a Source

qualImportTopEnv :: Entity a => ModuleIdent -> Ident -> a -> TopEnv a -> TopEnv a Source

importTopEnv :: Entity a => ModuleIdent -> Ident -> a -> TopEnv a -> TopEnv a Source

bindTopEnv :: String -> Ident -> a -> TopEnv a -> TopEnv a Source

qualBindTopEnv :: String -> QualIdent -> a -> TopEnv a -> TopEnv a Source

rebindTopEnv :: Ident -> a -> TopEnv a -> TopEnv a Source

qualRebindTopEnv :: QualIdent -> a -> TopEnv a -> TopEnv a Source

unbindTopEnv :: Ident -> TopEnv a -> TopEnv a Source

lookupTopEnv :: Ident -> TopEnv a -> [a] Source

qualLookupTopEnv :: QualIdent -> TopEnv a -> [a] Source

allImports :: TopEnv a -> [(QualIdent, a)] Source

moduleImports :: ModuleIdent -> TopEnv a -> [(Ident, a)] Source

localBindings :: TopEnv a -> [(Ident, a)] Source

Produced by Haddock version 2.4.2