Lines Matching refs:func
6 (core func $rep (canon resource.rep $r))
7 (core func $new (canon resource.new $r))
8 (core func $drop (canon resource.drop $r))
11 (import "" "rep" (func $rep (param i32) (result i32)))
12 (import "" "new" (func $new (param i32) (result i32)))
13 (import "" "drop" (func $drop (param i32)))
15 (func $start
29 (export "rep" (func $rep))
30 (export "new" (func $new))
31 (export "drop" (func $drop))
39 (core func $drop (canon resource.drop $r))
42 (import "" "drop" (func $drop (param i32)))
44 (func (export "r")
50 (export "drop" (func $drop))
54 (func (export "r") (canon lift (core func $i "r")))
61 (core func $rep (canon resource.rep $r))
64 (import "" "rep" (func $rep (param i32) (result i32)))
66 (func (export "r")
72 (export "rep" (func $rep))
76 (func (export "r") (canon lift (core func $i "r")))
83 (core func $rep (canon resource.rep $r))
84 (core func $new (canon resource.new $r))
85 (core func $drop (canon resource.drop $r))
88 (import "" "rep" (func $rep (param i32) (result i32)))
89 (import "" "new" (func $new (param i32) (result i32)))
90 (import "" "drop" (func $drop (param i32)))
92 (func $start
159 (export "rep" (func $rep))
160 (export "new" (func $new))
161 (export "drop" (func $drop))
179 "expected resource found func")
223 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
224 (export "[static]resource1.assert" (func (param "r" (own $r)) (param "rep" u32)))
227 (alias export $host "[constructor]resource1" (func $ctor))
228 (alias export $host "[static]resource1.assert" (func $assert))
230 (core func $drop (canon resource.drop $r))
231 (core func $ctor (canon lower (func $ctor)))
232 (core func $assert (canon lower (func $assert)))
235 (import "" "drop" (func $drop (param i32)))
236 (import "" "ctor" (func $ctor (param i32) (result i32)))
237 (import "" "assert" (func $assert (param i32 i32)))
239 (func $start
263 (export "drop" (func $drop))
264 (export "ctor" (func $ctor))
265 (export "assert" (func $assert))
274 (export "[static]resource1.assert" (func (param "r" (own $r)) (param "rep" u32)))
277 (alias export $host "[static]resource1.assert" (func $assert))
278 (core func $assert (canon lower (func $assert)))
281 (import "" "assert" (func $assert (param i32 i32)))
283 (func (export "f")
289 (export "assert" (func $assert))
293 (func (export "f") (canon lift (core func $i "f")))
302 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
303 (export "[static]resource1.assert" (func (param "r" (own $r)) (param "rep" u32)))
305 (alias export $host "[constructor]resource1" (func $ctor))
306 (alias export $host "[static]resource1.assert" (func $assert))
308 (core func $assert (canon lower (func $assert)))
309 (core func $ctor (canon lower (func $ctor)))
312 (import "" "assert" (func $assert (param i32 i32)))
313 (import "" "ctor" (func $ctor (param i32) (result i32)))
317 (func (export "f")
322 (func (export "f2")
328 (export "assert" (func $assert))
329 (export "ctor" (func $ctor))
333 (func (export "f") (canon lift (core func $i "f")))
334 (func (export "f2") (canon lift (core func $i "f2")))
344 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
347 (alias export $host "[constructor]resource1" (func $ctor))
349 (core func $drop (canon resource.drop $r))
350 (core func $ctor (canon lower (func $ctor)))
353 (import "" "drop" (func $drop (param i32)))
354 (import "" "ctor" (func $ctor (param i32) (result i32)))
358 (func (export "f")
363 (func (export "f2")
369 (export "ctor" (func $ctor))
370 (export "drop" (func $drop))
374 (func (export "f") (canon lift (core func $i "f")))
375 (func (export "f2") (canon lift (core func $i "f2")))
386 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
394 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
396 (alias export $host "[constructor]resource1" (func $ctor))
398 (core func $ctor (canon lower (func $ctor)))
401 (import "" "ctor" (func $ctor (param i32) (result i32)))
403 (func $start
408 (with "" (instance (export "ctor" (func $ctor))))
417 (core func $drop (canon resource.drop $r))
420 (import "" "drop" (func $drop (param i32)))
422 (func (export "f")
428 (export "drop" (func $drop))
432 (func (export "f") (canon lift (core func $i "f")))
442 (core func $ctor (canon resource.new $r))
445 (import "" "ctor" (func $ctor (param i32) (result i32)))
447 (func $start
453 (with "" (instance (export "ctor" (func $ctor))))
463 (core func $drop (canon resource.drop $r))
466 (import "" "drop" (func $drop (param i32)))
468 (func (export "f")
474 (export "drop" (func $drop))
478 (func (export "f") (canon lift (core func $i "f")))
489 (core func $ctor (canon resource.new $r))
490 (core func $drop (canon resource.drop $r))
493 (import "" "ctor" (func $ctor (param i32) (result i32)))
494 (import "" "drop" (func $drop (param i32)))
496 (func (export "alloc")
499 (func (export "dealloc")
505 (export "ctor" (func $ctor))
506 (export "drop" (func $drop))
509 (func (export "alloc") (canon lift (core func $i "alloc")))
510 (func (export "dealloc") (canon lift (core func $i "dealloc")))
515 (alias export $i1 "alloc" (func $alloc_in_1))
516 (alias export $i1 "dealloc" (func $dealloc_in_1))
517 (alias export $i2 "alloc" (func $alloc_in_2))
518 (alias export $i2 "dealloc" (func $dealloc_in_2))
520 (export "alloc-in1" (func $alloc_in_1))
521 (export "dealloc-in1" (func $dealloc_in_1))
522 (export "alloc-in2" (func $alloc_in_2))
523 (export "dealloc-in2" (func $dealloc_in_2))
540 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
543 (alias export $host "[constructor]resource1" (func $ctor))
547 (import "[constructor]r" (func $ctor (param "r" u32) (result (own $r))))
549 (core func $ctor (canon lower (func $ctor)))
550 (core func $drop (canon resource.drop $r))
553 (import "" "ctor" (func $ctor (param i32) (result i32)))
554 (import "" "drop" (func $drop (param i32)))
556 (func (export "alloc")
559 (func (export "dealloc")
565 (export "ctor" (func $ctor))
566 (export "drop" (func $drop))
569 (func (export "alloc") (canon lift (core func $i "alloc")))
570 (func (export "dealloc") (canon lift (core func $i "dealloc")))
574 (with "[constructor]r" (func $ctor))
578 (with "[constructor]r" (func $ctor))
581 (alias export $i1 "alloc" (func $alloc_in_1))
582 (alias export $i1 "dealloc" (func $dealloc_in_1))
583 (alias export $i2 "alloc" (func $alloc_in_2))
584 (alias export $i2 "dealloc" (func $dealloc_in_2))
586 (export "alloc-in1" (func $alloc_in_1))
587 (export "dealloc-in1" (func $dealloc_in_1))
588 (export "alloc-in2" (func $alloc_in_2))
589 (export "dealloc-in2" (func $dealloc_in_2))
603 (core func $new1 (canon resource.new $r))
604 (core func $new2 (canon resource.new $r))
605 (core func $drop1 (canon resource.drop $r))
606 (core func $drop2 (canon resource.drop $r))
609 (import "" "new1" (func $new1 (param i32) (result i32)))
610 (import "" "new2" (func $new2 (param i32) (result i32)))
611 (import "" "drop1" (func $drop1 (param i32)))
612 (import "" "drop2" (func $drop2 (param i32)))
614 (func $start
635 (export "new1" (func $new1))
636 (export "new2" (func $new2))
637 (export "drop1" (func $drop1))
638 (export "drop2" (func $drop2))
648 (core func $drop (canon resource.drop $r))
651 (import "" "drop" (func $drop (param i32)))
653 (func (export "f")
660 (export "drop" (func $drop))
663 (func (export "f") (canon lift (core func $i "f")))
673 (func (export "dtor") (param i32)
677 (func (export "drops") (result i32) global.get $drops)
678 (func (export "last-drop") (result i32) global.get $last_drop)
683 (type $r2 (resource (rep i32) (dtor (func $i1 "dtor"))))
685 (core func $drop1 (canon resource.drop $r1))
686 (core func $drop2 (canon resource.drop $r2))
687 (core func $new1 (canon resource.new $r1))
688 (core func $new2 (canon resource.new $r2))
691 (import "" "drop1" (func $drop1 (param i32)))
692 (import "" "drop2" (func $drop2 (param i32)))
693 (import "" "new1" (func $new1 (param i32) (result i32)))
694 (import "" "new2" (func $new2 (param i32) (result i32)))
695 (import "i1" "drops" (func $drops (result i32)))
696 (import "i1" "last-drop" (func $last-drop (result i32)))
698 (func $start
738 (export "drop1" (func $drop1))
739 (export "drop2" (func $drop2))
740 (export "new1" (func $new1))
741 (export "new2" (func $new2))
751 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
752 (export "[static]resource1.last-drop" (func (result u32)))
753 (export "[static]resource1.drops" (func (result u32)))
757 (alias export $host "[constructor]resource1" (func $ctor))
758 (alias export $host "[static]resource1.last-drop" (func $last-drop))
759 (alias export $host "[static]resource1.drops" (func $drops))
761 (core func $drop (canon resource.drop $r))
762 (core func $ctor (canon lower (func $ctor)))
763 (core func $last-drop (canon lower (func $last-drop)))
764 (core func $drops (canon lower (func $drops)))
767 (import "" "drop" (func $drop (param i32)))
768 (import "" "ctor" (func $ctor (param i32) (result i32)))
769 (import "" "last-drop" (func $last-drop (result i32)))
770 (import "" "drops" (func $raw-drops (result i32)))
774 (func $drops (result i32)
778 (func $start
803 (export "drop" (func $drop))
804 (export "ctor" (func $ctor))
805 (export "last-drop" (func $last-drop))
806 (export "drops" (func $drops))
815 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
816 (export "[method]resource1.simple" (func (param "self" (borrow $r)) (param "rep" u32)))
817 … (export "[method]resource1.take-borrow" (func (param "self" (borrow $r)) (param "b" (borrow $r))))
818 (export "[method]resource1.take-own" (func (param "self" (borrow $r)) (param "b" (own $r))))
822 (alias export $host "[constructor]resource1" (func $ctor))
823 (alias export $host "[method]resource1.simple" (func $simple))
824 (alias export $host "[method]resource1.take-borrow" (func $take-borrow))
825 (alias export $host "[method]resource1.take-own" (func $take-own))
827 (core func $drop (canon resource.drop $r))
828 (core func $ctor (canon lower (func $ctor)))
829 (core func $simple (canon lower (func $simple)))
830 (core func $take-own (canon lower (func $take-own)))
831 (core func $take-borrow (canon lower (func $take-borrow)))
834 (import "" "drop" (func $drop (param i32)))
835 (import "" "ctor" (func $ctor (param i32) (result i32)))
836 (import "" "simple" (func $simple (param i32 i32)))
837 (import "" "take-own" (func $take-own (param i32 i32)))
838 (import "" "take-borrow" (func $take-borrow (param i32 i32)))
841 (func $start
879 (export "drop" (func $drop))
880 (export "ctor" (func $ctor))
881 (export "simple" (func $simple))
882 (export "take-own" (func $take-own))
883 (export "take-borrow" (func $take-borrow))
892 (export "[constructor]resource1" (func (param "r" u32) (result (own $r))))
893 (export "[method]resource1.take-own" (func (param "self" (borrow $r)) (param "b" (own $r))))
897 (alias export $host "[constructor]resource1" (func $ctor))
898 (alias export $host "[method]resource1.take-own" (func $take-own))
900 (core func $drop (canon resource.drop $r))
901 (core func $ctor (canon lower (func $ctor)))
902 (core func $take-own (canon lower (func $take-own)))
905 (import "" "drop" (func $drop (param i32)))
906 (import "" "ctor" (func $ctor (param i32) (result i32)))
907 (import "" "take-own" (func $take-own (param i32 i32)))
910 (func (export "f")
918 (export "drop" (func $drop))
919 (export "ctor" (func $ctor))
920 (export "take-own" (func $take-own))
924 (func (export "f") (canon lift (core func $i "f")))
933 (export "[method]resource1.simple" (func (param "self" (borrow $r)) (param "b" u32)))
937 (alias export $host "[method]resource1.simple" (func $simple))
939 (core func $drop (canon resource.drop $r))
940 (core func $simple (canon lower (func $simple)))
943 (import "" "drop" (func $drop (param i32)))
944 (import "" "simple" (func $simple (param i32 i32)))
947 (func (export "f")
953 (export "drop" (func $drop))
954 (export "simple" (func $simple))
958 (func (export "f") (canon lift (core func $i "f")))
968 (core func $ctor (canon resource.new $t))
969 (core func $dtor (canon resource.drop $t))
970 (core func $rep (canon resource.rep $t))
973 (import "" "dtor" (func $dtor (param i32)))
974 (import "" "rep" (func $rep (param i32) (result i32)))
976 (func (export "[method]t.assert") (param i32 i32)
979 (func (export "[static]t.assert-own") (param i32 i32)
986 (export "dtor" (func $dtor))
987 (export "rep" (func $rep))
990 (func (export "[constructor]t") (param "x" u32) (result (own $t))
991 (canon lift (core func $ctor)))
992 (func (export "[method]t.assert") (param "self" (borrow $t)) (param "x" u32)
993 (canon lift (core func $i "[method]t.assert")))
994 (func (export "[static]t.assert-own") (param "self" (own $t)) (param "x" u32)
995 (canon lift (core func $i "[static]t.assert-own")))
1002 (export "[constructor]t" (func (param "x" u32) (result (own $t))))
1003 (export "[method]t.assert" (func (param "self" (borrow $t)) (param "x" u32)))
1004 (export "[static]t.assert-own" (func (param "self" (own $t)) (param "x" u32)))
1008 (alias export $i "[constructor]t" (func $ctor))
1009 (alias export $i "[method]t.assert" (func $assert-borrow))
1010 (alias export $i "[static]t.assert-own" (func $assert-own))
1012 (core func $ctor (canon lower (func $ctor)))
1013 (core func $dtor (canon resource.drop $t))
1014 (core func $assert-own (canon lower (func $assert-own)))
1015 (core func $assert-borrow (canon lower (func $assert-borrow)))
1018 (import "" "ctor" (func $ctor (param i32) (result i32)))
1019 (import "" "dtor" (func $dtor (param i32)))
1020 (import "" "assert-own" (func $assert-own (param i32 i32)))
1021 (import "" "assert-borrow" (func $assert-borrow (param i32 i32)))
1023 (func (export "f")
1042 (export "ctor" (func $ctor))
1043 (export "dtor" (func $dtor))
1044 (export "assert-own" (func $assert-own))
1045 (export "assert-borrow" (func $assert-borrow))
1048 (func (export "f") (canon lift (core func $i "f")))
1051 (export "f" (func $b "f"))
1061 (core func $drop1 (canon resource.drop $r1))
1062 (core func $drop2 (canon resource.drop $r2))
1063 (core func $new1 (canon resource.new $r1))
1064 (core func $new2 (canon resource.new $r2))
1067 (import "" "drop1" (func $drop1 (param i32)))
1068 (import "" "drop2" (func $drop2 (param i32)))
1069 (import "" "new1" (func $new1 (param i32) (result i32)))
1070 (import "" "new2" (func $new2 (param i32) (result i32)))
1072 (func (export "drop-r1-as-r2") (call $drop2 (call $new1 (i32.const 100))))
1073 (func (export "return-r1-as-r2") (result i32) (call $new1 (i32.const 100)))
1078 (export "drop1" (func $drop1))
1079 (export "drop2" (func $drop2))
1080 (export "new1" (func $new1))
1081 (export "new2" (func $new2))
1086 (func (export "drop-r1-as-r2") (canon lift (core func $i2 "drop-r1-as-r2")))
1087 …(func (export "return-r1-as-r2") (result (own $r2')) (canon lift (core func $i2 "return-r1-as-r2")…
1098 (core func $resource.new (canon resource.new $r))
1099 (core func $resource.rep (canon resource.rep $r))
1102 (import "" "resource.new" (func $resource.new (param i32) (result i32)))
1103 (import "" "resource.rep" (func $resource.rep (param i32) (result i32)))
1107 (func (export "run")
1110 (func (export "post-return")
1119 (export "resource.new" (func $resource.new))
1120 (export "resource.rep" (func $resource.rep))
1122 (func (export "run")
1123 (canon lift (core func $dm "run") (post-return (func $dm "post-return"))))