Packages

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, AndThen, Both, First, Last, Max, Min, OrF, Prod, Sum
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SubtypeF
  2. SubtypeF
  3. NewtypeF
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new SubtypeF()

Type Members

  1. type Type[+A] = NewtypeModuleF.SubtypeF.Type[A]
    Definition Classes
    SubtypeF → SubtypeF → NewtypeF

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. 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
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. val subtypeF: NewtypeModuleF.SubtypeF
  17. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  18. def toString(): String
    Definition Classes
    AnyRef → Any
  19. 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
  20. 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
  21. 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
  22. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  23. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  24. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  25. 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
  26. 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