public NebulaCheck.IGen <Test> OtherwiseIfCharTypeHasWhitespace_ItShrinksToSpace() =>
from charType in TestGen.CharType(GalaxyCheck.Gen.CharType.Alphabetical)
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Whitespace | charType);
var minimum = gen.Minimum(seed: seed, size: size);
minimum.Should().Be(' ');
});
public NebulaCheck.IGen <Test> IfCharTypeHasAlphabetical_ItShrinksToLowercaseA() =>
from charType in TestGen.CharType()
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Alphabetical | charType);
var minimum = gen.Minimum(seed: seed, size: size);
minimum.Should().Be('a');
});
public NebulaCheck.IGen <Test> OtherwiseIfCharTypeHasSymbol_ItShrinksToExclamationMark() =>
from charType in TestGen.CharType(
GalaxyCheck.Gen.CharType.Whitespace,
GalaxyCheck.Gen.CharType.Alphabetical,
GalaxyCheck.Gen.CharType.Numeric)
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Symbol | charType);
var minimum = gen.Minimum(seed: seed, size: size);
minimum.Should().Be('!');
});
public NebulaCheck.IGen <Test> OtherwiseIfCharTypeHasExtended_ItShrinksToMajusculeCCedilla() =>
from charType in TestGen.CharType(
GalaxyCheck.Gen.CharType.Whitespace,
GalaxyCheck.Gen.CharType.Alphabetical,
GalaxyCheck.Gen.CharType.Numeric,
GalaxyCheck.Gen.CharType.Symbol)
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Extended | charType);
var minimum = gen.Minimum(seed: seed, size: size);
minimum.Should().Be('\u0080');
});