improve-0.0.12: An imperative, verifiable programming language for high assurance applications.

Language.ImProve.Tree

Description

Building hierarchy from unstructured hierarchical paths.

Documentation

data Tree a b Source

Constructors

Branch a [Tree a b] 
Leaf a b 

tree :: (Eq a, Ord a) => (b -> [a]) -> [b] -> [Tree a b]Source