Trait

matryoshka

CofreeInstances

Related Doc: package matryoshka

Permalink

trait CofreeInstances extends AnyRef

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CofreeInstances
  2. AnyRef
  3. Any
Implicitly
  1. by toIdOps
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def ana[T[_[_]], F[_]](f: (CofreeInstances) ⇒ F[CofreeInstances])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  5. def anaM[T[_[_]], M[_], F[_]](f: (CofreeInstances) ⇒ M[F[CofreeInstances]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Corecursive[T]): M[T[F]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  6. def apo[T[_[_]], F[_]](f: (CofreeInstances) ⇒ F[\/[T[F], CofreeInstances]])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  7. def apoM[T[_[_]], M[_], F[_]](f: (CofreeInstances) ⇒ M[F[\/[T[F], CofreeInstances]]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Corecursive[T]): M[T[F]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def attributeAna[F[_]](ψ: (CofreeInstances) ⇒ F[CofreeInstances])(implicit arg0: Functor[F]): Cofree[F, CofreeInstances]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  10. def attributeAnaM[M[_], F[_]](ψ: (CofreeInstances) ⇒ M[F[CofreeInstances]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[Cofree[F, CofreeInstances]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  11. def chrono[F[_], B](g: (F[Cofree[F, B]]) ⇒ B, f: (CofreeInstances) ⇒ F[Free[F, CofreeInstances]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  12. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. def codyna[F[_], B](φ: (F[B]) ⇒ B, ψ: (CofreeInstances) ⇒ F[Free[F, CofreeInstances]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  14. def codynaM[M[_], F[_], B](φ: (F[B]) ⇒ M[B], ψ: (CofreeInstances) ⇒ M[F[Free[F, CofreeInstances]]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  15. def coelgot[F[_], B](φ: ((CofreeInstances, F[B])) ⇒ B, ψ: (CofreeInstances) ⇒ F[CofreeInstances])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  16. def coelgotM[M[_]]: IdOps.CoelgotMPartiallyApplied[M]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  17. implicit def cofreeCorecursive[A](implicit arg0: Monoid[A]): Corecursive[[α[_$3]]Cofree[α, A]]

    Permalink
  18. implicit def cofreeEqual[F[_]](implicit F: Delay[Equal, F]): Delay[Equal, [β]Cofree[F, β]]

    Permalink
  19. implicit def cofreeRecursive[A]: Recursive[[α[_$1]]Cofree[α, A]]

    Permalink
  20. implicit def cofreeShow[F[_]](implicit F: Delay[Show, F]): Delay[Show, [β]Cofree[F, β]]

    Permalink
  21. implicit def cofreeTraverseT[A]: TraverseT[[α[_$5]]Cofree[α, A]]

    Permalink
  22. def dyna[F[_], B](φ: (F[Cofree[F, B]]) ⇒ B, ψ: (CofreeInstances) ⇒ F[CofreeInstances])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  23. def elgot[F[_], B](φ: (F[B]) ⇒ B, ψ: (CofreeInstances) ⇒ \/[B, F[CofreeInstances]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  24. def elgotAna[T[_[_]], M[_], F[_]](k: DistributiveLaw[M, F], f: (CofreeInstances) ⇒ M[F[CofreeInstances]])(implicit arg0: Monad[M], arg1: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  25. def elgotApo[T[_[_]], F[_]](f: (CofreeInstances) ⇒ \/[T[F], F[CofreeInstances]])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  26. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  27. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  28. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  29. def freeAna[F[_], B](ψ: (CofreeInstances) ⇒ \/[B, F[CofreeInstances]])(implicit arg0: Functor[F]): Free[F, B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  30. def futu[T[_[_]], F[_]](f: (CofreeInstances) ⇒ F[Free[F, CofreeInstances]])(implicit arg0: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  31. def futuM[T[_[_]], M[_], F[_]](f: (CofreeInstances) ⇒ M[F[Free[F, CofreeInstances]]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Corecursive[T]): M[T[F]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  32. def gana[T[_[_]], M[_], F[_]](k: DistributiveLaw[M, F], f: (CofreeInstances) ⇒ F[M[CofreeInstances]])(implicit arg0: Monad[M], arg1: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  33. def ganaM[T[_[_]], M[_], N[_], F[_]](k: DistributiveLaw[M, F], f: (CofreeInstances) ⇒ N[F[M[CofreeInstances]]])(implicit arg0: Monad[M], arg1: Traverse[M], arg2: Monad[N], arg3: Traverse[F], T: Corecursive[T]): N[T[F]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  34. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  35. def ghylo[W[_], M[_], F[_], B](w: DistributiveLaw[F, W], m: DistributiveLaw[M, F], f: (F[W[B]]) ⇒ B, g: (CofreeInstances) ⇒ F[M[CofreeInstances]])(implicit arg0: Comonad[W], arg1: Monad[M], arg2: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  36. def ghyloM[W[_], M[_], N[_], F[_], B](w: DistributiveLaw[F, W], m: DistributiveLaw[M, F], f: (F[W[B]]) ⇒ N[B], g: (CofreeInstances) ⇒ N[F[M[CofreeInstances]]])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], arg3: Traverse[M], arg4: Monad[N], arg5: Traverse[F]): N[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  37. def gpostpro[T[_[_]], M[_], F[_]](k: DistributiveLaw[M, F], e: ~>[F, F], g: (CofreeInstances) ⇒ F[M[CofreeInstances]])(implicit arg0: Recursive[T], arg1: Monad[M], arg2: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  38. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  39. def hylo[F[_], B](f: (F[B]) ⇒ B, g: (CofreeInstances) ⇒ F[CofreeInstances])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  40. def hyloM[M[_], F[_], B](f: (F[B]) ⇒ M[B], g: (CofreeInstances) ⇒ M[F[CofreeInstances]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  41. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  42. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  43. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  44. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  45. def postpro[T[_[_]], F[_]](e: ~>[F, F], g: (CofreeInstances) ⇒ F[CofreeInstances])(implicit arg0: Recursive[T], arg1: Functor[F], T: Corecursive[T]): T[F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from CofreeInstances to IdOps[CofreeInstances] performed by method toIdOps in matryoshka.
    Definition Classes
    IdOps
  46. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  47. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  48. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion toIdOps from CofreeInstances to IdOps[CofreeInstances]

Ungrouped