Safe Haskell	None
Language	Haskell2010

Data.Tree.Rose

Documentation

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

Instances

type Head (Tree a) Source #
Instance details Defined in Data.Tree.Rose type Head (Tree a) = a
type Head (HashTree a) Source #
Instance details Defined in Data.Tree.Rose type Head (HashTree a) = a
type Head (KnuthForest a) Source #
Instance details Defined in Data.Tree.Rose type Head (KnuthForest a) = a
type Head (KnuthTree a) Source #
Instance details Defined in Data.Tree.Rose type Head (KnuthTree a) = a
type Head (SetTree a) Source #
Instance details Defined in Data.Tree.Rose type Head (SetTree a) = a

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

Instances

type Tail (Tree a) Source #
Instance details Defined in Data.Tree.Rose type Tail (Tree a) = [Tree a]
type Tail (HashTree a) Source #
Instance details Defined in Data.Tree.Rose type Tail (HashTree a) = HashSet (HashTree a)
type Tail (KnuthForest a) Source #
Instance details Defined in Data.Tree.Rose type Tail (KnuthForest a) = KnuthForest a
type Tail (KnuthTree a) Source #
Instance details Defined in Data.Tree.Rose type Tail (KnuthTree a) = KnuthForest a
type Tail (SetTree a) Source #
Instance details Defined in Data.Tree.Rose type Tail (SetTree a) = Set (SetTree a)

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

Methods

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

Instances

RoseTree Tree Source #
Instance details Defined in Data.Tree.Rose Methods (@->) :: Head (Tree a) -> Tail (Tree a) -> Tree a Source #
RoseTree HashTree Source #
Instance details Defined in Data.Tree.Rose Methods (@->) :: Head (HashTree a) -> Tail (HashTree a) -> HashTree a Source #
RoseTree KnuthForest Source #
Instance details Defined in Data.Tree.Rose Methods (@->) :: Head (KnuthForest a) -> Tail (KnuthForest a) -> KnuthForest a Source #
RoseTree KnuthTree Source #
Instance details Defined in Data.Tree.Rose Methods (@->) :: Head (KnuthTree a) -> Tail (KnuthTree a) -> KnuthTree a Source #
RoseTree SetTree Source #
Instance details Defined in Data.Tree.Rose Methods (@->) :: Head (SetTree a) -> Tail (SetTree a) -> SetTree a Source #