C# (CSharp) Dixin.Linq.CategoryTheory TraceHelper Examples

Example #1

 internal static IO <Task <TrafficLightState> > GreenState
     () =>
 from _ in TraceHelper.Log(nameof(GreenState))
 select(from __ in Task.Delay(TimeSpan.FromSeconds(3))
        select new TrafficLightState(YellowState));

Example #2

 internal static IO <Task <TrafficLightState> > RedState
     () =>
 from _ in TraceHelper.Log(nameof(RedState))
 select(from __ in Task.Delay(TimeSpan.FromSeconds(2))
        select default(TrafficLightState));