Safe Haskell	None
Language	Haskell2010

HaskellWorks.Data.RankSelect.Poppy512

Documentation

data Poppy512 Source #

Constructors

Poppy512
Fields poppy512Bits :: !(Vector Word64) poppy512Index :: !(Vector Word64)

Instances

Instances details

Eq Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods (==) :: Poppy512 -> Poppy512 -> Bool # (/=) :: Poppy512 -> Poppy512 -> Bool #
Show Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods showsPrec :: Int -> Poppy512 -> ShowS # show :: Poppy512 -> String # showList :: [Poppy512] -> ShowS #
Generic Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Associated Types type Rep Poppy512 :: Type -> Type # Methods from :: Poppy512 -> Rep Poppy512 x # to :: Rep Poppy512 x -> Poppy512 #
NFData Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods rnf :: Poppy512 -> () #
BalancedParens Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods firstChild :: Poppy512 -> Count -> Maybe Count # nextSibling :: Poppy512 -> Count -> Maybe Count # parent :: Poppy512 -> Count -> Maybe Count #
FindOpen Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods findOpen :: Poppy512 -> Count -> Maybe Count #
Enclose Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods enclose :: Poppy512 -> Count -> Maybe Count #
FindOpenN Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods findOpenN :: Poppy512 -> Count -> Count -> Maybe Count #
OpenAt Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods openAt :: Poppy512 -> Count -> Bool #
NewCloseAt Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods newCloseAt :: Poppy512 -> Count -> Bool #
FindClose Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods findClose :: Poppy512 -> Count -> Maybe Count #
FindCloseN Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods findCloseN :: Poppy512 -> Count -> Count -> Maybe Count #
CloseAt Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods closeAt :: Poppy512 -> Count -> Bool #
PopCount0 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods popCount0 :: Poppy512 -> Count #
PopCount1 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods popCount1 :: Poppy512 -> Count #
BitRead Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods bitRead :: String -> Maybe Poppy512 #
TestBit Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods (.?.) :: Poppy512 -> Position -> Bool #
BitLength Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods bitLength :: Poppy512 -> Count # endPosition :: Poppy512 -> Position #
AsVector64 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods asVector64 :: Poppy512 -> Vector Word64 #
FromForeignRegion Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods fromForeignRegion :: ForeignRegion -> Poppy512 #
Select0 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods select0 :: Poppy512 -> Count -> Count #
Select1 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods select1 :: Poppy512 -> Count -> Count #
Rank0 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods rank0 :: Poppy512 -> Count -> Count #
Rank1 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods rank1 :: Poppy512 -> Count -> Count #
type Rep Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 type Rep Poppy512 = D1 ('MetaData "Poppy512" "HaskellWorks.Data.RankSelect.Poppy512" "hw-rankselect-0.13.4.1-13ozP8Oue3m9kAKr19AkYG" 'False) (C1 ('MetaCons "Poppy512" 'PrefixI 'True) (S1 ('MetaSel ('Just "poppy512Bits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector Word64)) :*: S1 ('MetaSel ('Just "poppy512Index") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector Word64))))

class Rank1 v where #

Methods

rank1 #

Arguments

:: v	The bitstring
-> Count	The prefix length
-> Count

Find the number of occurences of the bit 1 in the prefix of the supplied bitstring of the given length

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

>>> rank1 (unsafeBitRead @Word8 "00000000") 4
0
>>> rank1 (unsafeBitRead @Word8 "11000000") 4
2
>>> rank1 (unsafeBitRead @Word8 "01100000") 4
2
>>> rank1 (unsafeBitRead @Word8 "01100110") 4
2
>>> rank1 (unsafeBitRead @Word8 "01100110") 6
3

Instances

Instances details

Rank1 Bool
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Bool -> Count -> Count #
Rank1 Word8
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Word8 -> Count -> Count #
Rank1 Word16
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Word16 -> Count -> Count #
Rank1 Word32
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Word32 -> Count -> Count #
Rank1 Word64
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Word64 -> Count -> Count #
Rank1 CsPoppy Source #
Instance details Defined in HaskellWorks.Data.RankSelect.CsPoppy Methods rank1 :: CsPoppy -> Count -> Count #
Rank1 CsPoppy0 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.CsPoppy0 Methods rank1 :: CsPoppy0 -> Count -> Count #
Rank1 CsPoppy1 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.CsPoppy1 Methods rank1 :: CsPoppy1 -> Count -> Count #
Rank1 BitSeq Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq Methods rank1 :: BitSeq -> Count -> Count #
Rank1 Poppy512 Source #
Instance details Defined in HaskellWorks.Data.RankSelect.Poppy512 Methods rank1 :: Poppy512 -> Count -> Count #
(PopCount1 w, Rank1 w, BitSize w) => Rank1 [w]
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: [w] -> Count -> Count #
Rank1 (Vector Bit)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Bit -> Count -> Count #
Rank1 (Vector Bit)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Bit -> Count -> Count #
Rank1 a => Rank1 (BitShown a)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: BitShown a -> Count -> Count #
Rank1 (Vector Word8)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word8 -> Count -> Count #
Rank1 (Vector Word16)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word16 -> Count -> Count #
Rank1 (Vector Word32)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word32 -> Count -> Count #
Rank1 (Vector Word64)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word64 -> Count -> Count #
Rank1 (Vector Word8)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word8 -> Count -> Count #
Rank1 (Vector Word16)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word16 -> Count -> Count #
Rank1 (Vector Word32)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word32 -> Count -> Count #
Rank1 (Vector Word64)
Instance details Defined in HaskellWorks.Data.RankSelect.Base.Rank1 Methods rank1 :: Vector Word64 -> Count -> Count #

makePoppy512 :: Vector Word64 -> Poppy512 Source #