def capacity_error

bendvy-ecs-core@0.1.0.4 · restore_apply.bend:34

import bendvy-ecs-core@0.1.0.4/restore_apply.bend as RestoreApply
import Base
import bendvy-ecs-core@0.1.0.4/restore_data.bend as R
import bendvy-ecs-core@0.1.0.4/snapshot_data.bend as Snapshot

34def capacity_error(~Custom:Data,input:Snapshot.Snapshot) -> R.Error<Custom>:
35  match input:
36    case Snapshot.Snapshot{_,floor,_,_}:R.Capacity{floor}

Uses (2)

Used by (1)