|
| 1 | +#if INTEGRATED_ASYNC |
| 2 | +using FsCheck; |
| 3 | +using FsCheck.Fluent; |
| 4 | +using FsCheck.Xunit; |
| 5 | +using Funcky.Test.TestUtilities; |
| 6 | + |
| 7 | +namespace Funcky.Test.AsyncSequence; |
| 8 | + |
| 9 | +public sealed class RepeatRangeTest |
| 10 | +{ |
| 11 | + [Fact] |
| 12 | + public async Task RepeatRangeIsEnumeratedLazily() |
| 13 | + { |
| 14 | + var doNotEnumerate = new FailOnEnumerateAsyncSequence<object>(); |
| 15 | + |
| 16 | + await using var repeatRange = Funcky.AsyncSequence.RepeatRange(doNotEnumerate, 2); |
| 17 | + } |
| 18 | + |
| 19 | + [Fact] |
| 20 | + public async Task RepeatRangeThrowsWhenAlreadyDisposedAsync() |
| 21 | + { |
| 22 | + var repeatRange = Funcky.AsyncSequence.RepeatRange(Funcky.AsyncSequence.Return(1337), 5); |
| 23 | + |
| 24 | +#pragma warning disable IDISP016 // we test behaviour after Dispose |
| 25 | +#pragma warning disable IDISP017 // we test behaviour after Dispose |
| 26 | + await repeatRange.DisposeAsync(); |
| 27 | +#pragma warning restore IDISP016 |
| 28 | +#pragma warning restore IDISP017 |
| 29 | + |
| 30 | + await Assert.ThrowsAsync<ObjectDisposedException>(() => repeatRange.ForEachAsync(NoOperation<int>)); |
| 31 | + } |
| 32 | + |
| 33 | + [Fact] |
| 34 | + public async Task RepeatRangeThrowsWhenAlreadyDisposedEvenIfYouDisposeBetweenMoveNextAsync() |
| 35 | + { |
| 36 | + var list = Funcky.AsyncSequence.Return(1337, 2, 5); |
| 37 | + |
| 38 | + const int repeats = 5; |
| 39 | + |
| 40 | + foreach (var i in Enumerable.Range(0, await list.CountAsync() * repeats)) |
| 41 | + { |
| 42 | + var repeatRange = Funcky.AsyncSequence.RepeatRange(list, repeats); |
| 43 | + await using var enumerator = repeatRange.GetAsyncEnumerator(); |
| 44 | + |
| 45 | + Assert.True(await AsyncEnumerable.Range(0, i).AllAwaitAsync(async _ => await enumerator.MoveNextAsync())); |
| 46 | + |
| 47 | +#pragma warning disable IDISP016 // we test behaviour after Dispose |
| 48 | +#pragma warning disable IDISP017 // we test behaviour after Dispose |
| 49 | + await repeatRange.DisposeAsync(); |
| 50 | +#pragma warning restore IDISP016 |
| 51 | +#pragma warning restore IDISP017 |
| 52 | + |
| 53 | + await Assert.ThrowsAnyAsync<ObjectDisposedException>(async () => await enumerator.MoveNextAsync()); |
| 54 | + } |
| 55 | + } |
| 56 | + |
| 57 | + [Property] |
| 58 | + public Property TheLengthOfTheGeneratedRepeatRangeIsCorrect(List<int> list, NonNegativeInt count) |
| 59 | + => TheLengthOfTheGeneratedRepeatRangeIsCorrectAsync(list, count.Get) |
| 60 | + .Result |
| 61 | + .ToProperty(); |
| 62 | + |
| 63 | + [Property] |
| 64 | + public Property TheSequenceRepeatsTheGivenNumberOfTimes(List<int> list, NonNegativeInt count) |
| 65 | + => TheSequenceRepeatsTheGivenNumberOfTimesAsync(list.ToAsyncEnumerable(), count.Get) |
| 66 | + .Result |
| 67 | + .ToProperty(); |
| 68 | + |
| 69 | + [Fact] |
| 70 | + public async Task RepeatRangeEnumeratesUnderlyingEnumerableOnlyOnceAsync() |
| 71 | + { |
| 72 | + var sequence = Sequence.Return("Test", "Hello", "Do", "Wait"); |
| 73 | + var enumerateOnce = AsyncEnumerateOnce.Create(sequence); |
| 74 | + |
| 75 | + await using var repeatRange = Funcky.AsyncSequence.RepeatRange(enumerateOnce, 3); |
| 76 | + |
| 77 | + await repeatRange.ForEachAsync(NoOperation<string>); |
| 78 | + } |
| 79 | + |
| 80 | + private static async Task<bool> TheLengthOfTheGeneratedRepeatRangeIsCorrectAsync(List<int> list, int count) |
| 81 | + { |
| 82 | + await using var repeatRange = Funcky.AsyncSequence.RepeatRange(list.ToAsyncEnumerable(), count); |
| 83 | + |
| 84 | + var materialized = await repeatRange.ToListAsync(); |
| 85 | + |
| 86 | + return materialized.Count == list.Count * count; |
| 87 | + } |
| 88 | + |
| 89 | + private static async Task<bool> TheSequenceRepeatsTheGivenNumberOfTimesAsync(IAsyncEnumerable<int> asyncEnumerable, int count) |
| 90 | + { |
| 91 | + await using var repeatRange = Funcky.AsyncSequence.RepeatRange(asyncEnumerable, count); |
| 92 | + |
| 93 | + return await repeatRange |
| 94 | + .IsSequenceRepeating(asyncEnumerable) |
| 95 | + .NTimes(count); |
| 96 | + } |
| 97 | +} |
| 98 | +#endif |
0 commit comments