def not

bendvy-ecs-core@0.1.0.4 · ordinary_condition_composition.bend:73

import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as OrdinaryConditionComposition

import Base

73def not(~World:Type,~Owner:Type,~evaluate:Owner -> World -> Evaluation<World,Owner>,condition:Condition<World,Owner,evaluate>) -> Condition<World,Owner,not_run(~World,~Owner,~evaluate)>:
74  match condition:
75    case Condition{owner,Description{name,access,leaves}}:Condition{owner,Description{"!(" ++ name ++ ")",access,leaves}}

Uses (5)

Used by (0)

No other definition uses this definition.