From 17970e6b6aa22962c498ce02ead8dbadad31a733 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Sat, 8 Mar 2014 09:42:00 +0100 Subject: Render fixity information Affects functions, type synonyms, type families, class names, data type names, constructors, data families, associated TFs/DFs, type synonyms, pattern synonyms and everything else I could think of. --- html-test/ref/Operators.html | 379 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 379 insertions(+) create mode 100644 html-test/ref/Operators.html (limited to 'html-test/ref/Operators.html') diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html new file mode 100644 index 00000000..89ebbbbf --- /dev/null +++ b/html-test/ref/Operators.html @@ -0,0 +1,379 @@ + +Operators

 

Safe HaskellSafe-Inferred

Operators

Description

Test operators with or without fixity declarations

Synopsis

Documentation

(+-) :: a -> a -> a

Operator with no fixity

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

Operator with infixr 7

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

Named function with infixl 3

data Foo

Data type with operator constructors

Constructors

infixl 3 `Bar`
Foo `Bar` Foo

Has infixl 3

infixr 5 :-
Foo :- Foo

Has infixr 5

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

Pattern synonym, infixr 3

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

Type name, infixl 6 and GADT constructor

Constructors

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

infix 3 ++
type family a ++ b

Type family with fixity

infix 9 **
data family a ** b

Data family with fixity

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

Class with fixity, including associated types

Associated Types

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

infixl 3 ><<
data a ><< b

Methods

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

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

Type synonym with fixity

-- cgit v1.2.3