Exemplos de Dixin.Linq.CategoryTheory TraceHelper em C# (CSharp)

Exemplo n.º 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));

Exemplo n.º 2

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