Home
last modified time | relevance | path

Searched refs:strictlyEqOL (Results 1 – 5 of 5) sorted by relevance

/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Data/
H A DOrdList.hs18 strictlyEqOL, strictlyOrdOL
165 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool
166 strictlyEqOL None None = True function
167 strictlyEqOL (One x) (One y) = x == y function
168 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function
169 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function
170 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function
171 strictlyEqOL (Many as) (Many bs) = as == bs function
172 strictlyEqOL _ _ = False function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/utils/
H A DOrdList.hs20 strictlyEqOL, strictlyOrdOL
167 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool
168 strictlyEqOL None None = True function
169 strictlyEqOL (One x) (One y) = x == y function
170 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function
171 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function
172 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function
173 strictlyEqOL (Many as) (Many bs) = as == bs function
174 strictlyEqOL _ _ = False function
/dports/lang/ghc/ghc-8.10.7/compiler/utils/
H A DOrdList.hs20 strictlyEqOL, strictlyOrdOL
167 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool
168 strictlyEqOL None None = True function
169 strictlyEqOL (One x) (One y) = x == y function
170 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function
171 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function
172 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function
173 strictlyEqOL (Many as) (Many bs) = as == bs function
174 strictlyEqOL _ _ = False function
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Data/
H A DOrdList.hs21 strictlyEqOL, strictlyOrdOL
228 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool
229 strictlyEqOL None None = True function
230 strictlyEqOL (One x) (One y) = x == y function
231 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function
232 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function
233 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function
234 strictlyEqOL (Many as) (Many bs) = as == bs function
235 strictlyEqOL _ _ = False function
/dports/lang/ghc/ghc-8.10.7/compiler/nativeGen/
H A DBlockLayout.hs305 BlockChain b1 == BlockChain b2 = strictlyEqOL b1 b2
311 = ASSERT(toList lbls1 /= toList lbls2 || lbls1 `strictlyEqOL` lbls2)