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/Operators.html | 133 +++++++++++++++++++++++++++++-------------- 1 file changed, 90 insertions(+), 43 deletions(-) (limited to 'html-test/ref/Operators.html') diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index fdc46aa6..9c360894 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -184,10 +184,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; >

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