def array_resource

bendvy-ecs-core@0.1.0.4 · ordinary_schema_dump.bend:42

import bendvy-ecs-core@0.1.0.4/ordinary_schema_dump.bend as OrdinarySchemaDump
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/ordinary_schema_provision.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/ordinary_dump_builtin.bend as Builtin

42# Resource dump provision with built-in Array<U32> presentation.
43# Retains the array owner; does not inspect it until dump evaluation.
44def array_resource(~S:Data,declaration:Schema.Resource<S,Array<U32>>) -> Provision<S,Unit,Array<U32>,Ordinary.resource_empty,Ordinary.resource_count(~S),resource_components,resource_read(~Array<U32>,~Builtin.array)>:
45  resource(~S,~Array<U32>,~Builtin.array,declaration)

Uses (11)

Used by (0)

No other definition uses this definition.