Safe Haskell	Safe-Inferred
Language	Haskell2010

Sasha.Internal.Word8Set

Contents

Set type
Construction
Insertion
Deletion
Query
Combine
Min/Max
Conversion to List

Synopsis

data Word8Set
type Key = Word8
empty :: Word8Set
full :: Word8Set
singleton :: Word8 -> Word8Set
range :: Word8 -> Word8 -> Word8Set
fromList :: [Word8] -> Word8Set
insert :: Word8 -> Word8Set -> Word8Set
delete :: Word8 -> Word8Set -> Word8Set
member :: Word8 -> Word8Set -> Bool
memberCode :: Code Q Word8 -> Word8Set -> Code Q Bool
isSubsetOf :: Word8Set -> Word8Set -> Bool
null :: Word8Set -> Bool
isFull :: Word8Set -> Bool
isSingleRange :: Word8Set -> Bool
size :: Word8Set -> Int
union :: Word8Set -> Word8Set -> Word8Set
intersection :: Word8Set -> Word8Set -> Word8Set
complement :: Word8Set -> Word8Set
findMin :: Word8Set -> Word8
findMax :: Word8Set -> Word8
elems :: Word8Set -> [Word8]
toList :: Word8Set -> [Word8]

Set type

data Word8Set Source #

Instances

Instances details

Arbitrary Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods arbitrary :: Gen Word8Set # shrink :: Word8Set -> [Word8Set] #
Monoid Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods mempty :: Word8Set # mappend :: Word8Set -> Word8Set -> Word8Set # mconcat :: [Word8Set] -> Word8Set #
Semigroup Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods (<>) :: Word8Set -> Word8Set -> Word8Set # sconcat :: NonEmpty Word8Set -> Word8Set # stimes :: Integral b => b -> Word8Set -> Word8Set #
Show Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods showsPrec :: Int -> Word8Set -> ShowS # show :: Word8Set -> String # showList :: [Word8Set] -> ShowS #
Eq Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods (==) :: Word8Set -> Word8Set -> Bool # (/=) :: Word8Set -> Word8Set -> Bool #
Ord Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods compare :: Word8Set -> Word8Set -> Ordering # (<) :: Word8Set -> Word8Set -> Bool # (<=) :: Word8Set -> Word8Set -> Bool # (>) :: Word8Set -> Word8Set -> Bool # (>=) :: Word8Set -> Word8Set -> Bool # max :: Word8Set -> Word8Set -> Word8Set # min :: Word8Set -> Word8Set -> Word8Set #
BoundedJoinSemiLattice Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods bottom :: Word8Set #
BoundedMeetSemiLattice Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods top :: Word8Set #
Lattice Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods (\/) :: Word8Set -> Word8Set -> Word8Set # (/\) :: Word8Set -> Word8Set -> Word8Set #
Lift Word8Set Source #
Instance details Defined in Sasha.Internal.Word8Set Methods lift :: Quote m => Word8Set -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Word8Set -> Code m Word8Set #

type Key = Word8 Source #

Construction

empty :: Word8Set Source #

full :: Word8Set Source #

singleton :: Word8 -> Word8Set Source #

range :: Word8 -> Word8 -> Word8Set Source #

fromList :: [Word8] -> Word8Set Source #

Insertion

insert :: Word8 -> Word8Set -> Word8Set Source #

Deletion

delete :: Word8 -> Word8Set -> Word8Set Source #

Query

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

memberCode :: Code Q Word8 -> Word8Set -> Code Q Bool Source #

Optimized routing to check membership when Word8Set is statically known.

memberCode c ws = [||member $$c $$(liftTyped ws) ||]

isSubsetOf :: Word8Set -> Word8Set -> Bool Source #

null :: Word8Set -> Bool Source #

isFull :: Word8Set -> Bool Source #

isSingleRange :: Word8Set -> Bool Source #

size :: Word8Set -> Int Source #

Combine

union :: Word8Set -> Word8Set -> Word8Set Source #

intersection :: Word8Set -> Word8Set -> Word8Set Source #

complement :: Word8Set -> Word8Set Source #

Min/Max

findMin :: Word8Set -> Word8 Source #

findMax :: Word8Set -> Word8 Source #

Conversion to List

elems :: Word8Set -> [Word8] Source #

toList :: Word8Set -> [Word8] Source #