Safe HaskellSafe-Inferred

Operators

Description

Test operators with or without fixity declarations

Synopsis

Documentation

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

Operator with no fixity

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

Operator with infixr 7

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

Named function with infixl 3

data Foo

Data type with operator constructors

Constructors

Foo `Bar` Foo infixl 3

Has infixl 3

Foo :- Foo infixr 5

Has infixr 5

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

Pattern synonym, infixr 3

data a <-> b where infixl 6

Type name, infixl 6 and GADT constructor

Constructors

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

type family a ++ b infix 3

Type family with fixity

data family a ** b infix 9

Data family with fixity

class a ><> b where infixr 1

Class with fixity, including associated types

Associated Types

type a <>< b :: * infixl 2

data a ><< b infixl 3

Methods

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

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

Multiple fixities

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

Type synonym with fixity