X inline-fn-001:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $f := function($x){$x+1} return $f(2)

 X inline-fn-002:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $pi := function(){3.14159} return $pi()

 X inline-fn-003:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x, $y){$x + $y} return $add(4, 2)

 X inline-fn-004:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: sum(for $i in 1 to 6 return let $add := function($x){$x + $i} return $add(4))

 X inline-fn-005:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: (1 to 4) ! (let $add := function($x){$x + .} return $add(4))

 X inline-fn-006:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30 XQ30
feature = higherOrderFunctions

Test: let $void := function(){} return $void()

 X inline-fn-007:

Created on: 2016-03-09
Spec Dependencies:
spec = XP31+ XQ31+
feature = higherOrderFunctions

Test: let $void := function(){} return $void()

 X inline-fn-008:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $outer := function($x) { let $inner := function($y) {$y + $x} return $inner(5) } return $outer(3)

 X inline-fn-009:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $bonus := 10, $outer := function($x) { let $inner := function($y) {$y + $x + $bonus} return $inner(5) } return $outer(3)

 X inline-fn-010:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x as xs:integer, $y as xs:integer){$x + $y} return $add(3,4)

 X inline-fn-011:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x as xs:integer, $y as xs:integer){$x + $y} return $add(3,4.2)

 X inline-fn-012:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x, $y) as xs:integer {$x + $y} return $add(3, 4)

 X inline-fn-012a:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x, $y) as xs:integer {$x + $y} return $add(3, 4.1)

 X inline-fn-013:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x, $y) as xs:double {$x + $y} return $add(3, 4)

 X inline-fn-014:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $process := function($op, $x, $y) as function(*) {if ($op = "+") then function() {$x + $y} else function() {$x - $y}} return $process("+", 3, 4)()

 X inline-fn-015:

Created on: 2016-03-09
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: let $add := %Q{http://example.com/speed}fast %Q{http://example.com/origin}author("Mike") function($x, $y) {$x + $y} return $add(2,2)

 X inline-fn-016:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+
feature = higherOrderFunctions

Test: let $add := %Q{http://example.com/speed}fast %Q{http://example.com/origin}author("Mike") function($x, $y) {$x + $y} return $add(2,2)

 X inline-fn-017:

Created on: 2016-03-09
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: let $add := %Q{http://example.com/speed}fast() %Q{http://example.com/origin}author("Mike") function($x, $y) {$x + $y} return $add(2,2)

 X inline-fn-018:

Created on: 2016-03-09
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: let $add := %Q{http://example.com/speed}fast(true()) function($x, $y) {$x + $y} return $add(2,2)

 X inline-fn-019:

Created on: 2016-03-09
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: let $add := % Q{http://example.com/speed}speed (-1) function($x, $y) {$x + $y} return $add(2,2)

 X inline-fn-020:

Created on: 2016-03-09
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: let $add := % Q{http://example.com/speed}speed (()) function($x, $y) {$x + $y} return $add(2,2)

 X inline-fn-021:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x, $y) {$x + $y} return function-name($add)

 X inline-fn-022:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $add := function($x, $y) {$x + $y} return function-arity($add)

 X inline-fn-023:

Created on: 2016-03-09
Spec Dependencies:
spec = XP31+ XQ31+
feature = higherOrderFunctions

Test: let $add := function($x, $y) {$x + $y} return apply($add, [12, 5])

 X inline-fn-024:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: function($x, $y) {$x + $y} (12, 5)

 X inline-fn-025:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: function($x, $y) {$x + $y} [function-arity(.) = 2] (12, 5)

 X inline-fn-026:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $weirdo := function($x, $f) {if ($x=0) then 0 else $f($x - 1, $f)} return $weirdo(12, $weirdo)

 X inline-fn-027:

Created on: 2016-03-09
Spec Dependencies:
spec = XP31+ XQ31+
feature = higherOrderFunctions

Test: let $calc := map{ "+" : function($a, $b) {$a + $b}, "-" : function($a, $b) {$a - $b}, "*" : function($a, $b) {$a * $b}, "/" : function($a, $b) {$a div $b}} return $calc("*")(2,3)

 X inline-fn-028:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: string(function($a, $b) {$a + $b})

 X inline-fn-029:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: deep-equal(function($a, $b) {$a + $b}, function($a, $b) {$a - $b})

 X inline-fn-030:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: data(function($a, $b) {$a + $b})

 X inline-fn-031:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $x := function($a, $b) {$a + $b}, $y := function($a, $b) {$a - $b}, $c := function($x, $y) {$x = $y} return $c($x, $y)

 X inline-fn-032:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: function($a, $b) {$a + $b}

 X inline-fn-033:

Created on: 2016-03-09
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: function($a as xs:integer, $b as xs:integer) as xs:integer {$a + $b}

 X inline-fn-034:

Created on: 2016-10-03
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: declare variable $p as xs:integer external; declare variable $f := function($a) {$a + $p}; $f(12)

 X inline-fn-035:

Created on: 2016-10-03
Spec Dependencies:
spec = XQ30+
feature = higherOrderFunctions

Test: declare variable $p as xs:integer external; declare function local:negate($x) {-$x}; declare variable $f := let $x := $p return function($a) {local:negate($a + $x + $p)}; $f(12)

 X inline-fn-036:

Created on: 2016-10-03
Spec Dependencies:
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: let $f := function($x as xs:double) {1 to $x} return $f(3)