Adding extra construction functions

sebastian-philipp · Sep 4, 2024 · 2cc9554 · 2cc9554
1 parent 0ef4147
commit 2cc9554
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 0 deletions.
diff --git a/src/Data/R2Tree/Double.hs b/src/Data/R2Tree/Double.hs
@@ -81,6 +81,9 @@ module Data.R2Tree.Double
     -- * Construct
   , empty
   , singleton
+  , doubleton
+  , tripleton
+  , quadrupleton
 
     -- ** Bulk-loading
   , bulkSTR
@@ -163,3 +166,18 @@ empty = Empty
 --   Tree with a single entry.
 singleton :: MBR -> a -> R2Tree a
 singleton = Leaf1
+
+-- | \(\mathcal{O}(1)\).
+--   Tree with two entries.
+doubleton :: MBR -> a -> MBR -> a -> R2Tree a
+doubleton = Leaf2
+
+-- | \(\mathcal{O}(1)\).
+--   Tree with three entries.
+tripleton :: MBR -> a -> MBR -> a -> MBR -> a -> R2Tree a
+tripleton = Leaf3
+
+-- | \(\mathcal{O}(1)\).
+--   Tree with four entries.
+quadrupleton :: MBR -> a -> MBR -> a -> MBR -> a -> MBR -> a -> R2Tree a
+quadrupleton = Leaf4
diff --git a/src/Data/R2Tree/Float.hs b/src/Data/R2Tree/Float.hs
@@ -21,6 +21,9 @@ module Data.R2Tree.Float
     -- * Construct
   , empty
   , singleton
+  , doubleton
+  , tripleton
+  , quadrupleton
 
     -- ** Bulk-loading
   , bulkSTR
@@ -103,3 +106,18 @@ empty = Empty
 --   Tree with a single entry.
 singleton :: MBR -> a -> R2Tree a
 singleton = Leaf1
+
+-- | \(\mathcal{O}(1)\).
+--   Tree with two entries.
+doubleton :: MBR -> a -> MBR -> a -> R2Tree a
+doubleton = Leaf2
+
+-- | \(\mathcal{O}(1)\).
+--   Tree with three entries.
+tripleton :: MBR -> a -> MBR -> a -> MBR -> a -> R2Tree a
+tripleton = Leaf3
+
+-- | \(\mathcal{O}(1)\).
+--   Tree with four entries.
+quadrupleton :: MBR -> a -> MBR -> a -> MBR -> a -> MBR -> a -> R2Tree a
+quadrupleton = Leaf4