Trait/Object

matryoshka

Recursive

Related Docs: object Recursive | package matryoshka

Permalink

trait Recursive[T[_[_]]] extends Serializable

Folds for recursive data types.

Linear Supertypes
Serializable, Serializable, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Recursive
  2. Serializable
  3. Serializable
  4. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def getClass(): Class[_]

    Permalink
    Definition Classes
    Any
  2. abstract def project[F[_]](t: T[F])(implicit arg0: Functor[F]): F[T[F]]

    Permalink

Concrete Value Members

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

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

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

    Permalink
    Definition Classes
    Any
  4. def all[F[_]](t: T[F])(p: (T[F]) ⇒ Boolean)(implicit arg0: Functor[F], arg1: Foldable[F]): Boolean

    Permalink
  5. def any[F[_]](t: T[F])(p: (T[F]) ⇒ Boolean)(implicit arg0: Functor[F], arg1: Foldable[F]): Boolean

    Permalink
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def cata[F[_], A](t: T[F])(f: (F[A]) ⇒ A)(implicit arg0: Functor[F]): A

    Permalink
  8. def cataM[F[_], M[_], A](t: T[F])(f: (F[A]) ⇒ M[A])(implicit arg0: Traverse[F], arg1: Monad[M]): M[A]

    Permalink
  9. def children[F[_]](t: T[F])(implicit arg0: Functor[F], arg1: Foldable[F]): List[T[F]]

    Permalink
  10. def collect[F[_], B](t: T[F])(pf: PartialFunction[T[F], B])(implicit arg0: Functor[F], arg1: Foldable[F]): List[B]

    Permalink
  11. def contains[F[_]](t: T[F], c: T[F])(implicit arg0: Functor[F], arg1: Foldable[F], T: Equal[T[F]]): Boolean

    Permalink
  12. def convertTo[F[_], R[_[_]]](t: T[F])(implicit arg0: Functor[F], arg1: Corecursive[R]): R[F]

    Permalink
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  14. def foldMap[F[_], Z](t: T[F])(f: (T[F]) ⇒ Z)(implicit arg0: Functor[F], arg1: Foldable[F], arg2: Monoid[Z]): Z

    Permalink
  15. def foldMapM[F[_], M[_], Z](t: T[F])(f: (T[F]) ⇒ M[Z])(implicit arg0: Functor[F], arg1: Foldable[F], arg2: Monad[M], arg3: Monoid[Z]): M[Z]

    Permalink
  16. def gcata[F[_], W[_], A](t: T[F])(k: DistributiveLaw[F, W], g: (F[W[A]]) ⇒ A)(implicit arg0: Functor[F], arg1: Comonad[W]): A

    Permalink
  17. def ghisto[F[_], H[_], A](t: T[F])(g: DistributiveLaw[F, H], f: (F[Cofree[H, A]]) ⇒ A)(implicit arg0: Functor[F], arg1: Functor[H]): A

    Permalink
  18. def gpara[F[_], W[_], A](t: T[F])(e: DistributiveLaw[F, W], f: (F[EnvT[T[F], W, A]]) ⇒ A)(implicit arg0: Functor[F], arg1: Comonad[W], T: Corecursive[T]): A

    Permalink
  19. def gzygo[F[_], W[_], A, B](t: T[F])(f: (F[B]) ⇒ B, w: DistributiveLaw[F, W], g: (F[EnvT[B, W, A]]) ⇒ A)(implicit arg0: Functor[F], arg1: Comonad[W]): A

    Permalink
  20. def hashCode(): Int

    Permalink
    Definition Classes
    Any
  21. def histo[F[_], A](t: T[F])(f: (F[Cofree[F, A]]) ⇒ A)(implicit arg0: Functor[F]): A

    Permalink
  22. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  23. def isLeaf[F[_]](t: T[F])(implicit arg0: Functor[F], arg1: Foldable[F]): Boolean

    Permalink
  24. def mutu[F[_], A, B](t: T[F])(f: (F[(A, B)]) ⇒ B, g: (F[(B, A)]) ⇒ A)(implicit arg0: Functor[F]): A

    Permalink

    Mutually-recursive fold.

  25. def para[F[_], A](t: T[F])(f: (F[(T[F], A)]) ⇒ A)(implicit arg0: Functor[F]): A

    Permalink
  26. def paraM[F[_], M[_], A](t: T[F])(f: (F[(T[F], A)]) ⇒ M[A])(implicit arg0: Traverse[F], arg1: Monad[M]): M[A]

    Permalink
  27. def paraZygo[F[_], A, B](t: T[F])(f: (F[(T[F], B)]) ⇒ B, g: (F[(B, A)]) ⇒ A)(implicit arg0: Functor[F], arg1: Unzip[F]): A

    Permalink
  28. def toString(): String

    Permalink
    Definition Classes
    Any
  29. def topDownCataM[F[_], M[_], A](t: T[F], a: A)(f: (A, T[F]) ⇒ M[(A, T[F])])(implicit arg0: Traverse[F], arg1: Monad[M], T: Corecursive[T]): M[T[F]]

    Permalink
  30. def universe[F[_]](t: T[F])(implicit arg0: Functor[F], arg1: Foldable[F]): List[T[F]]

    Permalink
  31. def zygo[F[_], A, B](t: T[F])(f: (F[B]) ⇒ B, g: (F[(B, A)]) ⇒ A)(implicit arg0: Functor[F]): A

    Permalink

Inherited from Serializable

Inherited from Serializable

Inherited from Any

Ungrouped