hw-rankselect-0.13.4.1: Rank-select
Safe HaskellNone
LanguageHaskell2010

HaskellWorks.Data.RankSelect.Internal.BitSeq

Documentation

data Elem Source #

Constructors

Elem 

Fields

Instances

Instances details
Eq Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

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

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

Show Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

showsPrec :: Int -> Elem -> ShowS #

show :: Elem -> String #

showList :: [Elem] -> ShowS #

Generic Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Associated Types

type Rep Elem :: Type -> Type #

Methods

from :: Elem -> Rep Elem x #

to :: Rep Elem x -> Elem #

NFData Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

rnf :: Elem -> () #

Measured Measure Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

measure :: Elem -> Measure #

type Rep Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

type Rep Elem = D1 ('MetaData "Elem" "HaskellWorks.Data.RankSelect.Internal.BitSeq" "hw-rankselect-0.13.4.1-13ozP8Oue3m9kAKr19AkYG" 'False) (C1 ('MetaCons "Elem" 'PrefixI 'True) (S1 ('MetaSel ('Just "elemBits") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "elemSize") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Count)))

data Measure Source #

Constructors

Measure 

Fields

Instances

Instances details
Eq Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

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

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

Ord Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

compare :: Measure -> Measure -> Ordering #

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

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

(>) :: Measure -> Measure -> Bool #

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

max :: Measure -> Measure -> Measure #

min :: Measure -> Measure -> Measure #

Show Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

showsPrec :: Int -> Measure -> ShowS #

show :: Measure -> String #

showList :: [Measure] -> ShowS #

Generic Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Associated Types

type Rep Measure :: Type -> Type #

Methods

from :: Measure -> Rep Measure x #

to :: Rep Measure x -> Measure #

Semigroup Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

(<>) :: Measure -> Measure -> Measure #

sconcat :: NonEmpty Measure -> Measure #

stimes :: Integral b => b -> Measure -> Measure #

Monoid Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

mempty :: Measure #

mappend :: Measure -> Measure -> Measure #

mconcat :: [Measure] -> Measure #

NFData Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

rnf :: Measure -> () #

Measured Measure Elem Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

Methods

measure :: Elem -> Measure #

type Rep Measure Source # 
Instance details

Defined in HaskellWorks.Data.RankSelect.Internal.BitSeq

type Rep Measure = D1 ('MetaData "Measure" "HaskellWorks.Data.RankSelect.Internal.BitSeq" "hw-rankselect-0.13.4.1-13ozP8Oue3m9kAKr19AkYG" 'False) (C1 ('MetaCons "Measure" 'PrefixI 'True) (S1 ('MetaSel ('Just "measureBitCount") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Count) :*: S1 ('MetaSel ('Just "measurePopCount") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Count)))

newtype BitSeq Source #

Constructors

BitSeq 

Fields

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

type BitSeqFt = FingerTree Measure Elem Source #

(|>#) :: BitSeqFt -> Elem -> BitSeqFt Source #

(#<|) :: Elem -> BitSeqFt -> BitSeqFt Source #

ftSplit :: (Measure -> Bool) -> BitSeqFt -> (BitSeqFt, BitSeqFt) Source #

atBitCountBelow :: Count -> Measure -> Bool Source #

atPopCountBelow :: Count -> Measure -> Bool Source #

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