Data.Tree.Rose

Documentation

type family Head (x :: *) :: *

Instances

type Head (Tree a)

Defined in Data.Tree.Rose

type Head (Tree a) = a

type Head (HashTree a)

Defined in Data.Tree.Rose

type Head (HashTree a) = a

type Head (KnuthForest a)

Defined in Data.Tree.Rose

type Head (KnuthForest a) = a

type Head (KnuthTree a)

Defined in Data.Tree.Rose

type Head (KnuthTree a) = a

type Head (SetTree a)

Defined in Data.Tree.Rose

type Head (SetTree a) = a

type family Tail (y :: *) :: *

Instances

type Tail (Tree a)

Defined in Data.Tree.Rose

type Tail (Tree a) = [Tree a]

type Tail (HashTree a)

Defined in Data.Tree.Rose

type Tail (HashTree a) = HashSet (HashTree a)

type Tail (KnuthForest a)

Defined in Data.Tree.Rose

type Tail (KnuthForest a) = KnuthForest a

type Tail (KnuthTree a)

Defined in Data.Tree.Rose

type Tail (KnuthTree a) = KnuthForest a

type Tail (SetTree a)

Defined in Data.Tree.Rose

type Tail (SetTree a) = Set (SetTree a)

class RoseTree (c :: * -> *) where

Methods

(@->) :: Head (c a) -> Tail (c a) -> c a infixr 9

Instances

RoseTree Tree

Defined in Data.Tree.Rose

Methods

(@->) :: Head (Tree a) -> Tail (Tree a) -> Tree a

RoseTree HashTree

Defined in Data.Tree.Rose

Methods

(@->) :: Head (HashTree a) -> Tail (HashTree a) -> HashTree a

RoseTree KnuthForest

Defined in Data.Tree.Rose

Methods

(@->) :: Head (KnuthForest a) -> Tail (KnuthForest a) -> KnuthForest a

RoseTree KnuthTree

Defined in Data.Tree.Rose

Methods

(@->) :: Head (KnuthTree a) -> Tail (KnuthTree a) -> KnuthTree a

RoseTree SetTree

Defined in Data.Tree.Rose

Methods

(@->) :: Head (SetTree a) -> Tail (SetTree a) -> SetTree a