This commit is contained in:
Aaron Po
2026-08-04 06:22:19 -04:00
parent f665df578c
commit 37667db2f6
19 changed files with 117 additions and 109 deletions

View File

@@ -5,4 +5,4 @@ public sealed record BreweryAddress
public required City City { get; init; }
public required string PostalCode { get; init; }
}
}

View File

@@ -5,4 +5,4 @@ public sealed record BreweryRecord
public required BreweryAddress Address { get; init; }
public required BreweryResult Brewery { get; init; }
}
}

View File

@@ -9,4 +9,4 @@ public sealed record BreweryResult
public required string NameLocal { get; init; }
public required string DescriptionLocal { get; init; }
}
}

View File

@@ -15,4 +15,4 @@ public sealed record City
public IReadOnlyList<string> LocalLanguages { get; init; } = [];
public required PostalCodeSpec PostalCode { get; init; }
}
}

View File

@@ -7,4 +7,4 @@ public sealed record PostalCodeSpec
public IReadOnlyList<string> CityRegexes { get; init; } = [];
public IReadOnlyList<string> Examples { get; init; } = [];
}
}

View File

@@ -5,4 +5,4 @@ public sealed record UserAddress
public required City City { get; init; }
public required string PostalCode { get; init; }
}
}

View File

@@ -9,4 +9,4 @@ public sealed record UserRecord
public required string Email { get; init; }
public required string DateOfBirth { get; init; }
}
}

View File

@@ -13,4 +13,4 @@ public sealed record UserResult
public required string Bio { get; init; }
public required float ActivityWeight { get; init; }
}
}