Allow dots in identifiers

This commit is contained in:
Eike Kettner 2020-01-07 00:20:41 +01:00
parent 32050a9faf
commit 4490a444a9

View File

@ -15,7 +15,7 @@ object Ident {
implicit val identEq: Eq[Ident] =
Eq.by(_.id)
val chars: Set[Char] = (('A' to 'Z') ++ ('a' to 'z') ++ ('0' to '9') ++ "-_").toSet
val chars: Set[Char] = (('A' to 'Z') ++ ('a' to 'z') ++ ('0' to '9') ++ "-_.").toSet
def randomUUID[F[_]: Sync]: F[Ident] =
Sync[F].delay(unsafe(UUID.randomUUID.toString))