Lang.Crucible.Utils.BitSet

This module provides a simple bitset datastructure built on top of GHC-native Integers.

Documentation

data BitSet a

Instances

Show (BitSet a)

Defined in Lang.Crucible.Utils.BitSet

Methods

showsPrec :: Int -> BitSet a -> ShowS

show :: BitSet a -> String

showList :: [BitSet a] -> ShowS

Eq (BitSet a)

Defined in Lang.Crucible.Utils.BitSet

Methods

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

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

Ord (BitSet a)

Defined in Lang.Crucible.Utils.BitSet

Methods

compare :: BitSet a -> BitSet a -> Ordering

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

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

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

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

max :: BitSet a -> BitSet a -> BitSet a

min :: BitSet a -> BitSet a -> BitSet a

Hashable (BitSet a)

Defined in Lang.Crucible.Utils.BitSet

Methods

hashWithSalt :: Int -> BitSet a -> Int

hash :: BitSet a -> Int

getBits :: BitSet a -> Integer

empty :: BitSet a

null :: BitSet a -> Bool

singleton :: Enum a => a -> BitSet a

insert :: Enum a => a -> BitSet a -> BitSet a

remove :: Enum a => a -> BitSet a -> BitSet a

size :: BitSet a -> Int

member :: Enum a => a -> BitSet a -> Bool

isSubsetOf :: BitSet a -> BitSet a -> Bool

difference :: BitSet a -> BitSet a -> BitSet a

intersection :: BitSet a -> BitSet a -> BitSet a

union :: BitSet a -> BitSet a -> BitSet a

toList :: Enum a => BitSet a -> [a]

foldr :: Enum a => (a -> b -> b) -> b -> BitSet a -> b

foldl :: Enum a => (b -> a -> b) -> b -> BitSet a -> b

foldl' :: Enum a => (b -> a -> b) -> b -> BitSet a -> b