Safe Haskell	None
Language	Haskell2010

HaskellWorks.Data.RankSelect.Internal.BitSeq

Documentation

data Elem Source #

Constructors

Elem
Fields elemBits :: !Word64 elemSize :: !Count

Instances

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.2.0-Gfq9igWbaRgJJDbaLFS37g" 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 measureBitCount :: !Count measurePopCount :: !Count

Instances

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.2.0-Gfq9igWbaRgJJDbaLFS37g" 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 parens :: BitSeqFt

Instances

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 :: Type #
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.2.0-Gfq9igWbaRgJJDbaLFS37g" 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 #