Idris2Doc : Data.Container.Applicative.Extension.Instances

Data.Container.Applicative.Extension.Instances

(source)
Definitions
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