def negate

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

import Base

58def negate(value:Result<&2,&2,Error,Bool>) -> Result<&2,&2,Error,Bool>:
59  match value:
60    case Done{value}:Done{Bool.not(value)}
61    case Fail{error}:Fail{error}