Documentation

The central data type. All data structures must be converted so they consist of Shell's, which split a value into a component at this level and the children. Create a Shell with shell.

Constructors

Shell a Int [Shell a]

Instances

Eq a => Eq (Shell a)
Ord a => Ord (Shell a)
Show a => Show (Shell a)
Arbitrary a => Arbitrary (Shell a)

shell :: a -> [Shell a] -> Shell aSource

Create a value with a component at the current level and all the children.

(<<|) :: Eq a => Shell a -> Shell a -> Bool Source

A simple homeomorphic embedding. O(expensive)

dive :: Eq a => Shell a -> Shell a -> Bool Source

Does the dive rule apply.

couple :: Eq a => Shell a -> Shell a -> Bool Source

Does the couple rule apply.