alg-0.2.10.0: Algebraic structures

Safe HaskellNone
LanguageHaskell2010

Data.BitSet

Documentation

newtype BitSet a Source #

Constructors

BitSet 

Fields

Instances
Eq a => Eq (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

(==) :: BitSet a -> BitSet a -> Bool #

(/=) :: BitSet a -> BitSet a -> Bool #

Read a => Read (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Show a => Show (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

showsPrec :: Int -> BitSet a -> ShowS #

show :: BitSet a -> String #

showList :: [BitSet a] -> ShowS #

Bits a => Semigroup (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

(<>) :: Min (BitSet a) -> Min (BitSet a) -> Min (BitSet a) #

sconcat :: NonEmpty (Min (BitSet a)) -> Min (BitSet a) #

stimes :: Integral b => b -> Min (BitSet a) -> Min (BitSet a) #

Bits a => Semigroup (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

(<>) :: Max (BitSet a) -> Max (BitSet a) -> Max (BitSet a) #

sconcat :: NonEmpty (Max (BitSet a)) -> Max (BitSet a) #

stimes :: Integral b => b -> Max (BitSet a) -> Max (BitSet a) #

Bits a => Semigroup (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

(<>) :: BitSet a -> BitSet a -> BitSet a #

sconcat :: NonEmpty (BitSet a) -> BitSet a #

stimes :: Integral b => b -> BitSet a -> BitSet a #

Bits a => Monoid (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

mempty :: Min (BitSet a) #

mappend :: Min (BitSet a) -> Min (BitSet a) -> Min (BitSet a) #

mconcat :: [Min (BitSet a)] -> Min (BitSet a) #

Bits a => Monoid (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

mempty :: Max (BitSet a) #

mappend :: Max (BitSet a) -> Max (BitSet a) -> Max (BitSet a) #

mconcat :: [Max (BitSet a)] -> Max (BitSet a) #

Bits a => Monoid (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

mempty :: BitSet a #

mappend :: BitSet a -> BitSet a -> BitSet a #

mconcat :: [BitSet a] -> BitSet a #

Bits a => Bits (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

(.&.) :: BitSet a -> BitSet a -> BitSet a #

(.|.) :: BitSet a -> BitSet a -> BitSet a #

xor :: BitSet a -> BitSet a -> BitSet a #

complement :: BitSet a -> BitSet a #

shift :: BitSet a -> Int -> BitSet a #

rotate :: BitSet a -> Int -> BitSet a #

zeroBits :: BitSet a #

bit :: Int -> BitSet a #

setBit :: BitSet a -> Int -> BitSet a #

clearBit :: BitSet a -> Int -> BitSet a #

complementBit :: BitSet a -> Int -> BitSet a #

testBit :: BitSet a -> Int -> Bool #

bitSizeMaybe :: BitSet a -> Maybe Int #

bitSize :: BitSet a -> Int #

isSigned :: BitSet a -> Bool #

shiftL :: BitSet a -> Int -> BitSet a #

unsafeShiftL :: BitSet a -> Int -> BitSet a #

shiftR :: BitSet a -> Int -> BitSet a #

unsafeShiftR :: BitSet a -> Int -> BitSet a #

rotateL :: BitSet a -> Int -> BitSet a #

rotateR :: BitSet a -> Int -> BitSet a #

popCount :: BitSet a -> Int #

FiniteBits a => FiniteBits (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Bits a => Group (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

invert :: BitSet a -> BitSet a Source #

Bits a => Idempotent (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Bits a => Idempotent (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Bits a => Abelian (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Bits a => Abelian (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Bits a => Abelian (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Bits a => Monus (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

monus :: Min (BitSet a) -> Min (BitSet a) -> Min (BitSet a) Source #

Bits a => Monus (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

monus :: Max (BitSet a) -> Max (BitSet a) -> Max (BitSet a) Source #

Bits a => PartialOrd (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

tryCompare :: Min (BitSet a) -> Min (BitSet a) -> Maybe Ordering Source #

Bits a => PartialOrd (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

tryCompare :: Max (BitSet a) -> Max (BitSet a) -> Maybe Ordering Source #

Bits a => PartialOrd (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Bits a => Eq (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Bits a => Eq (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Bits a => Eq (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Bits a => PartialEq (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

(≡) :: Min (BitSet a) -> Min (BitSet a) -> Bool Source #

(≢) :: Min (BitSet a) -> Min (BitSet a) -> Bool Source #

Bits a => PartialEq (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

(≡) :: Max (BitSet a) -> Max (BitSet a) -> Bool Source #

(≢) :: Max (BitSet a) -> Max (BitSet a) -> Bool Source #

Bits a => PartialEq (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

(≡) :: BitSet a -> BitSet a -> Bool Source #

(≢) :: BitSet a -> BitSet a -> Bool Source #

Bits a => Preord (Min (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

(≤) :: Min (BitSet a) -> Min (BitSet a) -> Bool Source #

(≥) :: Min (BitSet a) -> Min (BitSet a) -> Bool Source #

(<) :: Min (BitSet a) -> Min (BitSet a) -> Bool Source #

(>) :: Min (BitSet a) -> Min (BitSet a) -> Bool Source #

Bits a => Preord (Max (BitSet a)) Source # 
Instance details

Defined in Data.BitSet

Methods

(≤) :: Max (BitSet a) -> Max (BitSet a) -> Bool Source #

(≥) :: Max (BitSet a) -> Max (BitSet a) -> Bool Source #

(<) :: Max (BitSet a) -> Max (BitSet a) -> Bool Source #

(>) :: Max (BitSet a) -> Max (BitSet a) -> Bool Source #

Bits a => Preord (BitSet a) Source # 
Instance details

Defined in Data.BitSet

Methods

(≤) :: BitSet a -> BitSet a -> Bool Source #

(≥) :: BitSet a -> BitSet a -> Bool Source #

(<) :: BitSet a -> BitSet a -> Bool Source #

(>) :: BitSet a -> BitSet a -> Bool Source #

rangeInclusive :: (PartialOrd a, Bits a, Alternative f) => a -> a -> f a Source #

(.&?¬) :: (PartialOrd a, Bits a) => a -> a -> Maybe a Source #