sealed abstract
class
DiffInstances extends DiffInstances0
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
ana[T[_[_]], F[_]](f: (DiffInstances) ⇒ F[DiffInstances])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]
-
def
anaM[T[_[_]], M[_], F[_]](f: (DiffInstances) ⇒ M[F[DiffInstances]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Corecursive[T]): M[T[F]]
-
def
apo[T[_[_]], F[_]](f: (DiffInstances) ⇒ F[\/[T[F], DiffInstances]])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]
-
def
apoM[T[_[_]], M[_], F[_]](f: (DiffInstances) ⇒ M[F[\/[T[F], DiffInstances]]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Corecursive[T]): M[T[F]]
-
final
def
asInstanceOf[T0]: T0
-
-
def
attributeAnaM[M[_], F[_]](ψ: (DiffInstances) ⇒ M[F[DiffInstances]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[Cofree[F, DiffInstances]]
-
def
chrono[F[_], B](g: (F[Cofree[F, B]]) ⇒ B, f: (DiffInstances) ⇒ F[Free[F, DiffInstances]])(implicit arg0: Functor[F]): B
-
def
clone(): AnyRef
-
def
codyna[F[_], B](φ: (F[B]) ⇒ B, ψ: (DiffInstances) ⇒ F[Free[F, DiffInstances]])(implicit arg0: Functor[F]): B
-
def
codynaM[M[_], F[_], B](φ: (F[B]) ⇒ M[B], ψ: (DiffInstances) ⇒ M[F[Free[F, DiffInstances]]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
-
def
coelgot[F[_], B](φ: ((DiffInstances, F[B])) ⇒ B, ψ: (DiffInstances) ⇒ F[DiffInstances])(implicit arg0: Functor[F]): B
-
-
def
dyna[F[_], B](φ: (F[Cofree[F, B]]) ⇒ B, ψ: (DiffInstances) ⇒ F[DiffInstances])(implicit arg0: Functor[F]): B
-
def
elgot[F[_], B](φ: (F[B]) ⇒ B, ψ: (DiffInstances) ⇒ \/[B, F[DiffInstances]])(implicit arg0: Functor[F]): B
-
def
elgotAna[T[_[_]], M[_], F[_]](k: DistributiveLaw[M, F], f: (DiffInstances) ⇒ M[F[DiffInstances]])(implicit arg0: Monad[M], arg1: Functor[F], T: Corecursive[T]): T[F]
-
def
elgotApo[T[_[_]], F[_]](f: (DiffInstances) ⇒ \/[T[F], F[DiffInstances]])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]
-
-
implicit
def
equal[T[_[_]], F[_]](implicit T: Equal[T[F]], F: Delay[Equal, F]): Delay[Equal, [γ]Diff[T, F, γ]]
-
-
def
finalize(): Unit
-
def
freeAna[F[_], B](ψ: (DiffInstances) ⇒ \/[B, F[DiffInstances]])(implicit arg0: Functor[F]): Free[F, B]
-
implicit
def
functor[T[_[_]], F[_]](implicit arg0: Functor[F]): Functor[[γ]Diff[T, F, γ]]
-
def
futu[T[_[_]], F[_]](f: (DiffInstances) ⇒ F[Free[F, DiffInstances]])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]
-
def
futuM[T[_[_]], M[_], F[_]](f: (DiffInstances) ⇒ M[F[Free[F, DiffInstances]]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Corecursive[T]): M[T[F]]
-
def
gana[T[_[_]], M[_], F[_]](k: DistributiveLaw[M, F], f: (DiffInstances) ⇒ F[M[DiffInstances]])(implicit arg0: Monad[M], arg1: Functor[F], T: Corecursive[T]): T[F]
-
def
ganaM[T[_[_]], M[_], N[_], F[_]](k: DistributiveLaw[M, F], f: (DiffInstances) ⇒ N[F[M[DiffInstances]]])(implicit arg0: Monad[M], arg1: Traverse[M], arg2: Monad[N], arg3: Traverse[F], T: Corecursive[T]): N[T[F]]
-
final
def
getClass(): Class[_]
-
def
ghylo[W[_], M[_], F[_], B](w: DistributiveLaw[F, W], m: DistributiveLaw[M, F], f: (F[W[B]]) ⇒ B, g: (DiffInstances) ⇒ F[M[DiffInstances]])(implicit arg0: Comonad[W], arg1: Monad[M], arg2: Functor[F]): B
-
def
ghyloM[W[_], M[_], N[_], F[_], B](w: DistributiveLaw[F, W], m: DistributiveLaw[M, F], f: (F[W[B]]) ⇒ N[B], g: (DiffInstances) ⇒ N[F[M[DiffInstances]]])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], arg3: Traverse[M], arg4: Monad[N], arg5: Traverse[F]): N[B]
-
def
gpostpro[T[_[_]], M[_], F[_]](k: DistributiveLaw[M, F], e: ~>[F, F], g: (DiffInstances) ⇒ F[M[DiffInstances]])(implicit arg0: Recursive[T], arg1: Monad[M], arg2: Functor[F], T: Corecursive[T]): T[F]
-
def
hashCode(): Int
-
def
hylo[F[_], B](f: (F[B]) ⇒ B, g: (DiffInstances) ⇒ F[DiffInstances])(implicit arg0: Functor[F]): B
-
def
hyloM[M[_], F[_], B](f: (F[B]) ⇒ M[B], g: (DiffInstances) ⇒ M[F[DiffInstances]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
postpro[T[_[_]], F[_]](e: ~>[F, F], g: (DiffInstances) ⇒ F[DiffInstances])(implicit arg0: Recursive[T], arg1: Functor[F], T: Corecursive[T]): T[F]
-
implicit
def
show[T[_[_]], F[_]](implicit arg0: Functor[F], arg1: Foldable[F], T: Show[T[F]], F: Delay[Show, F]): Delay[Show, [γ]Diff[T, F, γ]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
implicit
def
traverse[T[_[_]], F[_]](implicit arg0: Traverse[F]): Traverse[[γ]Diff[T, F, γ]]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit