Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
iso[W[_]]: Isomorphism.<~~>[[β, γ]TracedT[W, β, γ], [a, b]W[(a) ⇒ b]]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
implicit final
def
tracedTApplicative[W[_], C](implicit arg0: Applicative[W]): Applicative[[γ]TracedT[W, C, γ]]
-
implicit final
def
tracedTApply[W[_], C](implicit arg0: Apply[W]): Apply[[γ]TracedT[W, C, γ]]
-
implicit final
def
tracedTCobind[W[_], C](implicit arg0: Cobind[W], arg1: Semigroup[C]): Cobind[[γ]TracedT[W, C, γ]]
-
implicit final
def
tracedTCohoist[C](implicit arg0: Monoid[C]): Cohoist[[w[_$1], b]TracedT[w, C, b]]
-
implicit final
def
tracedTComonad[W[_], C](implicit arg0: Comonad[W], arg1: Monoid[C]): Comonad[[γ]TracedT[W, C, γ]]
-
implicit final
def
tracedTComonadStore[W[_], S, C](implicit arg0: Monoid[C], W0: ComonadStore[W, S]): ComonadStore[[γ]TracedT[W, C, γ], S]
-
implicit final
def
tracedTContravariant[W[_], C](implicit arg0: Functor[W]): Contravariant[[β]TracedT[W, β, C]]
-
implicit final
def
tracedTDistributive[W[_], C](implicit arg0: Distributive[W]): Distributive[[γ]TracedT[W, C, γ]]
-
implicit final
def
tracedTEqual[W[_], A, B](implicit W: Equal[W[(A) ⇒ B]]): Equal[TracedT[W, A, B]]
-
implicit final
def
tracedTFunctor[W[_], C](implicit arg0: Functor[W]): Functor[[γ]TracedT[W, C, γ]]
-
def
tracedTU[WAB, AB, A0, B0](wab: WAB)(implicit U1: Unapply[Functor, WAB] { type A = AB }, U2: Unapply2[Profunctor, AB] { ... /* 2 definitions in type refinement */ }, L: ===[AB, (A0) ⇒ B0]): TracedT[(U1)#M, A0, B0]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Serializable