HaskellWorks.Data.Bits.BitWise

Succinct operations.

Bit map

class BitWise a where

Class of values that have bit wise logical operations

Minimal complete definition

(.&.), (.|.), (.^.), comp, all0s, all1s

Methods

(.&.) :: a -> a -> a infixl 7

Bit wise AND

(.|.) :: a -> a -> a infixl 5

Bit wise OR

(.^.) :: a -> a -> a infixl 6

Bit wise XOR

comp :: a -> a

Bit wise complement

all0s :: a

Bit-wise value of the given type with all bits set to zero

all1s :: a

Bit-wise value of the given type with all bits set to one

Instances

BitWise Int

Methods

(.&.) :: Int -> Int -> Int

(.|.) :: Int -> Int -> Int

(.^.) :: Int -> Int -> Int

comp :: Int -> Int

all0s :: Int

all1s :: Int

BitWise Word8

Methods

(.&.) :: Word8 -> Word8 -> Word8

(.|.) :: Word8 -> Word8 -> Word8

(.^.) :: Word8 -> Word8 -> Word8

comp :: Word8 -> Word8

all0s :: Word8

all1s :: Word8

BitWise Word16

Methods

(.&.) :: Word16 -> Word16 -> Word16

(.|.) :: Word16 -> Word16 -> Word16

(.^.) :: Word16 -> Word16 -> Word16

comp :: Word16 -> Word16

all0s :: Word16

all1s :: Word16

BitWise Word32

Methods

(.&.) :: Word32 -> Word32 -> Word32

(.|.) :: Word32 -> Word32 -> Word32

(.^.) :: Word32 -> Word32 -> Word32

comp :: Word32 -> Word32

all0s :: Word32

all1s :: Word32

BitWise Word64

Methods

(.&.) :: Word64 -> Word64 -> Word64

(.|.) :: Word64 -> Word64 -> Word64

(.^.) :: Word64 -> Word64 -> Word64

comp :: Word64 -> Word64

all0s :: Word64

all1s :: Word64

BitWise a => BitWise (Broadword a)

Methods

(.&.) :: Broadword a -> Broadword a -> Broadword a

(.|.) :: Broadword a -> Broadword a -> Broadword a

(.^.) :: Broadword a -> Broadword a -> Broadword a

comp :: Broadword a -> Broadword a

all0s :: Broadword a

all1s :: Broadword a

BitWise a => BitWise (Builtin a)

Methods

(.&.) :: Builtin a -> Builtin a -> Builtin a

(.|.) :: Builtin a -> Builtin a -> Builtin a

(.^.) :: Builtin a -> Builtin a -> Builtin a

comp :: Builtin a -> Builtin a

all0s :: Builtin a

all1s :: Builtin a

class Shift a where

Class of values that have shift operations

Minimal complete definition

(.<.), (.>.)

Methods

(.<.) :: a -> Count -> a infixl 8

Shift left by the specified count

(.>.) :: a -> Count -> a infixl 8

Shift right by the specified count

Instances

Shift Int

Methods

(.<.) :: Int -> Count -> Int

(.>.) :: Int -> Count -> Int

Shift Word8

Methods

(.<.) :: Word8 -> Count -> Word8

(.>.) :: Word8 -> Count -> Word8

Shift Word16

Methods

(.<.) :: Word16 -> Count -> Word16

(.>.) :: Word16 -> Count -> Word16

Shift Word32

Methods

(.<.) :: Word32 -> Count -> Word32

(.>.) :: Word32 -> Count -> Word32

Shift Word64

Methods

(.<.) :: Word64 -> Count -> Word64

(.>.) :: Word64 -> Count -> Word64

class TestBit a where

Minimal complete definition

(.?.)

Methods

(.?.) :: a -> Position -> Bool infixl 9

Test whether the bit ad the given offset is set

Instances

TestBit Bool

Methods

(.?.) :: Bool -> Position -> Bool

TestBit Int

Methods

(.?.) :: Int -> Position -> Bool

TestBit Word8

Methods

(.?.) :: Word8 -> Position -> Bool

TestBit Word16

Methods

(.?.) :: Word16 -> Position -> Bool

TestBit Word32

Methods

(.?.) :: Word32 -> Position -> Bool

TestBit Word64

Methods

(.?.) :: Word64 -> Position -> Bool

TestBit [Bool]

Methods

(.?.) :: [Bool] -> Position -> Bool

TestBit (Naive Word8)

Methods

(.?.) :: Naive Word8 -> Position -> Bool

TestBit (Naive Word16)

Methods

(.?.) :: Naive Word16 -> Position -> Bool

TestBit (Naive Word32)

Methods

(.?.) :: Naive Word32 -> Position -> Bool

TestBit (Naive Word64)

Methods

(.?.) :: Naive Word64 -> Position -> Bool

TestBit (Vector Word8)

Methods

(.?.) :: Vector Word8 -> Position -> Bool

TestBit (Vector Word16)

Methods

(.?.) :: Vector Word16 -> Position -> Bool

TestBit (Vector Word32)

Methods

(.?.) :: Vector Word32 -> Position -> Bool

TestBit (Vector Word64)

Methods

(.?.) :: Vector Word64 -> Position -> Bool

TestBit (Vector Word8)

Methods

(.?.) :: Vector Word8 -> Position -> Bool

TestBit (Vector Word16)

Methods

(.?.) :: Vector Word16 -> Position -> Bool

TestBit (Vector Word32)

Methods

(.?.) :: Vector Word32 -> Position -> Bool

TestBit (Vector Word64)

Methods

(.?.) :: Vector Word64 -> Position -> Bool

TestBit a => TestBit (BitShown a)

Methods

(.?.) :: BitShown a -> Position -> Bool