-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathfixity-levels.txt
103 lines (101 loc) · 2.98 KB
/
fixity-levels.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
0 $ [r]
0 *$ [r]
0 ^$, ^^$ [r]
0 ⊙$ [r]
1 :⇒: [r]
1 =≫ [r]
1 ↦ [r]
1 ⇨ [r]
1 ⇰ [r]
1 ⌲ [r]
1 ⟢ [r]
1 ≫=, ≫ [r]
1 →⁻,→⁼,⇄,⇄⁻,⇄⁼ [r]
2 ⩔ [l]
3 :∧: [l]
3 ⩓ [l]
4 ∇,⊑,⊒,⪤ []
4 ⊆,⊇,∈,∉ []
4 ≍,≺,≼,≻,<,≤ []
4 ≡,≢,⋚,≤,≥,<,> []
5 +,- [l]
5 ∨ [l]
5 ⧺ [l]
5 ∪,∖ [l]
5 ⊔,⊟ [l]
5 ⊞,⎅ [l]
5 ⟇,⊻ [l]
5 ⨺,⨹ [l]
6 ×,⨵,/,⌿,÷ [l]
6 ∧ [l]
6 ∩ [l]
6 ⊓ [l]
6 ⟑ [l]
6 ⧆ [l]
6 ⨳ [l]
6 ⋅,✖ [l]
7 *∘ [l]
7 :∘: [l]
7 ^ [l]
7 ^∘, ^^∘ [l]
7 ∘ [l]
7 ⊙ [l]
7 ⊚ [l]
7 ⊡ [l]
7 ▷ [l]
7 ⋘,⋙ [l]
7 ⋕?,⋕,⋕! [l]
7 ⊙⋆ [l]
8 :& [r]
8 :* [l]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/UVMHS/Core/Static.hs:infix 4 ≍,≺,≼,≻,<,≤
src/UVMHS/Core/Classes/Morphism.hs:infixr 1 →⁻,→⁼,⇄,⇄⁻,⇄⁼
src/UVMHS/Core/Classes/Morphism.hs:infixl 7 ⊚
src/UVMHS/Core/Classes/Lattice.hs:infix 4 ∇,⊑,⊒,⪤
src/UVMHS/Core/Classes/Lattice.hs:infixl 5 ⊔,⊟
src/UVMHS/Core/Classes/Lattice.hs:infixl 6 ⊓
src/UVMHS/Core/Classes/Collections.hs:infixl 7 ⋕?,⋕,⋕!
src/UVMHS/Core/Classes/Monoid.hs:infixl 5 ⧺
src/UVMHS/Core/Classes/Monoid.hs:infixl 6 ⨳
src/UVMHS/Core/Classes/Monoid.hs:infixl 7 ▷
src/UVMHS/Core/Classes/Constraints.hs:infixr 1 :⇒:
src/UVMHS/Core/Classes/Constraints.hs:infixl 3 :∧:
src/UVMHS/Core/Classes/Constraints.hs:infixl 7 :∘:
src/UVMHS/Core/Classes/Bitty.hs:infixl 5 ⟇,⊻
src/UVMHS/Core/Classes/Bitty.hs:infixl 6 ⟑
src/UVMHS/Core/Classes/Bitty.hs:infixl 7 ⋘,⋙
src/UVMHS/Core/Classes/Comonad.hs:infixr 1 =≫
src/UVMHS/Core/Classes/DSL.hs:infixr 0 ⊙$
src/UVMHS/Core/Classes/DSL.hs:infixr 1 ⇨
src/UVMHS/Core/Classes/DSL.hs:infixl 7 ⊙
src/UVMHS/Core/Classes/DSL.hs:infixl 7 ⊙⋆
src/UVMHS/Core/Classes/Arithmetic.hs:infixl 5 +,-
src/UVMHS/Core/Classes/Arithmetic.hs:infixl 6 ×,⨵,/,⌿,÷
src/UVMHS/Core/Classes/Arithmetic.hs:infixl 7 ^
src/UVMHS/Core/Classes/Monad.hs:infixr 0 *$
src/UVMHS/Core/Classes/Monad.hs:infixr 1 ≫=, ≫
src/UVMHS/Core/Classes/Monad.hs:infixl 6 ⧆
src/UVMHS/Core/Classes/Monad.hs:infixl 7 *∘
src/UVMHS/Core/Classes/Functor.hs:infixr 0 ^$, ^^$
src/UVMHS/Core/Classes/Functor.hs:infixl 7 ^∘, ^^∘
src/UVMHS/Core/Classes/Order.hs:infix 4 ≡,≢,⋚,≤,≥,<,>
src/UVMHS/Core/VectorStatic.hs:infixl 6 ⋅,✖
src/UVMHS/Core/Init.hs:infixr 0 $
src/UVMHS/Core/Init.hs:infixr 1 ⇰
src/UVMHS/Core/Init.hs:infixl 2 ⩔
src/UVMHS/Core/Init.hs:infixl 3 ⩓
src/UVMHS/Core/Init.hs:infixl 5 ∨
src/UVMHS/Core/Init.hs:infixl 6 ∧
src/UVMHS/Core/Init.hs:infixl 7 ∘
src/UVMHS/Core/Init.hs:infixl 8 :*
src/UVMHS/Core/Init.hs:infixr 8 :&
src/UVMHS/Core/Transformers.hs:infixl 7 ⊡
src/UVMHS/Core/Time.hs:infixl 5 ⨺,⨹
src/UVMHS/Core/Effects.hs:infixl 5 ⊞,⎅
src/UVMHS/Core/Data/Set.hs:infix 4 ⊆,⊇,∈,∉
src/UVMHS/Core/Data/Set.hs:infixl 5 ∪,∖
src/UVMHS/Core/Data/Set.hs:infixl 6 ∩
src/UVMHS/Core/Data/Dict.hs:infixr 1 ↦
src/UVMHS/Core/Data/Lens.hs:infixr 1 ⟢
src/UVMHS/Core/Data/Lens.hs:infixr 1 ⌲