Packages

object Newtype

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Newtype
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. macro def assert[A](assertion: Assertion[A]): QuotedAssertion[A]
  2. def unsafeWrap[T <: Newtype[_]](newtype: T)(value: Newtype.unsafeWrap.T.Wrapped): Newtype.unsafeWrap.T.Type

    Converts an instance of the underlying type to an instance of the newtype, ignoring any Assertion.

  3. def unsafeWrapAll[F[_], A, T <: Newtype[A]](newtype: T, value: F[A]): F[Newtype.unsafeWrapAll.T.Type]

    Converts an instance of a type parameterized on the underlying type to an instance of a type parameterized on the newtype, ignoring any Assertion.

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