scalaz-core/scalaz/TracedT

TracedT

object TracedT extends TracedTInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def iso[W[_]]: IsoBifunctor[[_, _] =>> TracedT[W, _$35, _$36], [a, b] =>> W[a => b]]
def tracedTU[WAB, AB, A0, B0](wab: WAB)(implicit U1: Unapply[[F[_]] =>> Functor[F], WAB] { type A = AB; }, U2: Unapply2[[=>:[_, _]] =>> Profunctor[=>:], AB] { type A = A0; type B = B0; }, L: AB === A0 => B0): TracedT[M, A0, B0]

Implicits

Inherited implicits

final implicit
def tracedTApplicative[W[_] : Applicative, C]: Applicative[[_] =>> TracedT[W, C, _$17]]
Inherited from
TracedTInstances2
final implicit
def tracedTApply[W[_] : Apply, C]: Apply[[_] =>> TracedT[W, C, _$15]]
Inherited from
TracedTInstances3
final implicit
def tracedTCobind[W[_] : Cobind, C : Semigroup]: Cobind[[_] =>> TracedT[W, C, _$19]]
Inherited from
TracedTInstances1
final implicit
def tracedTCohoist[C : Monoid]: Cohoist[[w[_], b] =>> TracedT[w, C, b]]
Inherited from
TracedTInstances0
final implicit
def tracedTComonad[W[_] : Comonad, C : Monoid]: Comonad[[_] =>> TracedT[W, C, _$21]]
Inherited from
TracedTInstances0
final implicit
def tracedTComonadStore[W[_], S, C : Monoid](implicit evidence$1: Monoid[C], W0: ComonadStore[W, S]): ComonadStore[[_] =>> TracedT[W, C, _$32], S]
Inherited from
TracedTInstances
final implicit
def tracedTContravariant[W[_] : Functor, C]: Contravariant[[_] =>> TracedT[W, _$10, C]]
Inherited from
TracedTInstances5
final implicit
def tracedTDistributive[W[_] : Distributive, C]: Distributive[[_] =>> TracedT[W, C, _$13]]
Inherited from
TracedTInstances4
final implicit
def tracedTEqual[W[_], A, B](implicit W: Equal[W[A => B]]): Equal[TracedT[W, A, B]]
Inherited from
TracedTInstances0
final implicit
def tracedTFunctor[W[_] : Functor, C]: Functor[[_] =>> TracedT[W, C, _$8]]
Inherited from
TracedTInstances5