X fold-right-001:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, 0,function($a, $b) { $a + $b })

 X fold-right-002:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((2,3,5,7), 1,function($a, $b) { $a * $b })

 X fold-right-003:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((true(), false(), false()), false(),function($a, $b) { $a or $b })

 X fold-right-004:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((true(), false(), false()), false(),function($a, $b) { $a and $b })

 X fold-right-005:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $f := function($a, $b){($b, $a)} return fold-right(1 to 5, (), $f)

 X fold-right-006:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, "", fn:concat(?, ".", ?))

 X fold-right-007:

Created on: 2010-02-10
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, "$zero", fn:concat("$f(", ?, ", ", ?, ")"))

 X fold-right-008:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, 0, function($a, $b, $c){ $a + $b + $c })

 X fold-right-009:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, "", function($a, $b){ $a + $b })

 X fold-right-010:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, 0, function($a as xs:string, $b){ $a + $b })

 X fold-right-011:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, 0, function($a, $b as xs:string){ $a + $b })

 X fold-right-012:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 5, 0, function($a, $b) as xs:string { $a + $b })

 X fold-right-013:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 1000000, 0, function($a, $b){ $b + 1 })

 X fold-right-014:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((1 to 5), (), function($a , $b){ ($b, $a) })

 X fold-right-015:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((1, 2, 2, 3, 3, 3, 4, 5, 5), (), function($a, $b){ if(exists($b[. eq $a])) then $b else ($a, $b) })

 X fold-right-016:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((1 to 5), (), function($a, $b){ ($a, $a, $b) })

 X fold-right-017:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right((1 to 13), 0, concat("(", ?, "+", ?, ")"))

 X fold-right-018:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(("Hello", "World"), 0, function($a, $b){ string-length($a) + $b })

 X fold-right-019:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right( 1 to 10, (), function($a, $b){ if(empty($b)) then $a else if($a lt $b) then $b else $a })

 X fold-right-020:

Created on: 2011-11-27
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fold-right(1 to 10, (), function($a, $b){ if(empty($b)) then $a else if($a gt $b) then $b else $a })

 X fold-right-101:

Created on: 2014-09-07
Spec Dependencies:
spec = XQ30+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: declare function local:fold-right( $seq as item()*, $zero as item()*, $f as function(item(), item()*) as item()*) as item()* { if (fn:empty($seq)) then $zero else $f(fn:head($seq), fn:fold-right(fn:tail($seq), $zero, $f)) }; local:fold-right(1 to 5, 0,function($a, $b) { $a + $b })

 X fold-right-102:

Created on: 2014-09-07
Spec Dependencies:
spec = XQ30+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: declare function local:fold-right( $seq as item()*, $zero as item()*, $f as function(item(), item()*) as item()*) as item()* { if (fn:empty($seq)) then $zero else $f(fn:head($seq), fn:fold-right(fn:tail($seq), $zero, $f)) }; local:fold-right((2,3,5,7), 1,function($a, $b) { $a * $b })

 X fold-right-103:

Created on: 2014-09-07
Spec Dependencies:
spec = XQ30+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: declare function local:fold-right( $seq as item()*, $zero as item()*, $f as function(item(), item()*) as item()*) as item()* { if (fn:empty($seq)) then $zero else $f(fn:head($seq), fn:fold-right(fn:tail($seq), $zero, $f)) }; local:fold-right((true(), false(), false()), false(),function($a, $b) { $a or $b })

 X fold-right-104:

Created on: 2014-09-07
Spec Dependencies:
spec = XQ30+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: declare function local:fold-right( $seq as item()*, $zero as item()*, $f as function(item(), item()*) as item()*) as item()* { if (fn:empty($seq)) then $zero else $f(fn:head($seq), fn:fold-right(fn:tail($seq), $zero, $f)) }; local:fold-right((true(), false(), false()), false(),function($a, $b) { $a and $b })

 X fold-right-105:

Created on: 2014-09-07
Spec Dependencies:
spec = XQ30+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: declare function local:fold-right( $seq as item()*, $zero as item()*, $f as function(item(), item()*) as item()*) as item()* { if (fn:empty($seq)) then $zero else $f(fn:head($seq), fn:fold-right(fn:tail($seq), $zero, $f)) }; let $f := function($a, $b){($b, $a)} return local:fold-right(1 to 5, (), $f)