set-cover-0.0.5: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube

Safe HaskellSafe-Inferred
LanguageHaskell98

Math.SetCover.Bit

Documentation

class Eq bits => C bits where Source

Methods

empty :: bits Source

complement, keepMinimum :: bits -> bits Source

xor, (.|.), (.&.) :: bits -> bits -> bits infixl 7 .&.infixl 5 .|. Source

Instances

C Word8 
C Word16 
C Word32 
C Word64 
(C a, C b) => C (Sum a b) 

data Sum a b Source

Constructors

Sum !a !b 

Instances

(Eq a, Eq b) => Eq (Sum a b) 
(Show a, Show b) => Show (Sum a b) 
(C a, C b) => C (Sum a b) 

bitLeft :: (Bits a, C b) => Int -> Sum a b Source

bitRight :: (C a, Bits b) => Int -> Sum a b Source