| Safe Haskell | Safe-Inferred | 
|---|
Operators
Description
Test operators with or without fixity declarations
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
infixr 3 :+
pattern  (:+) t t ::  [t]
Pattern synonym, infixr 3
infixl 6 <->
data a <-> b where
Type name, infixl 6 and GADT constructor
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