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

SimpleOpaqueString

org.encalmo.models.SimpleOpaqueString
trait SimpleOpaqueString[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
Known subtypes
object City
object EmailAddress
object FirstName
object IPAddress
object LastName
object PhoneNumber
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

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

Extensions

extension (value: O)
inline def drop(n: Int): O
inline def dropRight(n: Int): O
inline def head: O
inline def init: O
inline def last: O
inline def tail: O
inline def take(n: Int): O
inline def takeRight(n: Int): O

Inherited extensions

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

Attributes

Inherited from:
OpaqueType
Generated with