Data.Container.Applicative.Concrete.Instances

Definitions

fromRoseTreeSame : RoseTreeSame a -> RoseTree' a

Visibility: public export

toRoseTreeSame : RoseTree' a -> RoseTreeSame a

Visibility: public export