byteset-0.1.1.2: Set of bytes.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.ByteSet

Description

Inspired in the Data.IntSet API, a similar API where the elements of the set are bytes (values of type Word8).

Synopsis

Types

data ByteSet Source #

Set of bytes (Word8). Note that NF and WHNF are equivalent for values of type ByteSet.

Instances

Instances details
Generic ByteSet Source # 
Instance details

Defined in Data.ByteSet

Associated Types

type Rep ByteSet 
Instance details

Defined in Data.ByteSet

type Rep ByteSet = D1 ('MetaData "ByteSet" "Data.ByteSet" "byteset-0.1.1.2-CNYSlRn9bOV4DKorypSJBU" 'False) (C1 ('MetaCons "ByteSet" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

Methods

from :: ByteSet -> Rep ByteSet x #

to :: Rep ByteSet x -> ByteSet #

Show ByteSet Source # 
Instance details

Defined in Data.ByteSet

Methods

showsPrec :: Int -> ByteSet -> ShowS #

show :: ByteSet -> String #

showList :: [ByteSet] -> ShowS #

Binary ByteSet Source # 
Instance details

Defined in Data.ByteSet

Methods

put :: ByteSet -> Put #

get :: Get ByteSet #

putList :: [ByteSet] -> Put #

Eq ByteSet Source # 
Instance details

Defined in Data.ByteSet

Methods

(==) :: ByteSet -> ByteSet -> Bool #

(/=) :: ByteSet -> ByteSet -> Bool #

Ord ByteSet Source # 
Instance details

Defined in Data.ByteSet

Methods

compare :: ByteSet -> ByteSet -> Ordering #

(<) :: ByteSet -> ByteSet -> Bool #

(<=) :: ByteSet -> ByteSet -> Bool #

(>) :: ByteSet -> ByteSet -> Bool #

(>=) :: ByteSet -> ByteSet -> Bool #

max :: ByteSet -> ByteSet -> ByteSet #

min :: ByteSet -> ByteSet -> ByteSet #

type Rep ByteSet Source # 
Instance details

Defined in Data.ByteSet

type Rep ByteSet = D1 ('MetaData "ByteSet" "Data.ByteSet" "byteset-0.1.1.2-CNYSlRn9bOV4DKorypSJBU" 'False) (C1 ('MetaCons "ByteSet" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data Word8 #

8-bit unsigned integer type

Instances

Instances details
Data Word8

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word8 -> c Word8 #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word8 #

toConstr :: Word8 -> Constr #

dataTypeOf :: Word8 -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word8) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word8) #

gmapT :: (forall b. Data b => b -> b) -> Word8 -> Word8 #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r #

gmapQ :: (forall d. Data d => d -> u) -> Word8 -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word8 -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 #

Storable Word8

Since: base-2.1

Instance details

Defined in Foreign.Storable

Methods

sizeOf :: Word8 -> Int #

alignment :: Word8 -> Int #

peekElemOff :: Ptr Word8 -> Int -> IO Word8 #

pokeElemOff :: Ptr Word8 -> Int -> Word8 -> IO () #

peekByteOff :: Ptr b -> Int -> IO Word8 #

pokeByteOff :: Ptr b -> Int -> Word8 -> IO () #

peek :: Ptr Word8 -> IO Word8 #

poke :: Ptr Word8 -> Word8 -> IO () #

Bits Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

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

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

xor :: Word8 -> Word8 -> Word8 #

complement :: Word8 -> Word8 #

shift :: Word8 -> Int -> Word8 #

rotate :: Word8 -> Int -> Word8 #

zeroBits :: Word8 #

bit :: Int -> Word8 #

setBit :: Word8 -> Int -> Word8 #

clearBit :: Word8 -> Int -> Word8 #

complementBit :: Word8 -> Int -> Word8 #

testBit :: Word8 -> Int -> Bool #

bitSizeMaybe :: Word8 -> Maybe Int #

bitSize :: Word8 -> Int #

isSigned :: Word8 -> Bool #

shiftL :: Word8 -> Int -> Word8 #

unsafeShiftL :: Word8 -> Int -> Word8 #

shiftR :: Word8 -> Int -> Word8 #

unsafeShiftR :: Word8 -> Int -> Word8 #

rotateL :: Word8 -> Int -> Word8 #

rotateR :: Word8 -> Int -> Word8 #

popCount :: Word8 -> Int #

FiniteBits Word8

Since: base-4.6.0.0

Instance details

Defined in GHC.Word

Methods

finiteBitSize :: Word8 -> Int #

countLeadingZeros :: Word8 -> Int #

countTrailingZeros :: Word8 -> Int #

Bounded Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

minBound :: Word8 #

maxBound :: Word8 #

Enum Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

succ :: Word8 -> Word8 #

pred :: Word8 -> Word8 #

toEnum :: Int -> Word8 #

fromEnum :: Word8 -> Int #

enumFrom :: Word8 -> [Word8] #

enumFromThen :: Word8 -> Word8 -> [Word8] #

enumFromTo :: Word8 -> Word8 -> [Word8] #

enumFromThenTo :: Word8 -> Word8 -> Word8 -> [Word8] #

Ix Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

range :: (Word8, Word8) -> [Word8] #

index :: (Word8, Word8) -> Word8 -> Int #

unsafeIndex :: (Word8, Word8) -> Word8 -> Int #

inRange :: (Word8, Word8) -> Word8 -> Bool #

rangeSize :: (Word8, Word8) -> Int #

unsafeRangeSize :: (Word8, Word8) -> Int #

Num Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

(+) :: Word8 -> Word8 -> Word8 #

(-) :: Word8 -> Word8 -> Word8 #

(*) :: Word8 -> Word8 -> Word8 #

negate :: Word8 -> Word8 #

abs :: Word8 -> Word8 #

signum :: Word8 -> Word8 #

fromInteger :: Integer -> Word8 #

Read Word8

Since: base-2.1

Instance details

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS Word8 #

readList :: ReadS [Word8] #

readPrec :: ReadPrec Word8 #

readListPrec :: ReadPrec [Word8] #

Integral Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

quot :: Word8 -> Word8 -> Word8 #

rem :: Word8 -> Word8 -> Word8 #

div :: Word8 -> Word8 -> Word8 #

mod :: Word8 -> Word8 -> Word8 #

quotRem :: Word8 -> Word8 -> (Word8, Word8) #

divMod :: Word8 -> Word8 -> (Word8, Word8) #

toInteger :: Word8 -> Integer #

Real Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

toRational :: Word8 -> Rational #

Show Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

showsPrec :: Int -> Word8 -> ShowS #

show :: Word8 -> String #

showList :: [Word8] -> ShowS #

PrintfArg Word8

Since: base-2.1

Instance details

Defined in Text.Printf

Methods

formatArg :: Word8 -> FieldFormatter #

parseFormat :: Word8 -> ModifierParser #

Binary Word8 
Instance details

Defined in Data.Binary.Class

Methods

put :: Word8 -> Put #

get :: Get Word8 #

putList :: [Word8] -> Put #

NFData Word8 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word8 -> () #

Eq Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

(==) :: Word8 -> Word8 -> Bool #

(/=) :: Word8 -> Word8 -> Bool #

Ord Word8

Since: base-2.1

Instance details

Defined in GHC.Word

Methods

compare :: Word8 -> Word8 -> Ordering #

(<) :: Word8 -> Word8 -> Bool #

(<=) :: Word8 -> Word8 -> Bool #

(>) :: Word8 -> Word8 -> Bool #

(>=) :: Word8 -> Word8 -> Bool #

max :: Word8 -> Word8 -> Word8 #

min :: Word8 -> Word8 -> Word8 #

Lift Word8 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word8 -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Word8 -> Code m Word8 #

Query

null :: ByteSet -> Bool Source #

O(1). Is the byteset empty?

size :: ByteSet -> Int Source #

O(1). Cardinality of the byteset.

member :: Word8 -> ByteSet -> Bool Source #

O(1). Is the value a member of the byteset?

notMember :: Word8 -> ByteSet -> Bool Source #

O(1). Is the element not in the set?

Construction

empty :: ByteSet Source #

O(1). The empty byteset.

singleton :: Word8 -> ByteSet Source #

O(1). A byteset of one element.

insert :: Word8 -> ByteSet -> ByteSet Source #

O(1). Add a value to the byteset.

delete :: Word8 -> ByteSet -> ByteSet Source #

O(1). Delete a byte in the byteset. Returns the original byteset when the byte was not present.

Combine

union :: ByteSet -> ByteSet -> ByteSet Source #

O(1). The union of two bytesets.

unions :: [ByteSet] -> ByteSet Source #

The union of a list of bytesets. Just a fold over the list using union.

difference :: ByteSet -> ByteSet -> ByteSet Source #

O(1). Difference between two bytesets.

intersection :: ByteSet -> ByteSet -> ByteSet Source #

O(1). The intersection of two bytesets.

Filter

filter :: (Word8 -> Bool) -> ByteSet -> ByteSet Source #

O(n). Filter all elements that satisfy some predicate.

Map

map :: (Word8 -> Word8) -> ByteSet -> ByteSet Source #

O(n). Map a function over a byteset.

Folds

foldr :: (Word8 -> a -> a) -> a -> ByteSet -> a Source #

O(n). Fold the elements in the byteset using the given right-associative binary operator.

List conversion

elems :: ByteSet -> [Word8] Source #

O(n). The elements of a byteset in ascending order.

toList :: ByteSet -> [Word8] Source #

O(n). An alias of elems.

fromList :: [Word8] -> ByteSet Source #

O(n). Create a byteset from a list of bytes.