HaskellWorks.Data.Succinct.BalancedParens.Internal

Documentation

class BalancedParens v where

Minimal complete definition

openAt, closeAt, findCloseN

Methods

openAt :: v -> Count -> Bool

closeAt :: v -> Count -> Bool

findCloseN :: v -> Count -> Count -> Maybe Count

firstChild :: v -> Count -> Maybe Count

nextSibling :: v -> Count -> Maybe Count

findClose :: v -> Count -> Maybe Count

Instances

BalancedParens Word8

Methods

openAt :: Word8 -> Count -> Bool

closeAt :: Word8 -> Count -> Bool

findCloseN :: Word8 -> Count -> Count -> Maybe Count

firstChild :: Word8 -> Count -> Maybe Count

nextSibling :: Word8 -> Count -> Maybe Count

findClose :: Word8 -> Count -> Maybe Count

BalancedParens Word16

Methods

openAt :: Word16 -> Count -> Bool

closeAt :: Word16 -> Count -> Bool

findCloseN :: Word16 -> Count -> Count -> Maybe Count

firstChild :: Word16 -> Count -> Maybe Count

nextSibling :: Word16 -> Count -> Maybe Count

findClose :: Word16 -> Count -> Maybe Count

BalancedParens Word32

Methods

openAt :: Word32 -> Count -> Bool

closeAt :: Word32 -> Count -> Bool

findCloseN :: Word32 -> Count -> Count -> Maybe Count

firstChild :: Word32 -> Count -> Maybe Count

nextSibling :: Word32 -> Count -> Maybe Count

findClose :: Word32 -> Count -> Maybe Count

BalancedParens Word64

Methods

openAt :: Word64 -> Count -> Bool

closeAt :: Word64 -> Count -> Bool

findCloseN :: Word64 -> Count -> Count -> Maybe Count

firstChild :: Word64 -> Count -> Maybe Count

nextSibling :: Word64 -> Count -> Maybe Count

findClose :: Word64 -> Count -> Maybe Count

BalancedParens Poppy512

Methods

openAt :: Poppy512 -> Count -> Bool

closeAt :: Poppy512 -> Count -> Bool

findCloseN :: Poppy512 -> Count -> Count -> Maybe Count

firstChild :: Poppy512 -> Count -> Maybe Count

nextSibling :: Poppy512 -> Count -> Maybe Count

findClose :: Poppy512 -> Count -> Maybe Count

BalancedParens Poppy512S

Methods

openAt :: Poppy512S -> Count -> Bool

closeAt :: Poppy512S -> Count -> Bool

findCloseN :: Poppy512S -> Count -> Count -> Maybe Count

firstChild :: Poppy512S -> Count -> Maybe Count

nextSibling :: Poppy512S -> Count -> Maybe Count

findClose :: Poppy512S -> Count -> Maybe Count

BalancedParens [Bool]

Methods

openAt :: [Bool] -> Count -> Bool

closeAt :: [Bool] -> Count -> Bool

findCloseN :: [Bool] -> Count -> Count -> Maybe Count

firstChild :: [Bool] -> Count -> Maybe Count

nextSibling :: [Bool] -> Count -> Maybe Count

findClose :: [Bool] -> Count -> Maybe Count

(BalancedParens a, TestBit a, BitLength a) => BalancedParens (BitShown a)

Methods

openAt :: BitShown a -> Count -> Bool

closeAt :: BitShown a -> Count -> Bool

findCloseN :: BitShown a -> Count -> Count -> Maybe Count

firstChild :: BitShown a -> Count -> Maybe Count

nextSibling :: BitShown a -> Count -> Maybe Count

findClose :: BitShown a -> Count -> Maybe Count

BalancedParens (Vector Word8)

Methods

openAt :: Vector Word8 -> Count -> Bool

closeAt :: Vector Word8 -> Count -> Bool

findCloseN :: Vector Word8 -> Count -> Count -> Maybe Count

firstChild :: Vector Word8 -> Count -> Maybe Count

nextSibling :: Vector Word8 -> Count -> Maybe Count

findClose :: Vector Word8 -> Count -> Maybe Count

BalancedParens (Vector Word16)

Methods

openAt :: Vector Word16 -> Count -> Bool

closeAt :: Vector Word16 -> Count -> Bool

findCloseN :: Vector Word16 -> Count -> Count -> Maybe Count

firstChild :: Vector Word16 -> Count -> Maybe Count

nextSibling :: Vector Word16 -> Count -> Maybe Count

findClose :: Vector Word16 -> Count -> Maybe Count

BalancedParens (Vector Word32)

Methods

openAt :: Vector Word32 -> Count -> Bool

closeAt :: Vector Word32 -> Count -> Bool

findCloseN :: Vector Word32 -> Count -> Count -> Maybe Count

firstChild :: Vector Word32 -> Count -> Maybe Count

nextSibling :: Vector Word32 -> Count -> Maybe Count

findClose :: Vector Word32 -> Count -> Maybe Count

BalancedParens (Vector Word64)

Methods

openAt :: Vector Word64 -> Count -> Bool

closeAt :: Vector Word64 -> Count -> Bool

findCloseN :: Vector Word64 -> Count -> Count -> Maybe Count

firstChild :: Vector Word64 -> Count -> Maybe Count

nextSibling :: Vector Word64 -> Count -> Maybe Count

findClose :: Vector Word64 -> Count -> Maybe Count

BalancedParens a => BalancedParens (SimpleBalancedParens a)

Methods

openAt :: SimpleBalancedParens a -> Count -> Bool

closeAt :: SimpleBalancedParens a -> Count -> Bool

findCloseN :: SimpleBalancedParens a -> Count -> Count -> Maybe Count

firstChild :: SimpleBalancedParens a -> Count -> Maybe Count

nextSibling :: SimpleBalancedParens a -> Count -> Maybe Count

findClose :: SimpleBalancedParens a -> Count -> Maybe Count

BalancedParens (RangeMinMaxL0 (Vector Word64))

Methods

openAt :: RangeMinMaxL0 (Vector Word64) -> Count -> Bool

closeAt :: RangeMinMaxL0 (Vector Word64) -> Count -> Bool

findCloseN :: RangeMinMaxL0 (Vector Word64) -> Count -> Count -> Maybe Count

firstChild :: RangeMinMaxL0 (Vector Word64) -> Count -> Maybe Count

nextSibling :: RangeMinMaxL0 (Vector Word64) -> Count -> Maybe Count

findClose :: RangeMinMaxL0 (Vector Word64) -> Count -> Maybe Count

subtreeSize :: BalancedParens v => v -> Count -> Maybe Count