isKnownGermanPostcode関数

Whether GeoNames' list for Germany has a postcode (its places include those of large firms, whose postcodes are their own). The list is GeoNames' (CC BY 4.0), not Deutsche Post's, so a postcode made since it was copied is not in it: an unknown one is a warning for a validator to give, not proof that it does not exist.

import { isKnownGermanPostcode } from "@johnmorrisdotca/address-plus/de";

function isKnownGermanPostcode(postcode: string): boolean

import { isKnownGermanPostcode } from "@johnmorrisdotca/address-plus/de";

console.log(["10115", "80331", "00000", "99999"].map(isKnownGermanPostcode));
// → [true,true,false,false]

[ true, true, false, false ]