C# (CSharp) Nessos.Effects.Examples.NonDeterminism NonDetEffect示例

示例#1

文件： Program.cs 项目： rmdouglas/Eff

        static async Eff Test()
        {
            var x = await NonDetEffect.Choose(1, 2, 3);

            var y = await NonDetEffect.Choose("one", "two", "three");

            var z = await NonDetEffect.Choose(false, true);

            Console.WriteLine($"x = {x}, y = {y}, z = {z}");
        }

示例#2

        static async Eff <(int, string, bool)> Test()
        {
            var x = await NonDetEffect.Choose(1, 2, 3);

            var y = await NonDetEffect.Choose("one", "two", "three");

            var z = await NonDetEffect.Choose(false, true);

            return(x, y, z);
        }