String.Opaque.Data

abstract class Data[A <: String.Opaque](name: String) extends String.Opaque.Base[A] with _methods with AnyRef.G.Companion.Containers[A]

String Opaque Data Companion Object Base

Opaque Data not only defines a String based opaque type, but also privides a framework of customized containers attached to this type.

See more in the guide.

See sample type definition.

Source
Data.scala
trait AnyRef.G.Companion.Containers[String.Opaque.Data.A]
trait _methods
trait _copy
trait _modify
trait _evaluate
class String.Opaque.Base[String.Opaque.Data.A]
trait _methods
trait _copy
trait _modify
trait _evaluate
class AnyRef.Opaque.Base[String.Opaque.Data.A, String]
trait _methods[String.Opaque.Data.A, String]
class Any.Z.OpaqueBase[String.Opaque.Data.A]
trait Any.Def.Void[String.Opaque.Data.A]
trait Any.Def.Doc[String.Opaque.Data.A]
trait Any.Def.Tag[String.Opaque.Data.A]
class Any.Def.TypeName[String.Opaque.Data.A]
class java.lang.Object
trait scala.Matchable
class Any

Def

final lazy val ordering: Ordering[A]
Inherited from
Base
Source
__.scala
val typeName: String

Type name

Type name

Returns defined opaque type name

Inherited from
OpaqueBase
Source
OpaqueBase.scala
def value_doc(v: A): Doc
Inherited from
Base
Source
Base.scala
override def value_isVoid(v: A): Boolean

Void check

Void check

Override this method to define which instances of this type are void

By default String based opaque values are void if underlying String length equals to 0

Definition Classes
Base -> Base -> OpaqueBase -> Void
Inherited from
Base
Source
__.scala
override def value_tag(v: A): String

Value to String

Value to String

Override this method to provide type custom convertion to String

Definition Classes
Base -> Base -> OpaqueBase -> Tag
Inherited from
Base
Source
__.scala

Containers

Implicit

implicit inline def implicitRequest(v: VOID): A
Inherited from
Base
Source
__.scala