Safe Haskell	None
Language	Haskell2010

HaskellWorks.Data.RankSelect.BitSeq

Synopsis

newtype BitSeq = BitSeq {
- parens :: BitSeqFt
}
mempty :: Monoid a => a
size :: BitSeq -> Count
fromWord64s :: Traversable f => f Word64 -> BitSeq
fromPartialWord64s :: Traversable f => f (Word64, Count) -> BitSeq
toPartialWord64s :: BitSeq -> [(Word64, Count)]
fromBools :: [Bool] -> BitSeq
toBools :: BitSeq -> [Bool]
splitAt :: Count -> BitSeq -> (BitSeq, BitSeq)
take :: Count -> BitSeq -> BitSeq
drop :: Count -> BitSeq -> BitSeq
(<|) :: Cons v => Elem v -> v -> v
(><) :: (Semigroup v, Container v) => v -> v -> v
(|>) :: Snoc v => v -> Elem v -> v
select1 :: Select1 v => v -> Count -> Count

Documentation

newtype BitSeq Source #

Constructors

BitSeq
Fields parens :: BitSeqFt

Instances

Instances details

Show BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods showsPrec :: Int -> BitSeq -> ShowS # show :: BitSeq -> String # showList :: [BitSeq] -> ShowS #
Generic BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Associated Types type Rep BitSeq :: Type -> Type # Methods from :: BitSeq -> Rep BitSeq x # to :: Rep BitSeq x -> BitSeq #
Semigroup BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods (<>) :: BitSeq -> BitSeq -> BitSeq # sconcat :: NonEmpty BitSeq -> BitSeq # stimes :: Integral b => b -> BitSeq -> BitSeq #
NFData BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods rnf :: BitSeq -> () #
PopCount1 BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods popCount1 :: BitSeq -> Count #
Snoc BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods snoc :: BitSeq -> Elem BitSeq -> BitSeq #
Cons BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods cons :: Elem BitSeq -> BitSeq -> BitSeq #
Container BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Associated Types type Elem BitSeq #
Select1 BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods select1 :: BitSeq -> Count -> Count #
Rank1 BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods rank1 :: BitSeq -> Count -> Count #
type Rep BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq type Rep BitSeq = D1 ('MetaData "BitSeq" "HaskellWorks.Data.RankSelect.Internal.BitSeq" "hw-rankselect-0.13.4.1-13ozP8Oue3m9kAKr19AkYG" 'True) (C1 ('MetaCons "BitSeq" 'PrefixI 'True) (S1 ('MetaSel ('Just "parens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitSeqFt)))
type Elem BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq type Elem BitSeq = Bool

mempty :: Monoid a => a #

Identity of mappend

>>> "Hello world" <> mempty
"Hello world"

size :: BitSeq -> Count Source #

fromWord64s :: Traversable f => f Word64 -> BitSeq Source #

fromPartialWord64s :: Traversable f => f (Word64, Count) -> BitSeq Source #

toPartialWord64s :: BitSeq -> [(Word64, Count)] Source #

fromBools :: [Bool] -> BitSeq Source #

toBools :: BitSeq -> [Bool] Source #

splitAt :: Count -> BitSeq -> (BitSeq, BitSeq) Source #

take :: Count -> BitSeq -> BitSeq Source #

drop :: Count -> BitSeq -> BitSeq Source #

(<|) :: Cons v => Elem v -> v -> v infixr 5 #

(><) :: (Semigroup v, Container v) => v -> v -> v infixr 5 #

(|>) :: Snoc v => v -> Elem v -> v infixl 5 #

select1 #

Arguments

:: Select1 v
=> v	The bitstring
-> Count	The number of ones
-> Count

Find length of the shortest prefix of the given prefix that contains specified number of occurences of the bit 1

If the bitstring does not have enough occurences of bit 1 is insufficient to satisfy the query the result is undefined.

>>> import HaskellWorks.Data.Bits.BitRead
>>> :set -XTypeApplications

>>> select1 (unsafeBitRead @Word8 "00000000") 0
0
>>> select1 (unsafeBitRead @Word8 "00001000") 1
5
>>> select1 (unsafeBitRead @Word8 "11111111") 4
4
>>> select1 (unsafeBitRead @Word8 "00111111") 4
6
>>> select1 (unsafeBitRead @Word8 "10011111") 4
6