get_resource_id()

get_resource_id()

function get_resource_id(resource $resource): int

Returns an integer identifier for the given resource.

Parameters:

• $resource (resource)

Returns: int

Availability

• Compiled (AOT): supported by the Elephc code generator.
• eval() (magician interpreter): supported — declarative interpreter builtin (crates/elephc-magician/src/interpreter/builtins/symbols/get_resource_id.rs).

No examples yet — check examples/ and showcases/ for usage patterns.

Internals

For how get_resource_id is implemented in the compiler, see the internals page.