implicit final class CorecursiveOps[T, F[_], FF[_]] extends AnyRef
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- CorecursiveOps
- AnyRef
- Any
Implicitly
- by toIdOps
- by toRecursiveOps
- by toBirecursiveOps
- by toIdOps
- by toRecursiveOps
- by toBirecursiveOps
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
all(p: (CorecursiveOps[T, F, FF]) ⇒ slamdata.Predef.Boolean)(implicit BF: Functor[F], B: Foldable[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
all(p: (CorecursiveOps[T, F, FF]) ⇒ slamdata.Predef.Boolean)(implicit BF: Functor[F], B: Foldable[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
any(p: (CorecursiveOps[T, F, FF]) ⇒ slamdata.Predef.Boolean)(implicit BF: Functor[F], B: Foldable[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
any(p: (CorecursiveOps[T, F, FF]) ⇒ slamdata.Predef.Boolean)(implicit BF: Functor[F], B: Foldable[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
attributeTopDown[A](z: A)(f: (A, F[CorecursiveOps[T, F, FF]]) ⇒ A)(implicit BF: Functor[F]): Cofree[F, A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
attributeTopDown[A](z: A)(f: (A, F[CorecursiveOps[T, F, FF]]) ⇒ A)(implicit BF: Functor[F]): Cofree[F, A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
attributeTopDownM[M[_], A](z: A)(f: (A, F[CorecursiveOps[T, F, FF]]) ⇒ M[A])(implicit arg0: Monad[M], BT: Traverse[F]): M[Cofree[F, A]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
attributeTopDownM[M[_], A](z: A)(f: (A, F[CorecursiveOps[T, F, FF]]) ⇒ M[A])(implicit arg0: Monad[M], BT: Traverse[F]): M[Cofree[F, A]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
cata[A](f: Algebra[F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
cata[A](f: Algebra[F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
cataM[M[_], A](f: AlgebraM[M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
cataM[M[_], A](f: AlgebraM[M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
children(implicit BT: Traverse[F]): slamdata.Predef.List[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
children(implicit BT: Traverse[F]): slamdata.Predef.List[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def colambek(implicit TR: Aux[T, FF], F: Functor[FF]): T
-
def
collect[B](pf: slamdata.Predef.PartialFunction[CorecursiveOps[T, F, FF], B])(implicit BF: Functor[F], B: Foldable[F]): slamdata.Predef.List[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
collect[B](pf: slamdata.Predef.PartialFunction[CorecursiveOps[T, F, FF], B])(implicit BF: Functor[F], B: Foldable[F]): slamdata.Predef.List[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
contains(c: CorecursiveOps[T, F, FF])(implicit T: Equal[CorecursiveOps[T, F, FF]], BF: Functor[F], B: Foldable[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
contains(c: CorecursiveOps[T, F, FF])(implicit T: Equal[CorecursiveOps[T, F, FF]], BF: Functor[F], B: Foldable[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
convertTo[R](implicit R: Aux[R, F], BF: Functor[F]): R
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
convertTo[R](implicit R: Aux[R, F], BF: Functor[F]): R
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotCata[W[_], A](k: DistributiveLaw[F, W], g: ElgotAlgebra[W, F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotCata[W[_], A](k: DistributiveLaw[F, W], g: ElgotAlgebra[W, F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotCataM[W[_], M[_], A](k: DistributiveLaw[F, [A]M[W[A]]], g: ElgotAlgebraM[W, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotCataM[W[_], M[_], A](k: DistributiveLaw[F, [A]M[W[A]]], g: ElgotAlgebraM[W, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotHisto[A](f: ElgotAlgebra[[β$43$]Cofree[F, β$43$], F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotHisto[A](f: ElgotAlgebra[[β$43$]Cofree[F, β$43$], F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotPara[A](f: ElgotAlgebra[[β$31$](CorecursiveOps[T, F, FF], β$31$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotPara[A](f: ElgotAlgebra[[β$31$](CorecursiveOps[T, F, FF], β$31$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotZygo[A, B](f: Algebra[F, B], g: ElgotAlgebra[[β$36$](B, β$36$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotZygo[A, B](f: Algebra[F, B], g: ElgotAlgebra[[β$36$](B, β$36$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotZygoM[A, B, M[_]](f: AlgebraM[M, F, B], g: ElgotAlgebraM[[β$37$](B, β$37$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
elgotZygoM[A, B, M[_]](f: AlgebraM[M, F, B], g: ElgotAlgebraM[[β$37$](B, β$37$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
- def embed(implicit F: Functor[FF]): T
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
foldMap[Z](f: (CorecursiveOps[T, F, FF]) ⇒ Z)(implicit arg0: Monoid[Z], BF: Functor[F], B: Foldable[F]): Z
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
foldMap[Z](f: (CorecursiveOps[T, F, FF]) ⇒ Z)(implicit arg0: Monoid[Z], BF: Functor[F], B: Foldable[F]): Z
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
foldMapM[M[_], Z](f: (CorecursiveOps[T, F, FF]) ⇒ M[Z])(implicit arg0: Monad[M], arg1: Monoid[Z], BF: Functor[F], B: Foldable[F]): M[Z]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
foldMapM[M[_], Z](f: (CorecursiveOps[T, F, FF]) ⇒ M[Z])(implicit arg0: Monad[M], arg1: Monoid[Z], BF: Functor[F], B: Foldable[F]): M[Z]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gElgotZygo[W[_], A, B](f: Algebra[F, B], w: DistributiveLaw[F, W], g: ElgotAlgebra[[γ$39$]EnvT[B, W, γ$39$], F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gElgotZygo[W[_], A, B](f: Algebra[F, B], w: DistributiveLaw[F, W], g: ElgotAlgebra[[γ$39$]EnvT[B, W, γ$39$], F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gcata[W[_], A](k: DistributiveLaw[F, W], g: GAlgebra[W, F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gcata[W[_], A](k: DistributiveLaw[F, W], g: GAlgebra[W, F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gcataM[W[_], M[_], A](w: DistributiveLaw[F, W], g: GAlgebraM[W, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gcataM[W[_], M[_], A](w: DistributiveLaw[F, W], g: GAlgebraM[W, M, F, A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
ghisto[H[_], A](g: DistributiveLaw[F, H], f: GAlgebra[[β$44$]Cofree[H, β$44$], F, A])(implicit arg0: Functor[H], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
ghisto[H[_], A](g: DistributiveLaw[F, H], f: GAlgebra[[β$44$]Cofree[H, β$44$], F, A])(implicit arg0: Functor[H], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gpara[W[_], A](e: DistributiveLaw[F, W], f: GAlgebra[[γ$33$]EnvT[CorecursiveOps[T, F, FF], W, γ$33$], F, A])(implicit arg0: Comonad[W], T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gpara[W[_], A](e: DistributiveLaw[F, W], f: GAlgebra[[γ$33$]EnvT[CorecursiveOps[T, F, FF], W, γ$33$], F, A])(implicit arg0: Comonad[W], T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gprepro[W[_], A](k: DistributiveLaw[F, W], e: ~>[F, F], f: GAlgebra[W, F, A])(implicit arg0: Comonad[W], T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gprepro[W[_], A](k: DistributiveLaw[F, W], e: ~>[F, F], f: GAlgebra[W, F, A])(implicit arg0: Comonad[W], T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gzygo[W[_], A, B](f: Algebra[F, B], w: DistributiveLaw[F, W], g: GAlgebra[[γ$38$]EnvT[B, W, γ$38$], F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
gzygo[W[_], A, B](f: Algebra[F, B], w: DistributiveLaw[F, W], g: GAlgebra[[γ$38$]EnvT[B, W, γ$38$], F, A])(implicit arg0: Comonad[W], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
def
histo[A](f: GAlgebra[[β$42$]Cofree[F, β$42$], F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
histo[A](f: GAlgebra[[β$42$]Cofree[F, β$42$], F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isLeaf(implicit BT: Traverse[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
isLeaf(implicit BT: Traverse[F]): slamdata.Predef.Boolean
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
lambek(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): F[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
lambek(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): F[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
mapR[U, G[_]](f: (F[CorecursiveOps[T, F, FF]]) ⇒ G[U])(implicit arg0: Functor[G], U: Aux[U, G], BF: Functor[F]): U
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
mapR[U, G[_]](f: (F[CorecursiveOps[T, F, FF]]) ⇒ G[U])(implicit arg0: Functor[G], U: Aux[U, G], BF: Functor[F]): U
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
mutu[A, B](f: GAlgebra[[β$40$](A, β$40$), F, B], g: GAlgebra[[β$41$](B, β$41$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
mutu[A, B](f: GAlgebra[[β$40$](A, β$40$), F, B], g: GAlgebra[[β$41$](B, β$41$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
para[A](f: GAlgebra[[β$30$](CorecursiveOps[T, F, FF], β$30$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
para[A](f: GAlgebra[[β$30$](CorecursiveOps[T, F, FF], β$30$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
paraM[M[_], A](f: GAlgebraM[[β$32$](CorecursiveOps[T, F, FF], β$32$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
paraM[M[_], A](f: GAlgebraM[[β$32$](CorecursiveOps[T, F, FF], β$32$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
paraMerga[A](that: CorecursiveOps[T, F, FF])(f: (CorecursiveOps[T, F, FF], CorecursiveOps[T, F, FF], slamdata.Predef.Option[F[A]]) ⇒ A)(implicit BF: Functor[F], BM: Merge[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
paraMerga[A](that: CorecursiveOps[T, F, FF])(f: (CorecursiveOps[T, F, FF], CorecursiveOps[T, F, FF], slamdata.Predef.Option[F[A]]) ⇒ A)(implicit BF: Functor[F], BM: Merge[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
paraZygo[A, B](f: GAlgebra[[β$45$](CorecursiveOps[T, F, FF], β$45$), F, B], g: GAlgebra[[β$46$](B, β$46$), F, A])(implicit BF: Functor[F], BU: Unzip[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
paraZygo[A, B](f: GAlgebra[[β$45$](CorecursiveOps[T, F, FF], β$45$), F, B], g: GAlgebra[[β$46$](B, β$46$), F, A])(implicit BF: Functor[F], BU: Unzip[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
prepro[A](e: ~>[F, F], f: Algebra[F, A])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
prepro[A](e: ~>[F, F], f: Algebra[F, A])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
project(implicit BF: Functor[F]): F[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
project(implicit BF: Functor[F]): F[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
topDownCata[A](a: A)(f: (A, CorecursiveOps[T, F, FF]) ⇒ (A, CorecursiveOps[T, F, FF]))(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
topDownCata[A](a: A)(f: (A, CorecursiveOps[T, F, FF]) ⇒ (A, CorecursiveOps[T, F, FF]))(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
topDownCataM[M[_], A](a: A)(f: (A, CorecursiveOps[T, F, FF]) ⇒ M[(A, CorecursiveOps[T, F, FF])])(implicit arg0: Monad[M], T: Aux[CorecursiveOps[T, F, FF], F], BT: Traverse[F]): M[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
topDownCataM[M[_], A](a: A)(f: (A, CorecursiveOps[T, F, FF]) ⇒ M[(A, CorecursiveOps[T, F, FF])])(implicit arg0: Monad[M], T: Aux[CorecursiveOps[T, F, FF], F], BT: Traverse[F]): M[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transAnaM[M[_], U, G[_]](f: TransformM[M, CorecursiveOps[T, F, FF], F, G])(implicit arg0: Monad[M], arg1: Traverse[G], U: Aux[U, G], BF: Functor[F]): M[U]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transAnaM[M[_], U, G[_]](f: TransformM[M, CorecursiveOps[T, F, FF], F, G])(implicit arg0: Monad[M], arg1: Traverse[G], U: Aux[U, G], BF: Functor[F]): M[U]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transAnaT(f: (CorecursiveOps[T, F, FF]) ⇒ CorecursiveOps[T, F, FF])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transAnaT(f: (CorecursiveOps[T, F, FF]) ⇒ CorecursiveOps[T, F, FF])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transAnaTM[M[_]](f: (CorecursiveOps[T, F, FF]) ⇒ M[CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], T: Aux[CorecursiveOps[T, F, FF], F], BF: Traverse[F]): M[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transAnaTM[M[_]](f: (CorecursiveOps[T, F, FF]) ⇒ M[CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], T: Aux[CorecursiveOps[T, F, FF], F], BF: Traverse[F]): M[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transApo[U, G[_]](f: CoalgebraicGTransform[[β$48$]\/[U, β$48$], CorecursiveOps[T, F, FF], F, G])(implicit arg0: Functor[G], U: Aux[U, G], BF: Functor[F]): U
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transApo[U, G[_]](f: CoalgebraicGTransform[[β$48$]\/[U, β$48$], CorecursiveOps[T, F, FF], F, G])(implicit arg0: Functor[G], U: Aux[U, G], BF: Functor[F]): U
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transApoT(f: (CorecursiveOps[T, F, FF]) ⇒ \/[CorecursiveOps[T, F, FF], CorecursiveOps[T, F, FF]])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transApoT(f: (CorecursiveOps[T, F, FF]) ⇒ \/[CorecursiveOps[T, F, FF], CorecursiveOps[T, F, FF]])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
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]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
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]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transCataT(f: (CorecursiveOps[T, F, FF]) ⇒ CorecursiveOps[T, F, FF])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transCataT(f: (CorecursiveOps[T, F, FF]) ⇒ CorecursiveOps[T, F, FF])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transCataTM[M[_]](f: (CorecursiveOps[T, F, FF]) ⇒ M[CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], T: Aux[CorecursiveOps[T, F, FF], F], BF: Traverse[F]): M[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transCataTM[M[_]](f: (CorecursiveOps[T, F, FF]) ⇒ M[CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], T: Aux[CorecursiveOps[T, F, FF], F], BF: Traverse[F]): M[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transHylo[G[_], U, H[_]](φ: (G[U]) ⇒ H[U], ψ: (F[CorecursiveOps[T, F, FF]]) ⇒ G[CorecursiveOps[T, F, FF]])(implicit arg0: Functor[G], arg1: Functor[H], U: Aux[U, H], BF: Functor[F]): U
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transHylo[G[_], U, H[_]](φ: (G[U]) ⇒ H[U], ψ: (F[CorecursiveOps[T, F, FF]]) ⇒ G[CorecursiveOps[T, F, FF]])(implicit arg0: Functor[G], arg1: Functor[H], U: Aux[U, H], BF: Functor[F]): U
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transParaT(f: ((CorecursiveOps[T, F, FF], CorecursiveOps[T, F, FF])) ⇒ CorecursiveOps[T, F, FF])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
transParaT(f: ((CorecursiveOps[T, F, FF], CorecursiveOps[T, F, FF])) ⇒ CorecursiveOps[T, F, FF])(implicit T: Aux[CorecursiveOps[T, F, FF], F], BF: Functor[F]): CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
traverseR[M[_], U, G[_]](f: (F[CorecursiveOps[T, F, FF]]) ⇒ M[G[U]])(implicit arg0: Functor[M], arg1: Functor[G], U: Aux[U, G], BF: Functor[F]): M[U]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
traverseR[M[_], U, G[_]](f: (F[CorecursiveOps[T, F, FF]]) ⇒ M[G[U]])(implicit arg0: Functor[M], arg1: Functor[G], U: Aux[U, G], BF: Functor[F]): M[U]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
universe(implicit BF: Functor[F], B: Foldable[F]): NonEmptyList[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
universe(implicit BF: Functor[F], B: Foldable[F]): NonEmptyList[CorecursiveOps[T, F, FF]]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
zygo[A, B](f: Algebra[F, B], g: GAlgebra[[β$34$](B, β$34$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
zygo[A, B](f: Algebra[F, B], g: GAlgebra[[β$34$](B, β$34$), F, A])(implicit BF: Functor[F]): A
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
zygoM[A, B, M[_]](f: AlgebraM[M, F, B], g: GAlgebraM[[β$35$](B, β$35$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
-
def
zygoM[A, B, M[_]](f: AlgebraM[M, F, B], g: GAlgebraM[[β$35$](B, β$35$), M, F, A])(implicit arg0: Monad[M], BT: Traverse[F]): M[A]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], F] is in scope.
- Definition Classes
- Ops
Shadowed Implicit Value Members
-
def
chrono[F[_], B](g: GAlgebra[[β$3$]Cofree[F, β$3$], F, B], f: GCoalgebra[[β$4$]Free[F, β$4$], F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).chrono(g, f)(arg0)
- Definition Classes
- IdOps
-
def
chrono[F[_], B](g: GAlgebra[[β$3$]Cofree[F, β$3$], F, B], f: GCoalgebra[[β$4$]Free[F, β$4$], F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).chrono(g, f)(arg0)
- Definition Classes
- IdOps
-
def
codyna[F[_], B](φ: Algebra[F, B], ψ: GCoalgebra[[β$1$]Free[F, β$1$], F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).codyna(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
codyna[F[_], B](φ: Algebra[F, B], ψ: GCoalgebra[[β$1$]Free[F, β$1$], F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).codyna(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
codynaM[M[_], F[_], B](φ: AlgebraM[M, F, B], ψ: GCoalgebraM[[β$2$]Free[F, β$2$], M, F, CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).codynaM(φ, ψ)(arg0, arg1)
- Definition Classes
- IdOps
-
def
codynaM[M[_], F[_], B](φ: AlgebraM[M, F, B], ψ: GCoalgebraM[[β$2$]Free[F, β$2$], M, F, CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).codynaM(φ, ψ)(arg0, arg1)
- Definition Classes
- IdOps
-
def
coelgot[F[_], B](φ: ElgotAlgebra[[β$6$](CorecursiveOps[T, F, FF], β$6$), F, B], ψ: Coalgebra[F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).coelgot(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
coelgot[F[_], B](φ: ElgotAlgebra[[β$6$](CorecursiveOps[T, F, FF], β$6$), F, B], ψ: Coalgebra[F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).coelgot(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
dyna[F[_], B](φ: GAlgebra[[β$0$]Cofree[F, β$0$], F, B], ψ: Coalgebra[F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).dyna(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
dyna[F[_], B](φ: GAlgebra[[β$0$]Cofree[F, β$0$], F, B], ψ: Coalgebra[F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).dyna(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
elgot[F[_], B](φ: Algebra[F, B], ψ: ElgotCoalgebra[[β$5$]\/[B, β$5$], F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).elgot(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
elgot[F[_], B](φ: Algebra[F, B], ψ: ElgotCoalgebra[[β$5$]\/[B, β$5$], F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).elgot(φ, ψ)(arg0)
- Definition Classes
- IdOps
-
def
futuM[T, M[_], F[_]](f: GCoalgebraM[[β$12$]Free[F, β$12$], M, F, CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Aux[T, F]): M[T]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).futuM(f)(arg0, arg1, T)
- Definition Classes
- IdOps
-
def
futuM[T, M[_], F[_]](f: GCoalgebraM[[β$12$]Free[F, β$12$], M, F, CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], arg1: Traverse[F], T: Aux[T, F]): M[T]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).futuM(f)(arg0, arg1, T)
- Definition Classes
- IdOps
-
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, CorecursiveOps[T, F, FF]])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[N], arg3: Traverse[N], arg4: Monad[M], arg5: Traverse[F]): M[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).ghyloM(w, n, f, g)(arg0, arg1, arg2, arg3, arg4, arg5)
- Definition Classes
- IdOps
-
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, CorecursiveOps[T, F, FF]])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[N], arg3: Traverse[N], arg4: Monad[M], arg5: Traverse[F]): M[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).ghyloM(w, n, f, g)(arg0, arg1, arg2, arg3, arg4, arg5)
- Definition Classes
- IdOps
-
def
hylo[F[_], B](f: Algebra[F, B], g: Coalgebra[F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).hylo(f, g)(arg0)
- Definition Classes
- IdOps
-
def
hylo[F[_], B](f: Algebra[F, B], g: Coalgebra[F, CorecursiveOps[T, F, FF]])(implicit arg0: Functor[F]): B
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).hylo(f, g)(arg0)
- Definition Classes
- IdOps
-
def
hyloM[M[_], F[_], B](f: AlgebraM[M, F, B], g: CoalgebraM[M, F, CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).hyloM(f, g)(arg0, arg1)
- Definition Classes
- IdOps
-
def
hyloM[M[_], F[_], B](f: AlgebraM[M, F, B], g: CoalgebraM[M, F, CorecursiveOps[T, F, FF]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to IdOps[CorecursiveOps[T, F, FF]] performed by method toIdOps in matryoshka.implicits.
- 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:(corecursiveOps: IdOps[CorecursiveOps[T, F, FF]]).hyloM(f, g)(arg0, arg1)
- Definition Classes
- IdOps
-
def
self: CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).self
- Definition Classes
- Ops
-
def
self: CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toBirecursiveOps in matryoshka.Birecursive.ToBirecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).self
- Definition Classes
- Ops
-
def
self: CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).self
- Definition Classes
- Ops
-
def
self: CorecursiveOps[T, F, FF]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toBirecursiveOps in matryoshka.Birecursive.ToBirecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).self
- Definition Classes
- Ops
-
def
typeClassInstance: Aux[CorecursiveOps[T, F, FF], F]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).typeClassInstance
- Definition Classes
- Ops
-
def
typeClassInstance: Aux[CorecursiveOps[T, F, FF], F]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toBirecursiveOps in matryoshka.Birecursive.ToBirecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).typeClassInstance
- Definition Classes
- Ops
-
def
typeClassInstance: Aux[CorecursiveOps[T, F, FF], F]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toRecursiveOps in matryoshka.Recursive.ToRecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).typeClassInstance
- Definition Classes
- Ops
-
def
typeClassInstance: Aux[CorecursiveOps[T, F, FF], F]
- Implicit
- This member is added by an implicit conversion from CorecursiveOps[T, F, FF] to Ops[CorecursiveOps[T, F, FF], F] performed by method toBirecursiveOps in matryoshka.Birecursive.ToBirecursiveOps. This conversion will take place only if an implicit value of type Aux[CorecursiveOps[T, F, FF], 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:(corecursiveOps: Ops[CorecursiveOps[T, F, FF], F]).typeClassInstance
- Definition Classes
- Ops