Data.Nested.Forest

Forest type

data Forest κ α

Instances

Functor (Forest κ)

Foldable (Forest κ)

Traversable (Forest κ)

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

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

Query

trees :: Forest κ α -> [Tree κ α]

treeAssocs :: Forest κ α -> [(κ, Tree κ α)]

null :: Forest κ α -> Bool

size :: Forest κ α -> Int

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

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

Construction

empty :: Forest κ α

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

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

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

List

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