Data.LCA.View

Documentation

data View f a

Provides a consistent View for peeling off the bottom node of a path.

Constructors

Root

Node !Int a (f a)

Instances

Functor f => Functor (View f)

Foldable f => Foldable (View f)

(Functor (View f), Foldable (View f), Traversable f) => Traversable (View f)

(Eq a, Eq (f a)) => Eq (View f a)

(Eq (View f a), Ord a, Ord (f a)) => Ord (View f a)

(Read a, Read (f a)) => Read (View f a)

(Show a, Show (f a)) => Show (View f a)