~/jendhub

def check_result

bendvy-ecs-core@0.1.0.4 · ordinary_checked_condition.bend:26

import bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend as OrdinaryCheckedCondition
import Base
import bendvy-ecs-core@0.1.0.4/check.bend as K

26def check_result(value:Result<&2,&2,K.Error,Bool>) -> Result<&2,&2,Error,Bool>:
27  match value:
28    case Done{value}:Done{value}
29    case Fail{error}:Fail{CheckError{error}}

Uses (4)

Used by (1)