Lines Matching refs:EQ
126 (succ LT) = EQ
127 (succ (minBound::Ordering)) = EQ
129 (pred GT) = EQ
130 (pred (maxBound::Ordering)) = EQ
135 (fromEnum EQ) = 1
137 ([LT ..]) = [LT,EQ,GT]
138 ([EQ ..]) = [EQ,GT]
140 ([LT,EQ ..]) = [LT,EQ,GT]
141 ([EQ,GT ..]) = [EQ,GT]
142 ([EQ,LT ..]) = [EQ,LT]
147 ([LT .. GT]) = [LT,EQ,GT]
148 ([LT .. EQ]) = [LT,EQ]
151 ([GT .. EQ]) = []
153 ([LT,EQ .. GT]) = [LT,EQ,GT]
154 ([GT,EQ .. LT]) = [GT,EQ,LT]
155 ([GT,EQ .. EQ]) = [GT,EQ]
156 ([GT,EQ .. GT]) = [GT]
157 ([GT,EQ .. LT]) = [GT,EQ,LT]
158 ([LT,EQ .. LT]) = [LT]
159 ([LT,EQ .. GT]) = [LT,EQ,GT]