scalqa.Lang.Short.Opaque.Base

Short.Opaque.Base

abstract class Base[A <: Short.Opaque](name: String) extends _methods with Any.Def.Void.Primitive.X.Short[A]

Short Opaque Companion Object Base

Opaque Base allows to create basic opaque type, which can be recognized and processed by stream without boxing.

Note. Most opaque companions extend Opaque.Data, which also defines specialized containers attached to the type.

See sample type definition.

Source
Base.scala
trait Any.Def.Void.Primitive.X.Short[Short.Opaque.Base.A]
trait Any.Def.Void.Primitive[Short.Opaque.Base.A]
trait _methods
class Any.Z.OpaqueBase[Short.Opaque.Base.A]
trait Any.Def.Void[Short.Opaque.Base.A]
trait Any.Def.Doc[Short.Opaque.Base.A]
trait Any.Def.Tag[Short.Opaque.Base.A]
class Any.Def.TypeName[Short.Opaque.Base.A]
class java.lang.Object
trait scala.Matchable
class Any
class Short.Opaque.Data[Short.Opaque.Data.A]
class Short.Opaque.Data.Ordered[Short.Opaque.Data.Ordered.A]
class Short.Opaque.Data.Calculable[Short.Opaque.Data.Calculable.A]
class Short.Opaque.Data.Numerical[Short.Opaque.Data.Numerical.A]

Def

val typeName: String

Type name

Type name

Returns defined opaque type name

Inherited from
OpaqueBase
Source
OpaqueBase.scala
def value_doc(v: A): Doc

Value to Doc

Value to Doc

Override this method to provide type custom Doc implementation

Source
Base.scala
def value_isVoid(v: A): Boolean

Void check

Void check

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

By default this method always returns false

If type supports void instances, then following inmpelentation should be added in most cases:

 implicit inline def implicitRequest(v:VOID): OPAQUE_TYPE
Source
Base.scala
def value_tag(v: A): String

Value to String

Value to String

Override this method to provide type custom convertion to String

Source
Base.scala