public bool Value_Gets_Only_Been_Read_Once(NonNull <object> x, FsCheck.PositiveInt times) { IEnumerable <Maybe <object> > xs = Enumerable.Repeat(ReadOnce.Wrap(x.Get), times.Get) .Select(f => f()); IEnumerable <Maybe <object> > ys = new[] { Maybe.Just(x.Get) } .Concat(Enumerable.Repeat(Maybe <object> .Nothing, times.Get - 1)); return(xs.SequenceEqual(ys)); }
/// <summary> /// Initializes a new instance of the <see cref="Password"/> class. /// </summary> public Password(string password) { _password = new ReadOnce <string>(password); }