Math.SetCover.Bit

Documentation

class Eq bits => C bits where

Methods

empty :: bits

complement, keepMinimum :: bits -> bits

xor, (.|.), (.&.) :: bits -> bits -> bits

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