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/Bug8.html | 6 +- html-test/ref/Operators.html | 379 +++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 383 insertions(+), 2 deletions(-) create mode 100644 html-test/ref/Operators.html (limited to 'html-test/ref') diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index f3845cb2..7e5b5fee 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -84,7 +84,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");}; >

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

infix 9 --->
(--->) :: [a] -> Typ +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