-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathCycleRangeTest.cs
More file actions
69 lines (54 loc) · 2.46 KB
/
CycleRangeTest.cs
File metadata and controls
69 lines (54 loc) · 2.46 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
using FsCheck;
using FsCheck.Fluent;
using FsCheck.Xunit;
using Funcky.Async.Test.TestUtilities;
using Funcky.Test.TestUtils;
namespace Funcky.Async.Test;
public sealed class CycleRangeTest
{
[Fact]
public async Task CycleRangeIsEnumeratedLazilyAsync()
{
var doNotEnumerate = new FailOnEnumerateAsyncSequence<object>();
await using var cycleRange = AsyncSequence.CycleRange(doNotEnumerate);
}
[Fact]
public async Task CyclingAnEmptySetThrowsAnArgumentException()
=> await Assert.ThrowsAsync<InvalidOperationException>(CycleEmptySequenceAsync);
[Property]
public Property CycleRangeCanProduceArbitraryManyItemsAsync(NonEmptySet<int> sequence, PositiveInt arbitraryElements)
=> (GetArbitraryManyItemsAsync(sequence.Get, arbitraryElements.Get).Result == arbitraryElements.Get)
.ToProperty();
[Property]
public Property CycleRangeRepeatsTheElementsArbitraryManyTimes(NonEmptySet<int> sequence, PositiveInt arbitraryElements)
=> CycleRangeRepeatsTheElementsArbitraryManyTimesAsync(sequence.Get.ToAsyncEnumerable(), arbitraryElements.Get)
.Result.ToProperty();
[Fact]
public async Task CycleRangeEnumeratesUnderlyingEnumerableOnlyOnceAsync()
{
var sequence = Sequence.Return("Test", "Hello", "Do", "Wait");
var enumerateOnce = AsyncEnumerateOnce.Create(sequence);
await using var cycleRange = AsyncSequence.CycleRange(enumerateOnce);
await cycleRange
.Take(sequence.Count * 3)
.ForEachAsync(NoOperation<string>);
}
private static async Task<int> GetArbitraryManyItemsAsync(IEnumerable<int> sequence, int arbitraryElements)
{
await using var cycleRange = AsyncSequence.CycleRange(sequence.ToAsyncEnumerable());
return await cycleRange.Take(arbitraryElements).CountAsync();
}
private static async Task CycleEmptySequenceAsync()
{
await using var cycledRange = AsyncSequence.CycleRange(AsyncSequence.Return<string>());
await using var enumerator = cycledRange.GetAsyncEnumerator();
await enumerator.MoveNextAsync();
}
private async Task<bool> CycleRangeRepeatsTheElementsArbitraryManyTimesAsync(IAsyncEnumerable<int> asyncEnumerable, int arbitraryElements)
{
await using var cycleRange = AsyncSequence.CycleRange(asyncEnumerable);
return await cycleRange
.IsSequenceRepeating(asyncEnumerable)
.NTimes(arbitraryElements);
}
}