Documentation

appendLeaf :: (a -> b) -> ([a] -> b) -> [a] -> Tree a -> Tree b Source #

mayAppendLeaf :: (a -> b) -> ([a] -> Maybe b) -> [a] -> Tree a -> Tree b Source #

appendLeafA :: Applicative f => ([a] -> f a) -> [a] -> Tree a -> Tree (f a) Source #

mayAppendLeafA :: Applicative f => ([a] -> Maybe (f a)) -> [a] -> Tree a -> Tree (f a) Source #

mayAppendLeafA' :: Applicative f => ([a] -> f (Maybe a)) -> [a] -> Tree a -> f (Tree a) Source #

travAppendLeafA :: Applicative f => ([a] -> f a) -> [a] -> Tree a -> f (Tree a) Source #

travMayAppendLeafA :: (Traversable f, Applicative f) => ([a] -> f (Maybe a)) -> [a] -> Tree a -> f (Tree a) Source #