metamorphic-0.1.2.3: metamorphisms: ana . cata or understanding folds and unfolds

Portabilityportable
Stabilityexperimental
MaintainerDrew Day <drewday@gmail.com>
Safe HaskellSafe-Infered

Tree

Description

Code adapted from: http://web.engr.oregonstate.edu/~erwig/meta/

Documentation (and further updates in technique) forthcoming.

Documentation

data Tree a Source

Constructors

Leaf 
Branch 

Fields

key :: a
 
left :: Tree a
 
right :: Tree a
 

Instances

Eq a => Eq (Tree a) 
Show a => Show (Tree a) 

showsTree :: Show a => Tree a -> ShowSSource

isLeaf :: Tree t -> BoolSource