~/jendhub

def registered_checked

bendvy-ecs-core@0.1.0.4 · event_stream.bend:21

import bendvy-ecs-core@0.1.0.4/event_stream.bend as EventStream
import Base

21def registered_checked(~S:Data,~E:Data,available:Bool,stream:Stream<S,E>,+tick:Nat) -> Stream<S,E> & U32:
22  match available:
23    case False{}:(stream,0)
24    case True{}:increment_reader(~S,~E,stream,tick)

Uses (7)

Used by (1)