Operators
Description
Test operators with or without fixity declarations
Synopsis
(+-) :: 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
Has infixl 3
Has infixr 5
pattern (:+) :: forall t. t -> t -> [t] infixr 3 #
Pattern synonym, infixr 3
data a <-> b where infixl 6 #
Type name, infixl 6 and GADT constructor
type family a ++ b infix 3 #
Type family with fixity
data family a ** b infix 9 #
Data family with fixity
class a ><> b | a -> b where infixr 1 #
Class with fixity, including associated types
Minimal complete definition
(>><), (<<>), (**>), (**<), (>**), (<**)
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