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

validate :: Tree a -> Validation

isValid :: Tree a -> Bool