def raw_size

bendvy-ecs-core@0.1.0.3 · decode_size.bend:12

import Base
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

12def raw_size(raw:D.Raw) -> Nat:
13  match raw:
14    case D.Array{[]}: 1n
15    case D.Array{head <> rest}: Nat.add(raw_size(head),raw_size(D.Array{rest}))
16    case D.Object{[]}: 1n
17    case D.Object{D.Field{_,child} <> rest}: Nat.add(raw_size(child),raw_size(D.Object{rest}))
18    case _: 1n