Searched refs:strictlyEqOL (Results 1 – 5 of 5) sorted by relevance
18 strictlyEqOL, strictlyOrdOL165 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool166 strictlyEqOL None None = True function167 strictlyEqOL (One x) (One y) = x == y function168 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function169 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function170 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function171 strictlyEqOL (Many as) (Many bs) = as == bs function172 strictlyEqOL _ _ = False function
20 strictlyEqOL, strictlyOrdOL167 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool168 strictlyEqOL None None = True function169 strictlyEqOL (One x) (One y) = x == y function170 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function171 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function172 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function173 strictlyEqOL (Many as) (Many bs) = as == bs function174 strictlyEqOL _ _ = False function
21 strictlyEqOL, strictlyOrdOL228 strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool229 strictlyEqOL None None = True function230 strictlyEqOL (One x) (One y) = x == y function231 strictlyEqOL (Cons a as) (Cons b bs) = a == b && as `strictlyEqOL` bs function232 strictlyEqOL (Snoc as a) (Snoc bs b) = a == b && as `strictlyEqOL` bs function233 strictlyEqOL (Two a1 a2) (Two b1 b2) = a1 `strictlyEqOL` b1 && a2 `strictlyEqOL` b2 function234 strictlyEqOL (Many as) (Many bs) = as == bs function235 strictlyEqOL _ _ = False function
305 BlockChain b1 == BlockChain b2 = strictlyEqOL b1 b2311 = ASSERT(toList lbls1 /= toList lbls2 || lbls1 `strictlyEqOL` lbls2)