Math.SetCover.BitSet

Documentation

newtype Set bits

Constructors

Set

Fields

• getBits :: bits

Instances

C bits => Monoid (Set bits)

Defined in Math.SetCover.BitSet

Methods

mempty :: Set bits

mappend :: Set bits -> Set bits -> Set bits

mconcat :: [Set bits] -> Set bits

C bits => Semigroup (Set bits)

Defined in Math.SetCover.BitSet

Methods

(<>) :: Set bits -> Set bits -> Set bits

sconcat :: NonEmpty (Set bits) -> Set bits

stimes :: Integral b => b -> Set bits -> Set bits

Show bits => Show (Set bits)

Defined in Math.SetCover.BitSet

Methods

showsPrec :: Int -> Set bits -> ShowS

show :: Set bits -> String

showList :: [Set bits] -> ShowS

Eq bits => Eq (Set bits)

Defined in Math.SetCover.BitSet

Methods

(==) :: Set bits -> Set bits -> Bool

(/=) :: Set bits -> Set bits -> Bool

Ord bits => Ord (Set bits)

Defined in Math.SetCover.BitSet

Methods

compare :: Set bits -> Set bits -> Ordering

(<) :: Set bits -> Set bits -> Bool

(<=) :: Set bits -> Set bits -> Bool

(>) :: Set bits -> Set bits -> Bool

(>=) :: Set bits -> Set bits -> Bool

max :: Set bits -> Set bits -> Set bits

min :: Set bits -> Set bits -> Set bits

C a => Choose (Set a)

Defined in Math.SetCover.Exact

Methods

chooseMinimize :: Set a -> [Assign label (Set a)] -> (Set a, [Assign label (Set a)])

C a => Set (Set a)

Defined in Math.SetCover.Exact

Methods

null :: Set a -> Bool

disjoint :: Set a -> Set a -> Bool

unions :: [Set a] -> Set a

difference :: Set a -> Set a -> Set a

minimize :: Set a -> [Assign label (Set a)] -> [Assign label (Set a)]

empty :: C bits => Set bits

null :: C bits => Set bits -> Bool

keepMinimum :: C bits => Set bits -> Set bits

disjoint :: C bits => Set bits -> Set bits -> Bool

difference :: C bits => Set bits -> Set bits -> Set bits