Data.Nested.Tree

Tree type

data Tree κ α

Instances

Functor (Tree κ)

Foldable (Tree κ)

Traversable (Tree κ)

(Show κ, Show α) => Show (Tree κ α)

(Ord κ, Monoid α) => Monoid (Tree κ α)

Query

fruit :: Tree κ α -> α

forest :: Tree κ α -> Forest κ α

null :: Tree κ α -> Bool

size :: Tree κ α -> Int

lookup :: (Traversable φ, Ord κ) => φ κ -> Tree κ α -> (α, φ (Maybe α))

member :: (Traversable φ, Ord κ) => φ κ -> Tree κ α -> φ Bool

Construction

empty :: α -> Tree κ α

singleton :: Foldable φ => α -> φ (κ, α) -> Tree κ α

fromFoldable :: (Foldable φ, Foldable ψ, Ord κ) => α -> ψ (φ (κ, α)) -> Tree κ α

fromList :: Ord κ => α -> [[(κ, α)]] -> Tree κ α

List

toList :: Tree κ α -> (α, [[(κ, α)]])