
  0 | module Data.Container.Applicative.Extension.Instances
  1 | 
  2 | import Data.Container.Base
  3 | import Data.Container.Applicative.Object.Instances
  4 | 
  5 | ||| Isomorphic to Data.Tree.ApplicativeRoseTree (TODO)
  6 | public export
  7 | ApplicativeRoseTree' : {c : Cont} -> TensorMonoid c => Type -> Type
  8 | ApplicativeRoseTree' = Ext (ApplicativeRoseTree {c=c})
  9 | 
 10 | public export
 11 | ApplicativeRoseTreeNode' : {c : Cont} -> TensorMonoid c => Type -> Type
 12 | ApplicativeRoseTreeNode' = Ext (ApplicativeRoseTreeNode {c=c})
 13 | 
 14 | public export
 15 | ApplicativeRoseTreeLeaf' : {c : Cont} -> TensorMonoid c => Type -> Type
 16 | ApplicativeRoseTreeLeaf' = Ext (ApplicativeRoseTreeLeaf {c=c})
 17 | 
 18 | 
 19 | ||| Isomorphic to Data.Tree.RoseTree
 20 | public export
 21 | RoseTree' : Type -> Type
 22 | RoseTree' = Ext RoseTree
 23 | 
 24 | ||| Isomorphic to Data.Tree.RoseTreeNode (TODO)
 25 | public export
 26 | RoseTreeNode' : Type -> Type
 27 | RoseTreeNode' = Ext RoseTreeNode
 28 | 
 29 | ||| Isomorphic to Data.Tree.RoseTreeLeaf (TODO)
 30 | public export
 31 | RoseTreeLeaf' : Type -> Type
 32 | RoseTreeLeaf' = Ext RoseTreeLeaf
 33 | 
 34 |