Add/merge monoids on an existing tree

Usage

add_monoids(t, monoids, overwrite = FALSE)

Arguments

t: FingerTree.
monoids: Named list of `measure_monoid` objects to add.
overwrite: Logical; whether overlapping names replace existing monoids.

Value

A persistent copy with recomputed cached measures.

Examples

x <- as_flexseq(1:5)
x
#> FingerTree <size=5, named=no>
#>   monoids: none
#> 
#> [[1]]
#> [1] 1
#> 
#> [[2]]
#> [1] 2
#> 
#> [[3]]
#> [1] 3
#> 
#> [[4]]
#> [1] 4
#> 
#> [[5]]
#> [1] 5
#> 

sum_m <- measure_monoid(`+`, 0, as.numeric)
x2 <- add_monoids(x, list(sum = sum_m))
x2
#> $prefix
#> [[1]]
#> [1] 1
#> 
#> attr(,"class")
#> [1] "Digit" "list" 
#> attr(,"monoids")
#> attr(,"monoids")$.size
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba3747830>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) 1
#> <environment: 0x559ba3747830>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$.named_count
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba376a8e0>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) {
#>     if (isTRUE(.ft_has_name(el)))
#>       1L
#>     else 0L
#>   }
#> <environment: 0x559ba376a8e0>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$sum
#> $f
#> function (e1, e2)  .Primitive("+")
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function (x, ...)  .Primitive("as.double")
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"measures")
#> attr(,"measures")$.size
#> [1] 1
#> 
#> attr(,"measures")$.named_count
#> [1] 0
#> 
#> attr(,"measures")$sum
#> [1] 1
#> 
#> 
#> $middle
#> [[1]]
#> [[1]]
#> [1] 2
#> 
#> [[2]]
#> [1] 3
#> 
#> attr(,"class")
#> [1] "Node2" "Node"  "list" 
#> attr(,"monoids")
#> attr(,"monoids")$.size
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba394a180>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) 1
#> <environment: 0x559ba394a180>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$.named_count
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba3987248>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) {
#>     if (isTRUE(.ft_has_name(el)))
#>       1L
#>     else 0L
#>   }
#> <environment: 0x559ba3987248>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$sum
#> $f
#> function (e1, e2)  .Primitive("+")
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function (x, ...)  .Primitive("as.double")
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"measures")
#> attr(,"measures")$.size
#> [1] 2
#> 
#> attr(,"measures")$.named_count
#> [1] 0
#> 
#> attr(,"measures")$sum
#> [1] 5
#> 
#> 
#> attr(,"class")
#> [1] "Single"     "FingerTree" "list"      
#> attr(,"monoids")
#> attr(,"monoids")$.size
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba441ca48>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) 1
#> <environment: 0x559ba441ca48>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$.named_count
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba444e320>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) {
#>     if (isTRUE(.ft_has_name(el)))
#>       1L
#>     else 0L
#>   }
#> <environment: 0x559ba444e320>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$sum
#> $f
#> function (e1, e2)  .Primitive("+")
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function (x, ...)  .Primitive("as.double")
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"measures")
#> attr(,"measures")$.size
#> [1] 2
#> 
#> attr(,"measures")$.named_count
#> [1] 0
#> 
#> attr(,"measures")$sum
#> [1] 5
#> 
#> 
#> $suffix
#> [[1]]
#> [1] 4
#> 
#> [[2]]
#> [1] 5
#> 
#> attr(,"class")
#> [1] "Digit" "list" 
#> attr(,"monoids")
#> attr(,"monoids")$.size
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba1bc8cd8>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) 1
#> <environment: 0x559ba1bc8cd8>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$.named_count
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba1b4ea30>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) {
#>     if (isTRUE(.ft_has_name(el)))
#>       1L
#>     else 0L
#>   }
#> <environment: 0x559ba1b4ea30>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$sum
#> $f
#> function (e1, e2)  .Primitive("+")
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function (x, ...)  .Primitive("as.double")
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"measures")
#> attr(,"measures")$.size
#> [1] 2
#> 
#> attr(,"measures")$.named_count
#> [1] 0
#> 
#> attr(,"measures")$sum
#> [1] 9
#> 
#> 
#> attr(,"class")
#> [1] "Deep"       "FingerTree" "list"      
#> attr(,"monoids")
#> attr(,"monoids")$.size
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba3696b70>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) 1
#> <environment: 0x559ba3696b70>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$.named_count
#> $f
#> function(a, b) a + b
#> <environment: 0x559ba36b3948>
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function(el) {
#>     if (isTRUE(.ft_has_name(el)))
#>       1L
#>     else 0L
#>   }
#> <environment: 0x559ba36b3948>
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"monoids")$sum
#> $f
#> function (e1, e2)  .Primitive("+")
#> 
#> $i
#> [1] 0
#> 
#> $measure
#> function (x, ...)  .Primitive("as.double")
#> 
#> attr(,"class")
#> [1] "measure_monoid" "MeasureMonoid"  "list"          
#> 
#> attr(,"measures")
#> attr(,"measures")$.size
#> [1] 5
#> 
#> attr(,"measures")$.named_count
#> [1] 0
#> 
#> attr(,"measures")$sum
#> [1] 15
#> 
attr(x2, "measures")$sum
#> [1] 15

# replace an existing monoid definition
prod_m <- measure_monoid(`*`, 1, as.numeric)
x3 <- add_monoids(x2, list(sum = prod_m), overwrite = TRUE)
attr(x3, "measures")$sum
#> [1] 120