HaskellWorks.Data.BalancedParens.BalancedParens

Documentation

class (OpenAt v, CloseAt v, FindOpen v, FindClose v, Enclose v) => BalancedParens v where

Methods

firstChild :: v -> Count -> Maybe Count

nextSibling :: v -> Count -> Maybe Count

parent :: v -> Count -> Maybe Count

Instances

BalancedParens Word8

Methods

firstChild :: Word8 -> Count -> Maybe Count

nextSibling :: Word8 -> Count -> Maybe Count

parent :: Word8 -> Count -> Maybe Count

BalancedParens Word16

Methods

firstChild :: Word16 -> Count -> Maybe Count

nextSibling :: Word16 -> Count -> Maybe Count

parent :: Word16 -> Count -> Maybe Count

BalancedParens Word32

Methods

firstChild :: Word32 -> Count -> Maybe Count

nextSibling :: Word32 -> Count -> Maybe Count

parent :: Word32 -> Count -> Maybe Count

BalancedParens Word64

Methods

firstChild :: Word64 -> Count -> Maybe Count

nextSibling :: Word64 -> Count -> Maybe Count

parent :: Word64 -> Count -> Maybe Count

BalancedParens [Bool]

Methods

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

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

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

BalancedParens (Naive Word64)

Methods

firstChild :: Naive Word64 -> Count -> Maybe Count

nextSibling :: Naive Word64 -> Count -> Maybe Count

parent :: Naive Word64 -> Count -> Maybe Count

BalancedParens (Vector Word8)

Methods

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

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

parent :: Vector Word8 -> Count -> Maybe Count

BalancedParens (Vector Word16)

Methods

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

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

parent :: Vector Word16 -> Count -> Maybe Count

BalancedParens (Vector Word32)

Methods

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

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

parent :: Vector Word32 -> Count -> Maybe Count

BalancedParens (Vector Word64)

Methods

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

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

parent :: Vector Word64 -> Count -> Maybe Count

(BitLength a, NewCloseAt a, CloseAt a, OpenAt a, FindOpenN a, FindCloseN a) => BalancedParens (RangeMinMax a)

Methods

firstChild :: RangeMinMax a -> Count -> Maybe Count

nextSibling :: RangeMinMax a -> Count -> Maybe Count

parent :: RangeMinMax a -> Count -> Maybe Count

(BitLength a, NewCloseAt a, CloseAt a, OpenAt a, FindOpenN a, FindCloseN a) => BalancedParens (RangeMinMax2 a)

Methods

firstChild :: RangeMinMax2 a -> Count -> Maybe Count

nextSibling :: RangeMinMax2 a -> Count -> Maybe Count

parent :: RangeMinMax2 a -> Count -> Maybe Count

BalancedParens a => BalancedParens (SimpleBalancedParens a)

Methods

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

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

parent :: SimpleBalancedParens a -> Count -> Maybe Count

depth :: (BalancedParens v, Rank0 v, Rank1 v) => v -> Count -> Maybe Count

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