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]
- Alphabetic
- By Inheritance
- SubtypeF
- SubtypeF
- NewtypeF
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new SubtypeF()
Type Members
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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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( ... ) @native()
-
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