Unapply

Represents a type MA that has been destructured into as a type constructor M[_] applied to type A, along with a corresponding type class instance TC[M].

The implicit conversions in the companion object provide a means to obtain type class instances for partially applied type constructors, in lieu of direct compiler support as described in SI-2712.

// Directly depending on Applicative[G]
def traverse[G[_], B](f: A => G[B])(implicit G: Applicative[G]): G[F[B]] =
  G.traverse(self)(f)

// Indirect lookup of the Applicative instance
def traverseI[GB](f: A => GB)(implicit G: Unapply[Applicative, GB]): G.M[F[G.A]] /*G[F[B]*/ = {
  G.TC.traverse(self)(a => G(f(a)))
}

// Deforested version of traverseI
def traverseI2[GB](f: A => GB)(implicit G: Unapply[Applicative, GB]): G.M[F[G.A]] /*G[F[B]*/ = {
  G.TC.traverse(self)(G.leibniz.onF(f))
}

// Old usage
def stateTraverse1 {
  import scalaz._, Scalaz._
  import State.{State, stateMonad}
  val ls = List(1, 2, 3)
  val traverseOpt: Option[List[Int]] = ls.traverse(a => Some(a))
  val traverseState: State[Int, List[Int]] = ls.traverse[State[Int, ?], Int](a => State((x: Int) => (x + 1, a)))
}

// New usage
def stateTraverse2 {
  import scalaz._, Scalaz._
  val ls = List(1, 2, 3)
  val traverseOpt: Option[List[Int]] = ls.traverseI(a => some(a))
  val traverseState = ls.traverseI(a => State((x: Int) => (x + 1, a)))
}

Credits to Miles Sabin.

Annotations: @implicitNotFound( ... )
Source: Unapply.scala

Linear Supertypes

AnyRef, Any

Type Members

abstract type A

The type that M was applied to
abstract type M[_]

The type constructor

Abstract Value Members

abstract def TC: TC[M]

The instance of the type class
abstract def leibniz: ===[MA, M[A]]

Evidence that MA =:= M[A]

Concrete 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
final def apply(ma: MA): M[A]

Compatibility.
Compatibility.

Annotations
@inline()
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
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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( ... )

Related Docs: object Unapply | package scalaz

trait Unapply[TC[_[_]], MA] extends AnyRef

Type Members

abstract type A

abstract type M[_]

Abstract Value Members

abstract def TC: TC[M]

abstract def leibniz: ===[MA, M[A]]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def apply(ma: MA): M[A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped