Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
matchTypeOperators :: MonadError MultipleErrors m => SourceSpan -> [[(Qualified (OpName 'TypeOpName), Associativity)]] -> SourceType -> m SourceType Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
matchTypeOperators :: MonadError MultipleErrors m => SourceSpan -> [[(Qualified (OpName 'TypeOpName), Associativity)]] -> SourceType -> m SourceType Source #