Math.TreeFun.Types

Collects all types used in the program

Documentation

data PropertySuperTree a b

Constructors

PropertySuperTree

Fields

superTree :: !(Tree (SuperNode a))

superProperties :: !(PropertyMap a b)

data SuperNode a

Constructors

SuperRoot

SuperNode

Fields

myRootLabel :: !a

myParent :: !(SuperNode a)

myLeaves :: !(Map a (Int, Int))

Instances

Eq a => Eq (SuperNode a)

Ord a => Ord (SuperNode a)

(Ord a, Read a) => Read (SuperNode a)

Show a => Show (SuperNode a)

type Height = Int

type DistanceMap a = Map a (Map Int (Seq a))

type PropertyMap a b = Map a (Seq b)

type MaybePropertyMap a b = Map a (Maybe (Seq b))