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

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.4.0-ivTGNeLFoSEHbKP1HYjAx" 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

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 :: Select1 v => v -> Count -> Count #