| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
RnFixity
Synopsis
- type MiniFixityEnv = FastStringEnv (Located Fixity)
- addLocalFixities :: MiniFixityEnv -> [Name] -> RnM a -> RnM a
- lookupFixityRn :: Name -> RnM Fixity
- lookupFixityRn_help :: Name -> RnM (Bool, Fixity)
- lookupFieldFixityRn :: AmbiguousFieldOcc GhcRn -> RnM Fixity
- lookupTyFixityRn :: Located Name -> RnM Fixity
Documentation
type MiniFixityEnv = FastStringEnv (Located Fixity) Source #
addLocalFixities :: MiniFixityEnv -> [Name] -> RnM a -> RnM a Source #
lookupFixityRn_help :: Name -> RnM (Bool, Fixity) Source #
lookupFixityRn_help returns (True, fixity) if it finds a Fixity
in a local environment or from an interface file. Otherwise, it returns
(False, fixity) (e.g., for unbound Names or Names without
user-supplied fixity declarations).
lookupFieldFixityRn :: AmbiguousFieldOcc GhcRn -> RnM Fixity Source #
Look up the fixity of a (possibly ambiguous) occurrence of a record field
selector. We use lookupFixityRn' so that we can specifiy the OccName as
the field label, which might be different to the OccName of the selector
Name if DuplicateRecordFields is in use (#1173). If there are
multiple possible selectors with different fixities, generate an error.