checkmate-0.4.0: Generate checklists relevant to a given patch
Checkmate.Check
data Check Source #
Constructors
Fields
Defined in Checkmate.Check
Methods
(==) :: Check -> Check -> Bool #
(/=) :: Check -> Check -> Bool #
compare :: Check -> Check -> Ordering #
(<) :: Check -> Check -> Bool #
(<=) :: Check -> Check -> Bool #
(>) :: Check -> Check -> Bool #
(>=) :: Check -> Check -> Bool #
max :: Check -> Check -> Check #
min :: Check -> Check -> Check #
showsPrec :: Int -> Check -> ShowS #
show :: Check -> String #
showList :: [Check] -> ShowS #
type Checklist = Set Check Source #
data Scope Source #
(==) :: Scope -> Scope -> Bool #
(/=) :: Scope -> Scope -> Bool #
showsPrec :: Int -> Scope -> ShowS #
show :: Scope -> String #
showList :: [Scope] -> ShowS #
union :: Ord a => Set a -> Set a -> Set a #
O(m*log(n/m + 1)), m <= n. The union of two sets, preferring the first set when equal elements are encountered.