Class

zio.prelude.NewtypeFExports

SubtypeF

Related Doc: package NewtypeFExports

Permalink

abstract class SubtypeF extends NewtypeModuleF.SubtypeF

The class of objects corresponding to parameterized subtypes. Users should implement an object that extends this class to create their own parameterized subtypes

object Sum extends SubtypeF
type Sum[A] = Sum.Type[A]

Linear Supertypes

NewtypeModuleF.SubtypeF, NewtypeModuleF.NewtypeF, AnyRef, Any

Known Subclasses

AndF, First, Last, Max, Min, OrF, Prod, Sum

Ordering

Alphabetic
By Inheritance

Inherited

SubtypeF
SubtypeF
NewtypeF
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Instance Constructors

new SubtypeF()

Type Members

type Type[+A] = NewtypeModuleF.SubtypeF.Type[A]

Definition Classes
SubtypeF → SubtypeF → NewtypeF

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def apply[A](value: A): Type[A]

Converts an instance of the underlying type to an instance of the newtype.
Converts an instance of the underlying type to an instance of the newtype.

Definition Classes
NewtypeF
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val subtypeF: NewtypeModuleF.SubtypeF
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def unapply[A](value: Type[A]): Some[A]

Allows pattern matching on newtype instances to convert them back to instances of the underlying type.
Allows pattern matching on newtype instances to convert them back to instances of the underlying type.

Definition Classes
NewtypeF
def unwrap[A](value: Type[A]): A

Converts an instance of the newtype back to an instance of the underlying type.
Converts an instance of the newtype back to an instance of the underlying type.

Definition Classes
NewtypeF
def unwrapAll[F[_], A](value: F[Type[A]]): F[A]

Converts an instance of a type parameterized on the newtype back to an instance of a type parameterized on the underlying type.
Converts an instance of a type parameterized on the newtype back to an instance of a type parameterized on the underlying type. For example, this could be used to convert a list of instances of the newtype back to a list of instances of the underlying type.

Definition Classes
SubtypeF → NewtypeF
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def wrap[A](value: A): Type[A]

Converts an instance of the underlying type to an instance of the newtype.
Converts an instance of the underlying type to an instance of the newtype.

Definition Classes
NewtypeF
def wrapAll[F[_], A](value: F[A]): F[Type[A]]

Converts an instance of a type parameterized on the underlying type to an instance of a type parameterized on the newtype.
Converts an instance of a type parameterized on the underlying type to an instance of a type parameterized on the newtype. For example, this could be used to convert a list of instances of the underlying type to a list of instances of the newtype.

Definition Classes
SubtypeF → NewtypeF

Inherited from NewtypeModuleF.SubtypeF

Inherited from NewtypeModuleF.NewtypeF

Inherited from AnyRef

Inherited from Any

Ungrouped