Esempio n. 1
0
        public async Task Handle(TrafficLightStateMachine light)
        {
            TraceHelper.Log(nameof(RedState)).Invoke();
            await Task.Delay(2000);

            // await light.MoveNext(new GreenState());
        }
Esempio n. 2
0
 internal static IO <Task <TrafficLightState> > GreenState
     () =>
 from _ in TraceHelper.Log(nameof(GreenState))
 select(from __ in Task.Delay(TimeSpan.FromSeconds(3))
        select new TrafficLightState(YellowState));
Esempio n. 3
0
 internal static IO <Task <TrafficLightState> > RedState
     () =>
 from _ in TraceHelper.Log(nameof(RedState))
 select(from __ in Task.Delay(TimeSpan.FromSeconds(2))
        select default(TrafficLightState));