feat: return a template literal for `uuid` action

[sandros94]

This is just a small idea, feel free to close.

While working with node/web crypto I've noticed that randomUUID returns a template literal:

(alias) randomUUID(): `${string}-${string}-${string}-${string}-${string}`
import randomUUID
Available only in secure contexts.

Would it be possible to do the same for uuid action? Is it sufficient to change the TOutput of its BaseValidation?

valibot/library/src/actions/uuid/uuid.ts

Line 41 in eac543c

> extends BaseValidation<TInput, TInput, UuidIssue<TInput>> {

[fabian-hiller]

Thanks for creating this issue. At the moment uuid is just a validation action and they don't transform output types. Nevertheless, your idea is great and I will take a close look at it in the next few weeks.

[sandros94]

Thanks for creating this issue. At the moment uuid is just a validation action and they don't transform output types. Nevertheless, your idea is great and I will take a close look at it in the next few weeks.

Thanks, once you do tell me if I can help somehow

[fabian-hiller]

Feel free to join our discussion in #986, which is strongly related to this issue.

[fabian-hiller]

As I wrote in PR #986, I plan to look at this again before releasing v2. If you would like such a feature (for other similar actions as well), please give this comment a thumbs up and share your use case with us.

[lotap]

I was looking for similar functionality in the output of v.ip() (and ipv4 and ipv6) and found this issue

From a user perspective, it makes sense that after passing validation the type should be narrowed

After reading #986 I understand it may not be as straightforward as it seems on the surface. But for my use-case, v.custom provided the desired functionality

const NarrowingIpv4 = v.custom<`${number}.${number}.${number}.${number}`>(
  (input) => (typeof input === "string" ? v.IPV4_REGEX.test(input) : false)
);

It would be nice if that behavior was built-in

[fabian-hiller]

Thank you for your feedback! I will consider it in the long run.