Safe Haskell	Safe
Language	Haskell98

Math.SetCover.Bit

Synopsis

Documentation

class Ord bits => C bits where Source #

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

Minimal complete definition

empty, complement, keepMinimum, xor, (.&.), (.|.)

Methods

empty :: bits Source #

complement :: bits -> bits Source #

keepMinimum :: bits -> bits Source #

xor :: bits -> bits -> bits Source #

(.&.) :: bits -> bits -> bits infixl 7 Source #

(.|.) :: bits -> bits -> bits infixl 5 Source #

Instances

C Integer Source #
Methods empty :: Integer Source # complement :: Integer -> Integer Source # keepMinimum :: Integer -> Integer Source # xor :: Integer -> Integer -> Integer Source # (.&.) :: Integer -> Integer -> Integer Source # (.\|.) :: Integer -> Integer -> Integer Source #
C Word8 Source #
Methods empty :: Word8 Source # complement :: Word8 -> Word8 Source # keepMinimum :: Word8 -> Word8 Source # xor :: Word8 -> Word8 -> Word8 Source # (.&.) :: Word8 -> Word8 -> Word8 Source # (.\|.) :: Word8 -> Word8 -> Word8 Source #
C Word16 Source #
Methods empty :: Word16 Source # complement :: Word16 -> Word16 Source # keepMinimum :: Word16 -> Word16 Source # xor :: Word16 -> Word16 -> Word16 Source # (.&.) :: Word16 -> Word16 -> Word16 Source # (.\|.) :: Word16 -> Word16 -> Word16 Source #
C Word32 Source #
Methods empty :: Word32 Source # complement :: Word32 -> Word32 Source # keepMinimum :: Word32 -> Word32 Source # xor :: Word32 -> Word32 -> Word32 Source # (.&.) :: Word32 -> Word32 -> Word32 Source # (.\|.) :: Word32 -> Word32 -> Word32 Source #
C Word64 Source #
Methods empty :: Word64 Source # complement :: Word64 -> Word64 Source # keepMinimum :: Word64 -> Word64 Source # xor :: Word64 -> Word64 -> Word64 Source # (.&.) :: Word64 -> Word64 -> Word64 Source # (.\|.) :: Word64 -> Word64 -> Word64 Source #
(C a, C b) => C (Sum a b) Source #
Methods empty :: Sum a b Source # complement :: Sum a b -> Sum a b Source # keepMinimum :: Sum a b -> Sum a b Source # xor :: Sum a b -> Sum a b -> Sum a b Source # (.&.) :: Sum a b -> Sum a b -> Sum a b Source # (.\|.) :: Sum a b -> Sum a b -> Sum a b Source #

difference :: C bits => bits -> bits -> bits Source #

data Sum a b Source #

Constructors

Sum !a !b

Instances

(Eq b, Eq a) => Eq (Sum a b) Source #
Methods (==) :: Sum a b -> Sum a b -> Bool # (/=) :: Sum a b -> Sum a b -> Bool #
(Ord b, Ord a) => Ord (Sum a b) Source #
Methods compare :: Sum a b -> Sum a b -> Ordering # (<) :: Sum a b -> Sum a b -> Bool # (<=) :: Sum a b -> Sum a b -> Bool # (>) :: Sum a b -> Sum a b -> Bool # (>=) :: Sum a b -> Sum a b -> Bool # max :: Sum a b -> Sum a b -> Sum a b # min :: Sum a b -> Sum a b -> Sum a b #
(Show b, Show a) => Show (Sum a b) Source #
Methods showsPrec :: Int -> Sum a b -> ShowS # show :: Sum a b -> String # showList :: [Sum a b] -> ShowS #
(C a, C b) => C (Sum a b) Source #
Methods empty :: Sum a b Source # complement :: Sum a b -> Sum a b Source # keepMinimum :: Sum a b -> Sum a b Source # xor :: Sum a b -> Sum a b -> Sum a b Source # (.&.) :: Sum a b -> Sum a b -> Sum a b Source # (.\|.) :: Sum a b -> Sum a b -> Sum a b Source #
(Integral a, C a, C b) => C (Sum a b) Source #	Instantiating `a` with `Integer` will end badly because it has no fixed size!
Methods bit :: Int -> Sum a b bitPositionPlain :: Sum a b -> Int unpack :: Set (Sum a b) -> [Int] Source #

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

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