8 Replies
type("string>0") or type("string").atLeastLength(1)Ah thanks
Docs are still a WIP, but you may find this page useful: https://arktype.io/reference/cheat-sheet/
I think I tried "1<=string" and got an error about this only being valid for numbers, so figured I couldn't do it like that.
And did see that page but I don't think it says for strings.
It sort of does
Is this the error you got? 😛
I really don't know, maybe I was being dumb
I mean the docs could definitely be better, but the type-level errors for that kind of thing are also super specific so should help