Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.Sugar.Operators.Types
Documentation
matchTypeOperators :: MonadError MultipleErrors m => SourceSpan -> [[(Qualified (OpName 'TypeOpName), Associativity)]] -> SourceType -> m SourceType #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.Sugar.Operators.Types
matchTypeOperators :: MonadError MultipleErrors m => SourceSpan -> [[(Qualified (OpName 'TypeOpName), Associativity)]] -> SourceType -> m SourceType #