Data.Container.Base.RoseTree.Instances

Definitions

ApplicativeRoseTree : TensorMonoid c => Cont

  Generalisation of Rose trees with a container of subtrees instead of
  a list of subtrees. It's required that the container is a TensorMonoid

Totality: total
Visibility: public export

ApplicativeRoseTreeNode : TensorMonoid c => Cont

  Same as above, but with data stored at nodes

Totality: total
Visibility: public export

ApplicativeRoseTreeLeaf : TensorMonoid c => Cont

  Same as above, but with data stored at leaf

Totality: total
Visibility: public export

RoseTree : Cont

  Rose trees with data stored at both nodes and leaves

Totality: total
Visibility: public export

RoseTreeNode : Cont

  Rose trees with data stored at nodes

Totality: total
Visibility: public export

RoseTreeLeaf : Cont

  Rose trees with data stored at leaves

Totality: total
Visibility: public export

ApplicativeRoseTree' : TensorMonoid c => Type -> Type

  Isomorphic to Data.Tree.ApplicativeRoseTree (TODO)

Totality: total
Visibility: public export

ApplicativeRoseTreeNode' : TensorMonoid c => Type -> Type

Totality: total
Visibility: public export

ApplicativeRoseTreeLeaf' : TensorMonoid c => Type -> Type

Totality: total
Visibility: public export

RoseTree' : Type -> Type

  Isomorphic to Data.Tree.RoseTree

Totality: total
Visibility: public export

RoseTreeNode' : Type -> Type

  Isomorphic to Data.Tree.RoseTreeNode (TODO)

Totality: total
Visibility: public export

RoseTreeLeaf' : Type -> Type

  Isomorphic to Data.Tree.RoseTreeLeaf (TODO)

Totality: total
Visibility: public export

fromRoseTreeSame : RoseTreeSame a -> RoseTree' a

Visibility: public export

toRoseTreeSame : RoseTree' a -> RoseTreeSame a

Visibility: public export