Data.Tree.ITree

Definition of the trees used at the type level for the type safe BST and AVL trees.

Documentation

data Tree :: Type where

Tree definition for the type level. Type safe trees are indexed by type trees of the kind `Tree.

Constructors

EmptyTree :: Tree

ForkTree :: Tree -> n -> Tree -> Tree

data ITree :: Tree -> Type where

Value level trees indexed by trees of kind `Tree. The tree structure from the value level is replicated at the type level.

Constructors

EmptyITree :: ITree 'EmptyTree

ForkITree :: Show a => ITree l -> Node n a -> ITree r -> ITree ('ForkTree l (Node n a) r)

Instances

Show (ITree t)

Show instance for ITree.

Defined in Data.Tree.ITree

Methods

showsPrec :: Int -> ITree t -> ShowS

show :: ITree t -> String

showList :: [ITree t] -> ShowS