~/jendhub

def read_field

bendvy-ecs-core@0.1.0.4 · ordinary_check_machine.bend:14

import bendvy-ecs-core@0.1.0.4/ordinary_check_machine.bend as OrdinaryCheckMachine
import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

14def read_field(~S:Data,~Token:Data,~V:Data,~H:Type,value:Read<S,Token,V,H>) -> H -> H & M.CurrentView<S,Token,V>:
15  match value:
16    case Read{read}:Cap.value_read_field(~H,~M.CurrentView<S,Token,V>,read)

Uses (4)

Used by (1)