rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellSafe
LanguageHaskell2010

ReWire.HSE.Fixity

Synopsis

Documentation

fixLocalOps :: (MonadState AstError m, MonadFail m) => Module SrcSpanInfo -> m (Module SrcSpanInfo) Source #

Renames local operators and fixes local and file-scope fixities. applyFixities appears to be intended to handle this automatically, but it seems to be buggy and not allow inner fixity declarations to shadow outer ones (on operators with the same name). Note: applyFixities annoyingly fixes the annotation type as SrcSpanInfo.

deuniquifyLocalOps :: Module SrcSpanInfo -> Module SrcSpanInfo Source #

getFixities :: [Decl a] -> [Fixity] Source #