Data.BAByNF.Core.Tree

Documentation

data Tree a where

Constructors

Tree :: Ref a => [Node a] -> Tree a

Instances

Semigroup (Tree a)

Defined in Data.BAByNF.Core.Tree

Methods

(<>) :: Tree a -> Tree a -> Tree a

sconcat :: NonEmpty (Tree a) -> Tree a

stimes :: Integral b => b -> Tree a -> Tree a

Show a => Show (Tree a)

Defined in Data.BAByNF.Core.Tree

Methods

showsPrec :: Int -> Tree a -> ShowS

show :: Tree a -> String

showList :: [Tree a] -> ShowS

Eq a => Eq (Tree a)

Defined in Data.BAByNF.Core.Tree

Methods

(==) :: Tree a -> Tree a -> Bool

(/=) :: Tree a -> Tree a -> Bool

data Node a where

Constructors

StringNode :: ByteString -> Node a

RefNode :: Ref a => a -> Tree a -> Node a

Instances

Show a => Show (Node a)

Defined in Data.BAByNF.Core.Tree

Methods

showsPrec :: Int -> Node a -> ShowS

show :: Node a -> String

showList :: [Node a] -> ShowS

Eq a => Eq (Node a)

Defined in Data.BAByNF.Core.Tree

Methods

(==) :: Node a -> Node a -> Bool

(/=) :: Node a -> Node a -> Bool

nodes :: Ref a => Tree a -> [Node a]

empty :: Ref a => Tree a

singleton :: Ref a => Node a -> Tree a

asSingleton :: Ref a => Tree a -> Maybe (Node a)

stringify :: Tree a -> ByteString

stringifyNode :: Node a -> ByteString

mergeStrings :: Tree a -> Tree a

mergeStringsInNode :: Node a -> Node a

dropRefs :: [a] -> Tree a -> Tree a

getChildrenWithRef :: a -> Tree a -> [Tree a]

getChildWithRef :: a -> Tree a -> Maybe (Tree a)

tryGetChildWithRef :: Ref a => a -> Tree a -> Either String (Tree a)

getDescendantsWithPath :: Ref a => NonEmpty a -> Tree a -> [Tree a]

getFirstDescendantWithPath :: Ref a => NonEmpty a -> Tree a -> Maybe (Tree a)

tryGetFirstPath :: Ref a => NonEmpty a -> Tree a -> Either String (Tree a)

getSubtreeIfRef :: Ref a => a -> Node a -> Maybe (Tree a)

isStringEq :: Ref a => Node a -> ByteString -> Bool

isRefOf :: Ref a => Node a -> a -> Bool