~/jendhub

def read_field

bendvy-ecs-core@0.1.0.4 · ordinary_check_declaration.bend:41

import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as OrdinaryCheckDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

41def read_field(~S:Data,~P:Type,~identity:Schema.Resource<S,P>,~H:Type,~V:Data,value:ResourceRead<S,P,identity,H,V>) -> H -> H & Maybe<&2,V>:
42  match value:
43    case ResourceRead{read}:Cap.value_read_field(~H,~Maybe<&2,V>,read)

Uses (5)

Used by (1)