Class

matryoshka.implicits

IdOps

Related Doc: package implicits

Permalink

sealed class IdOps[A] extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IdOps
  2. AnyRef
  3. Any
Implicitly
  1. by toRecursiveOps
  2. by toBirecursiveOps
  3. by CorecursiveOps
  4. by toIdOps
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IdOps(self: A)

    Permalink

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 all(p: (IdOps[A]) ⇒ Boolean)(implicit BF: Functor[F], B: Foldable[F]): Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  5. object ana

    Permalink
  6. object anaM

    Permalink
  7. def any(p: (IdOps[A]) ⇒ Boolean)(implicit BF: Functor[F], B: Foldable[F]): Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  8. object apo

    Permalink
  9. object apoM

    Permalink
  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  11. def attributeTopDown[A](z: A)(f: (A, F[IdOps[A]]) ⇒ A)(implicit BF: Functor[F]): Cofree[F, A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  12. def attributeTopDownM[M[_], A](z: A)(f: (A, F[IdOps[A]]) ⇒ M[A])(implicit arg0: Monad[M], BT: Traverse[F]): M[Cofree[F, A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  13. def cata[A](f: Algebra[F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  14. def cataM[M[_], A](f: AlgebraM[M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  15. def children(implicit BT: Traverse[F]): List[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  16. def chrono[F[_], B](g: GAlgebra[[β$3$]Cofree[F, β$3$], F, B], f: GCoalgebra[[β$4$]Free[F, β$4$], F, A])(implicit arg0: Functor[F]): B

    Permalink
  17. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. def codyna[F[_], B](φ: Algebra[F, B], ψ: GCoalgebra[[β$1$]Free[F, β$1$], F, A])(implicit arg0: Functor[F]): B

    Permalink
  19. def codynaM[M[_], F[_], B](φ: AlgebraM[M, F, B], ψ: GCoalgebraM[[β$2$]Free[F, β$2$], M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink
  20. def coelgot[F[_], B](φ: ElgotAlgebra[[β$6$](A, β$6$), F, B], ψ: Coalgebra[F, A])(implicit arg0: Functor[F]): B

    Permalink
  21. object coelgotM

    Permalink
  22. def colambek(implicit TR: Aux[A, FF], F: Functor[FF]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to CorecursiveOps[A, IdOps, FF] performed by method CorecursiveOps in matryoshka.implicits. This conversion will take place only if an implicit value of type Aux[A, FF] is in scope and at the same time an implicit value of type <~<[IdOps[A], FF[A]] is in scope.
    Definition Classes
    CorecursiveOps
  23. def collect[B](pf: PartialFunction[IdOps[A], B])(implicit BF: Functor[F], B: Foldable[F]): List[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  24. def contains(c: IdOps[A])(implicit T: Equal[IdOps[A]], BF: Functor[F], B: Foldable[F]): Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  25. def convertTo[R](implicit R: Aux[R, F], BF: Functor[F]): R

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  26. def dyna[F[_], B](φ: GAlgebra[[β$0$]Cofree[F, β$0$], F, B], ψ: Coalgebra[F, A])(implicit arg0: Functor[F]): B

    Permalink
  27. def elgot[F[_], B](φ: Algebra[F, B], ψ: ElgotCoalgebra[[β$5$]\/[B, β$5$], F, A])(implicit arg0: Functor[F]): B

    Permalink
  28. object elgotAna

    Permalink
  29. object elgotApo

    Permalink
  30. def elgotCata[W[_], A](k: DistributiveLaw[F, W], g: ElgotAlgebra[W, F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  31. def elgotHisto[A](f: ElgotAlgebra[[β$35$]Cofree[F, β$35$], F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  32. def elgotPara[A](f: ElgotAlgebra[[β$25$](IdOps[A], β$25$), F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  33. def elgotZygo[A, B](f: Algebra[F, B], g: ElgotAlgebra[[β$29$](B, β$29$), F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  34. def embed(implicit F: Functor[FF]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to CorecursiveOps[A, IdOps, FF] performed by method CorecursiveOps in matryoshka.implicits. This conversion will take place only if an implicit value of type Aux[A, FF] is in scope and at the same time an implicit value of type <~<[IdOps[A], FF[A]] is in scope.
    Definition Classes
    CorecursiveOps
  35. final def eq(arg0: AnyRef): Boolean

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  38. def foldMap[Z](f: (IdOps[A]) ⇒ Z)(implicit arg0: Monoid[Z], BF: Functor[F], B: Foldable[F]): Z

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  39. def foldMapM[M[_], Z](f: (IdOps[A]) ⇒ M[Z])(implicit arg0: Monad[M], arg1: Monoid[Z], BF: Functor[F], B: Foldable[F]): M[Z]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  40. object futu

    Permalink
  41. def futuM[T, M[_], F[_]](f: GCoalgebraM[[β$12$]Free[F, β$12$], M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F], T: Aux[T, F]): M[T]

    Permalink
  42. def gElgotZygo[W[_], A, B](f: Algebra[F, B], w: DistributiveLaw[F, W], g: ElgotAlgebra[[γ$31$]EnvT[B, W, γ$31$], F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  43. object gana

    Permalink
  44. object ganaM

    Permalink
  45. def gcata[W[_], A](k: DistributiveLaw[F, W], g: GAlgebra[W, F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  46. def gcataM[W[_], M[_], A](k: DistributiveLaw[F, W], g: GAlgebraM[W, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], BT: Traverse[F]): M[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  47. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  48. def ghisto[H[_], A](g: DistributiveLaw[F, H], f: GAlgebra[[β$36$]Cofree[H, β$36$], F, A])(implicit arg0: Functor[H], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  49. object ghylo

    Permalink
  50. def ghyloM[W[_], N[_], M[_], F[_], B](w: DistributiveLaw[F, W], n: DistributiveLaw[N, F], f: GAlgebraM[W, M, F, B], g: GCoalgebraM[N, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[N], arg3: Traverse[N], arg4: Monad[M], arg5: Traverse[F]): M[B]

    Permalink
  51. def gpara[W[_], A](e: DistributiveLaw[F, W], f: GAlgebra[[γ$27$]EnvT[IdOps[A], W, γ$27$], F, A])(implicit arg0: Comonad[W], T: Aux[IdOps[A], F], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  52. object gpostpro

    Permalink
  53. def gprepro[W[_], A](k: DistributiveLaw[F, W], e: ~>[F, F], f: GAlgebra[W, F, A])(implicit arg0: Comonad[W], T: Aux[IdOps[A], F], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  54. def gzygo[W[_], A, B](f: Algebra[F, B], w: DistributiveLaw[F, W], g: GAlgebra[[γ$30$]EnvT[B, W, γ$30$], F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  55. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  56. def histo[A](f: GAlgebra[[β$34$]Cofree[F, β$34$], F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  57. def hylo[F[_], B](f: Algebra[F, B], g: Coalgebra[F, A])(implicit arg0: Functor[F]): B

    Permalink
  58. def hyloM[M[_], F[_], B](f: AlgebraM[M, F, B], g: CoalgebraM[M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink
  59. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  60. def isLeaf(implicit BT: Traverse[F]): Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  61. def lambek(implicit T: Aux[IdOps[A], F], BF: Functor[F]): F[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  62. def mapR[U, G[_]](f: (F[IdOps[A]]) ⇒ G[U])(implicit arg0: Functor[G], U: Aux[U, G], BF: Functor[F]): U

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  63. def mutu[A, B](f: GAlgebra[[β$32$](A, β$32$), F, B], g: GAlgebra[[β$33$](B, β$33$), F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  64. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  67. def para[A](f: GAlgebra[[β$24$](IdOps[A], β$24$), F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  68. def paraM[M[_], A](f: GAlgebraM[[β$26$](IdOps[A], β$26$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  69. def paraMerga[A](that: IdOps[A])(f: (IdOps[A], IdOps[A], Option[F[A]]) ⇒ A)(implicit BF: Functor[F], BM: Merge[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  70. def paraZygo[A, B](f: GAlgebra[[β$37$](IdOps[A], β$37$), F, B], g: GAlgebra[[β$38$](B, β$38$), F, A])(implicit BF: Functor[F], BU: Unzip[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  71. object postpro

    Permalink
  72. def prepro[A](e: ~>[F, F], f: Algebra[F, A])(implicit T: Aux[IdOps[A], F], BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  73. def project(implicit BF: Functor[F]): F[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  74. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
    Definition Classes
    AnyRef → Any
  76. def topDownCata[A](a: A)(f: (A, IdOps[A]) ⇒ (A, IdOps[A]))(implicit T: Aux[IdOps[A], F], BF: Functor[F]): IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  77. def topDownCataM[M[_], A](a: A)(f: (A, IdOps[A]) ⇒ M[(A, IdOps[A])])(implicit arg0: Monad[M], T: Aux[IdOps[A], F], BT: Traverse[F]): M[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  78. def transAnaM[M[_], U, G[_]](f: TransformM[M, IdOps[A], F, G])(implicit arg0: Monad[M], arg1: Traverse[G], U: Aux[U, G], BF: Functor[F]): M[U]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  79. def transAnaT(f: (IdOps[A]) ⇒ IdOps[A])(implicit T: Aux[IdOps[A], F], BF: Functor[F]): IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  80. def transAnaTM[M[_]](f: (IdOps[A]) ⇒ M[IdOps[A]])(implicit arg0: Monad[M], T: Aux[IdOps[A], F], BF: Traverse[F]): M[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  81. def transApo[U, G[_]](f: CoalgebraicGTransform[[β$40$]\/[U, β$40$], IdOps[A], F, G])(implicit arg0: Functor[G], U: Aux[U, G], BF: Functor[F]): U

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  82. def transApoT(f: (IdOps[A]) ⇒ \/[IdOps[A], IdOps[A]])(implicit T: Aux[IdOps[A], F], BF: Functor[F]): IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  83. def transCataM[M[_], U, G[_]](f: TransformM[M, U, F, G])(implicit arg0: Monad[M], arg1: Functor[G], U: Aux[U, G], BT: Traverse[F]): M[U]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  84. def transCataT(f: (IdOps[A]) ⇒ IdOps[A])(implicit T: Aux[IdOps[A], F], BF: Functor[F]): IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  85. def transCataTM[M[_]](f: (IdOps[A]) ⇒ M[IdOps[A]])(implicit arg0: Monad[M], T: Aux[IdOps[A], F], BF: Traverse[F]): M[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  86. def transHylo[G[_], U, H[_]](φ: (G[U]) ⇒ H[U], ψ: (F[IdOps[A]]) ⇒ G[IdOps[A]])(implicit arg0: Functor[G], arg1: Functor[H], U: Aux[U, H], BF: Functor[F]): U

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  87. def transParaT(f: ((IdOps[A], IdOps[A])) ⇒ IdOps[A])(implicit T: Aux[IdOps[A], F], BF: Functor[F]): IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  88. def traverseR[M[_], U, G[_]](f: (F[IdOps[A]]) ⇒ M[G[U]])(implicit arg0: Functor[M], arg1: Functor[G], U: Aux[U, G], BF: Functor[F]): M[U]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  89. def universe(implicit BT: Traverse[F]): List[IdOps[A]]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops
  90. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  93. def zygo[A, B](f: Algebra[F, B], g: GAlgebra[[β$28$](B, β$28$), F, A])(implicit BF: Functor[F]): A

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Definition Classes
    Ops

Shadowed Implicit Value Members

  1. def chrono[F[_], B](g: GAlgebra[[β$3$]Cofree[F, β$3$], F, B], f: GCoalgebra[[β$4$]Free[F, β$4$], F, IdOps[A]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).chrono(g, f)(arg0)
  2. def codyna[F[_], B](φ: Algebra[F, B], ψ: GCoalgebra[[β$1$]Free[F, β$1$], F, IdOps[A]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).codyna(φ, ψ)(arg0)
  3. def codynaM[M[_], F[_], B](φ: AlgebraM[M, F, B], ψ: GCoalgebraM[[β$2$]Free[F, β$2$], M, F, IdOps[A]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).codynaM(φ, ψ)(arg0, arg1)
  4. def coelgot[F[_], B](φ: ElgotAlgebra[[β$6$](IdOps[A], β$6$), F, B], ψ: Coalgebra[F, IdOps[A]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).coelgot(φ, ψ)(arg0)
  5. def dyna[F[_], B](φ: GAlgebra[[β$0$]Cofree[F, β$0$], F, B], ψ: Coalgebra[F, IdOps[A]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).dyna(φ, ψ)(arg0)
  6. def elgot[F[_], B](φ: Algebra[F, B], ψ: ElgotCoalgebra[[β$5$]\/[B, β$5$], F, IdOps[A]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).elgot(φ, ψ)(arg0)
  7. def futuM[T, M[_], F[_]](f: GCoalgebraM[[β$12$]Free[F, β$12$], M, F, IdOps[A]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Aux[T, F]): M[T]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).futuM(f)(arg0, arg1, T)
  8. def ghyloM[W[_], N[_], M[_], F[_], B](w: DistributiveLaw[F, W], n: DistributiveLaw[N, F], f: GAlgebraM[W, M, F, B], g: GCoalgebraM[N, M, F, IdOps[A]])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[N], arg3: Traverse[N], arg4: Monad[M], arg5: Traverse[F]): M[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).ghyloM(w, n, f, g)(arg0, arg1, arg2, arg3, arg4, arg5)
  9. def hylo[F[_], B](f: Algebra[F, B], g: Coalgebra[F, IdOps[A]])(implicit arg0: Functor[F]): B

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).hylo(f, g)(arg0)
  10. def hyloM[M[_], F[_], B](f: AlgebraM[M, F, B], g: CoalgebraM[M, F, IdOps[A]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to IdOps[IdOps[A]] performed by method toIdOps in matryoshka.implicits.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (idOps: IdOps[IdOps[A]]).hyloM(f, g)(arg0, arg1)
  11. def self: IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (idOps: Ops[IdOps[A], F]).self
    Definition Classes
    Ops
  12. def self: IdOps[A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toBirecursiveOps in matryoshka.Birecursive.ToBirecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (idOps: Ops[IdOps[A], F]).self
    Definition Classes
    Ops
  13. def typeClassInstance: Aux[IdOps[A], F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (idOps: Ops[IdOps[A], F]).typeClassInstance
    Definition Classes
    Ops
  14. def typeClassInstance: Aux[IdOps[A], F]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IdOps[A] to Ops[IdOps[A], F] performed by method toBirecursiveOps in matryoshka.Birecursive.ToBirecursiveOps. This conversion will take place only if an implicit value of type Aux[IdOps[A], F] is in scope.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (idOps: Ops[IdOps[A], F]).typeClassInstance
    Definition Classes
    Ops

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion toRecursiveOps from IdOps[A] to Ops[IdOps[A], F]

Inherited by implicit conversion toBirecursiveOps from IdOps[A] to Ops[IdOps[A], F]

Inherited by implicit conversion CorecursiveOps from IdOps[A] to CorecursiveOps[A, IdOps, FF]

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

Ungrouped