From 72f655f5a4429403674521d251e6cccf62d76747 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Tue, 11 Mar 2014 07:21:03 +0100 Subject: Update appearance of fixity annotations This moves them in-line with their corresponding lines, similar to a presentation envision by @hvr and described in #ghc. Redundant operator names are also omitted when no ambiguity is present. --- html-test/ref/Bug8.html | 20 ++++--- html-test/ref/Operators.html | 133 +++++++++++++++++++++++++++++-------------- 2 files changed, 103 insertions(+), 50 deletions(-) (limited to 'html-test/ref') diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 7e5b5fee..ffbfe0e2 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -84,22 +84,28 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");}; >

infix 9 -->
(-->) :: t -> t1 -> :: t -> t1 -> Typ infix 9

infix 9 --->
(--->) :: [a] -> :: [a] -> Typ -> -> Typ infix 9

infixr 7 */
(*/) :: a -> a -> a

:: a -> a -> a infixr 7

Operator with infixr 7

infixl 3 `foo`
foo :: a -> a -> a

:: a -> a -> a infixl 3

Named function with infixl 3

infixl 3 `Bar`
Foo `Bar` Foo infixl 3

infixr 5 :-
Foo :- Foo infixr 5

infixr 3 :+
pattern pattern (:+) t t :: [t]

t t :: [t] infixr 3

Pattern synonym, infixr 3

infixl 6 <->
data a <-> b where infixl 6

b infixr 6

infix 3 ++
type family a ++ b

b infix 3

Type family with fixity

infix 9 **
data family a ** b

b infix 9

Data family with fixity

infixr 1 ><>
class a ><> b where infixr 1

Associated Types

infixl 2 <><
type a <>< b :: *

b :: * infixl 2

infixl 3 ><<
data a ><< b

b infixl 3

Methods

infixl 5 <<>
infixr 4 >><
(>><), (<<>) :: a -> b -> ()

:: a -> b -> () infixl 5 <<>infixr 4 >><

infixr 8 **>, >**
infixl 8 <**, **<
(**>), (<**)(>**), (**<) :: a -> a -> ()

:: a -> a -> () infixr 8 **>, >**infixl 8 <**, **<

Multiple fixities

infixl 6 >-<
type (>-<) a b = a <-> b

b infixl 6

Type synonym with fixity

infixr 6 :<->
(:<->) :: a -> b -> a <-> b