diff --git a/src/Data/SumBag.hs b/src/Data/SumBag.hs index 163db8d05c003a1f4c9750888f83020c2fab186b..7173dfe01383ca0ec2753198bca70511cbd4e4ee 100644 --- a/src/Data/SumBag.hs +++ b/src/Data/SumBag.hs @@ -16,6 +16,10 @@ import qualified Data.List.NonEmpty as NE type SumBag a = Tree a data Tree a = Leaf | Node (MetaData a) (Element a) (Tree a) (Tree a) + deriving (Show) + +instance (Ord a, Eq a) => Eq (Tree a) where + x == y = toAscList x == toAscList y type role Tree nominal @@ -23,11 +27,13 @@ data MetaData a = MetaData { nodeSize :: Int , nodeSum :: a } + deriving (Show) data Element a = Element { value :: a , multiplicity :: NE.NonEmpty a } + deriving (Show) empty :: SumBag a