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

OpaqueStringWithPattern

org.encalmo.models.OpaqueStringWithPattern
trait OpaqueStringWithPattern[O <: String, P <: String & Singleton] 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
Known subtypes
object AmountString

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
def preformat(value: String): String
inline def show(value: O): String
inline def validate(value: String): Option[O]

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