OpaqueUUIDString

org.encalmo.models.OpaqueUUIDString
trait OpaqueUUIDString[O <: String] extends OpaqueString[O]

Attributes

Graph
Supertypes
trait OpaqueString[O]
trait AutoShow[O, String]
trait OpaqueType[O, String]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

object given_Conversion_O_T extends Conversion[O, T]

Attributes

Inherited from:
AutoShow
Supertypes
class Conversion[O, T]
trait O => T
class Object
trait Matchable
class Any

Value members

Concrete methods

inline def apply(value: String): O
inline def show(value: O): String

Inherited methods

inline def unapply(value: O): Option[String]

Attributes

Inherited from:
OpaqueType

Concrete fields

inline val uuidPattern: "[a-z0-9]{8}-[a-z0-9]{4}-[a-z0-9]{4}-[a-z0-9]{4}-[a-z0-9]{12}"

Givens

Inherited givens

Attributes

Inherited from:
AutoShow
given given_Function_O_Value: O => Value

Attributes

Inherited from:
OpaqueString
given given_ReadWriter_O: ReadWriter[O]

Attributes

Inherited from:
OpaqueString

Extensions

Inherited extensions

extension (value: O)
inline def existsIn(values: O*): Boolean

Attributes

Inherited from:
OpaqueType