RepeatWith.cs (2277B)
1 using Std.Convert; 2 using Std.Maybe; 3 using Std.Ops; 4 using Std.Result; 5 using System; 6 using System.Runtime.InteropServices; 7 #region Namespaces 8 namespace Std.Iter { 9 #region Types 10 [StructLayout(LayoutKind.Sequential, CharSet = CharSet.Unicode, Pack = 0)] 11 public readonly struct RepeatWith<T>: IFusedIterator<T>, IInto<RepeatWith<T>> where T: notnull { 12 13 #region Type-level Constructors 14 #endregion 15 16 #region Instance Constructors 17 public RepeatWith() => throw new InvalidOperationException("Parameterless constructor is not allowed to be called!"); 18 internal RepeatWith(Fn<T> f) => _f = f; 19 #endregion 20 21 #region Type-level Fields 22 #endregion 23 24 #region Instance Fields 25 readonly Fn<T> _f; 26 #endregion 27 28 #region Type-level Properties 29 #endregion 30 31 #region Instance Properties 32 #endregion 33 34 #region Type-level Functions 35 #endregion 36 37 #region Instance Functions 38 public readonly Result<Unit, ulong> AdvanceBy(ulong n) => IIterator<T>.AdvanceByDefault(this, n); 39 public readonly ulong Count() => IIterator<T>.CountDefault(this); 40 public override readonly bool Equals(object? _) => false; 41 public readonly TInit Fold<TInit>(TInit init, Fn<TInit, T, TInit> f) where TInit: notnull => IIterator<T>.FoldDefault(this, init, f); 42 public override readonly int GetHashCode() => 0; 43 public readonly RepeatWith<T> Into() => this; 44 public readonly Maybe<T> Last() => IIterator<T>.LastDefault(this); 45 public readonly Maybe<T> Next() => new(_f()); 46 public readonly Prod<ulong, Maybe<ulong>> SizeHint() => new(ulong.MaxValue, Maybe<ulong>.None()); 47 public override readonly string ToString() => string.Empty; 48 public readonly Result<TInit, TErr> TryFold<TInit, TErr>(TInit init, Fn<TInit, T, Result<TInit, TErr>> f) where TInit: notnull where TErr: notnull => IIterator<T>.TryFoldDefault(this, init, f); 49 readonly Result<RepeatWith<T>, Bottom> ITryInto<RepeatWith<T>, Bottom>.TryInto() => new(this); 50 #endregion 51 52 #region Operators 53 #endregion 54 55 #region Types 56 #endregion 57 } 58 #endregion 59 60 #region Namespaces 61 #endregion 62 } 63 #endregion