Math.SetCover.Bit

Documentation

class Eq bits => C bits where

This class is similar to the Bits class from the base package but adds keepMinimum and misses the rotation stuff.

Methods

empty :: bits

complement, keepMinimum :: bits -> bits

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

Instances

C Word8

C Word16

C Word32

C Word64

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

data Sum a b

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

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