| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Name.LogicNameEnv
Synopsis
- data LogicNameEnv = LogicNameEnv {
- lneLHName :: SEnv LHName
- lneReflected :: NameEnv LHName
- extendLogicNameEnv :: LogicNameEnv -> [LHName] -> LogicNameEnv
Documentation
data LogicNameEnv Source #
For every symbol tells the corresponding LHName and Sort
Symbols are expected to have been created by lhNameToResolvedSymbol.
Constructors
| LogicNameEnv | |
Fields
| |
extendLogicNameEnv :: LogicNameEnv -> [LHName] -> LogicNameEnv Source #