HaskellWorks.Data.RankSelect.Base.Select0

Documentation

class Select0 v where

Methods

select0

Arguments

:: v

The bitstring

-> Count

The number of zeros

-> 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 0 is insufficient to satisfy the query the result is undefined.

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

>>> select0 (unsafeBitRead @Word8 "11111111") 0
0
>>> select0 (unsafeBitRead @Word8 "11110111") 1
5
>>> select0 (unsafeBitRead @Word8 "00000000") 4
4
>>> select0 (unsafeBitRead @Word8 "11000000") 4
6
>>> select0 (unsafeBitRead @Word8 "01100000") 4
6

Instances

Select0 Word8

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Word8 -> Count -> Count

Select0 Word16

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Word16 -> Count -> Count

Select0 Word32

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Word32 -> Count -> Count

Select0 Word64

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Word64 -> Count -> Count

Select0 [Bool]

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: [Bool] -> Count -> Count

Select0 [Word8]

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: [Word8] -> Count -> Count

Select0 [Word16]

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: [Word16] -> Count -> Count

Select0 [Word32]

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: [Word32] -> Count -> Count

Select0 [Word64]

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: [Word64] -> Count -> Count

Select0 (Vector Bit)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Bit -> Count -> Count

Select0 (Vector Bit)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Bit -> Count -> Count

Select0 a => Select0 (BitShown a)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: BitShown a -> Count -> Count

Select0 (Vector Word8)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word8 -> Count -> Count

Select0 (Vector Word16)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word16 -> Count -> Count

Select0 (Vector Word32)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word32 -> Count -> Count

Select0 (Vector Word64)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word64 -> Count -> Count

Select0 (Vector Word8)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word8 -> Count -> Count

Select0 (Vector Word16)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word16 -> Count -> Count

Select0 (Vector Word32)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word32 -> Count -> Count

Select0 (Vector Word64)

Defined in HaskellWorks.Data.RankSelect.Base.Select0

Methods

select0 :: Vector Word64 -> Count -> Count