Data.Container.Applicative.Object.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

Visibility: public export

ApplicativeRoseTreeNode : TensorMonoid c => Cont

  Same as above, but with data stored at nodes

Visibility: public export

ApplicativeRoseTreeLeaf : TensorMonoid c => Cont

  Same as above, but with data stored at leaf

Visibility: public export

RoseTree : Cont

  Rose trees with data stored at both nodes and leaves

Visibility: public export

RoseTreeNode : Cont

  Rose trees with data stored at nodes

Visibility: public export

RoseTreeLeaf : Cont

  Rose trees with data stored at leaves

Visibility: public export