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.<~~>[[β$12$, γ$13$]TracedT[W, β$12$, γ$13$], [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[[γ$5$]TracedT[W, C, γ$5$]]
-
implicit final
def
tracedTApply[W[_], C](implicit arg0: Apply[W]): Apply[[γ$4$]TracedT[W, C, γ$4$]]
-
implicit final
def
tracedTCobind[W[_], C](implicit arg0: Cobind[W], arg1: Semigroup[C]): Cobind[[γ$6$]TracedT[W, C, γ$6$]]
-
implicit final
def
tracedTCohoist[C](implicit arg0: Monoid[C]): Cohoist[[w[_], b]TracedT[w, C, b]]
-
implicit final
def
tracedTComonad[W[_], C](implicit arg0: Comonad[W], arg1: Monoid[C]): Comonad[[γ$7$]TracedT[W, C, γ$7$]]
-
implicit final
def
tracedTComonadStore[W[_], S, C](implicit arg0: Monoid[C], W0: ComonadStore[W, S]): ComonadStore[[γ$10$]TracedT[W, C, γ$10$], S]
-
implicit final
def
tracedTContravariant[W[_], C](implicit arg0: Functor[W]): Contravariant[[β$1$]TracedT[W, β$1$, C]]
-
implicit final
def
tracedTDistributive[W[_], C](implicit arg0: Distributive[W]): Distributive[[γ$3$]TracedT[W, C, γ$3$]]
-
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[[γ$0$]TracedT[W, C, γ$0$]]
-
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
