Add IsZero() and fix empty suffix bug

typeid/typeid-go/constructors.go

@@ -60,7 +60,7 @@ func FromSuffix[T Subtype, PT SubtypePtr[T]](suffix string) (T, error) {
 	}
 
 	prefix := defaultType[T]()
-	return from[T, PT](prefix, suffix)
+	return parse[T, PT](prefix, suffix)
 }
 
 // FromString parses a TypeID from a string of the form <prefix>_<suffix>
@@ -83,7 +83,7 @@ func Parse[T Subtype, PT SubtypePtr[T]](s string) (T, error) {
 		var id T
 		return id, err
 	}
-	return from[T, PT](prefix, suffix)
+	return parse[T, PT](prefix, suffix)
 }
 
 func split(id string) (string, string, error) {
@@ -146,6 +146,14 @@ func fromUUID[T Subtype, PT SubtypePtr[T]](prefix, uidStr string) (T, error) {
 		return nilID, err
 	}
 	suffix := base32.Encode(uid)
+	return parse[T, PT](prefix, suffix)
+}
+
+func parse[T Subtype, PT SubtypePtr[T]](prefix string, suffix string) (T, error) {
+	if suffix == "" {
+		var id T
+		return id, errors.New("suffix can't be the empty string")
+	}
 	return from[T, PT](prefix, suffix)
 }
 

typeid/typeid-go/subtype.go

@@ -32,8 +32,8 @@ func (tid *TypeID[P]) init(prefix string, suffix string) {
 		tid.prefix = prefix
 	}
 
-	// If we're dealing with the "nil" suffix, we don't need to store it.
-	if suffix != nilSuffix {
+	// If we're dealing with the "zero" suffix, we don't need to store it.
+	if suffix != zeroSuffix {
 		tid.suffix = suffix
 	}
 }

typeid/typeid-go/testdata/invalid.yml

@@ -97,3 +97,13 @@
 - name: prefix-underscore-end
   typeid: "prefix__00000000000000000000000000"
   description: "The prefix can't end with an underscore"
+
+# Tests specific to our golang implementation, consider promoting to the
+# spec tests
+- name: empty
+  typeid: ""
+  description: "The empty string is not a valid typeid"
+
+- name: prefix-empty
+  typeid: "prefix_"
+  description: "The suffix can't be the empty string"

typeid/typeid-go/typeid.go

@@ -19,13 +19,13 @@ func (tid TypeID[P]) Prefix() string {
 	return defaultPrefix[P]()
 }
 
-const nilSuffix = "00000000000000000000000000"
+const zeroSuffix = "00000000000000000000000000"
 
 // Suffix returns the suffix of the TypeID in it's canonical base32 representation.
 func (tid TypeID[P]) Suffix() string {
-	// We want to treat the "empty" TypeID as equivalent to the Nil typeid
+	// We want to treat the "empty" TypeID as equivalent to the 'zero' typeid
 	if tid.suffix == "" {
-		return nilSuffix
+		return zeroSuffix
 	}
 	return tid.suffix
 }
@@ -59,6 +59,18 @@ func (tid TypeID[P]) UUID() string {
 	return uuid.FromBytesOrNil(tid.UUIDBytes()).String()
 }
 
+// IsZero returns true if the suffix of the TypeID is the zero suffix:
+// "00000000000000000000000000"
+//
+// Note that IsZero() returns true regardless of the prefix value. All
+// of these ids would return `IsZero == true`:
+// + "prefix_00000000000000000000000000"
+// + "test_00000000000000000000000000"
+// + "00000000000000000000000000"
+func (tid TypeID[P]) IsZero() bool {
+	return tid.suffix == "" || tid.suffix == zeroSuffix
+}
+
 // Must returns a TypeID if the error is nil, otherwise panics.
 // Often used with New() to create a TypeID in a single line as follows:
 // tid := Must(New("prefix"))

typeid/typeid-go/typeid_test.go

@@ -39,6 +39,34 @@ func TestNilIsEmpty(t *testing.T) {
 	assert.Equal(t, nilID.UUIDBytes(), emptyID.UUIDBytes())
 }
 
+func TestIsZero(t *testing.T) {
+	testdata := []struct {
+		input  string
+		output bool
+	}{
+		// IsZero == true values
+		{"00000000000000000000000000", true},
+		{"prefix_00000000000000000000000000", true},
+		{"other_00000000000000000000000000", true},
+		// IsZero == false values
+		{"00000000000000000000000001", false},
+		{"prefix_00000000000000000000000001", false},
+		{"other_00000000000000000000000001", false},
+	}
+
+	for _, td := range testdata {
+		t.Run(td.input, func(t *testing.T) {
+			tid, err := typeid.FromString(td.input)
+			if err != nil {
+				t.Error(err)
+			}
+			if tid.IsZero() != td.output {
+				t.Errorf("TypeId.IsZero should be %v for id %s", td.output, td.input)
+			}
+		})
+	}
+}
+
 func TestInvalidPrefix(t *testing.T) {
 	testdata := []struct {
 		name  string