Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 Name
s or Name
s 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 specify 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.