root
API
Generated with
root/org.encalmo.models/OpaqueStringWithValidator

OpaqueStringWithValidator

org.encalmo.models.OpaqueStringWithValidator
trait OpaqueStringWithValidator[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

Abstract methods

def validate(value: String): O

Concrete methods

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

Inherited methods

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

Attributes

Inherited from:
OpaqueType

Givens

Inherited givens

given given_Conversion_O_T: given_Conversion_O_T

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
Generated with