Data.Validity.Tree

Documentation

Orphan instances

Validity a => Validity (Tree a)

A Tree of things is valid if all the things in the Tree are valid.

Methods

isValid :: Tree a -> Bool