Packages

p

smithy4s

recursion

package recursion

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. recursion
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Fix[F[_]](unfix: F[Fix[F]]) extends Product with Serializable

Value Members

  1. def ana[F[_], A](unfold: (A) ⇒ F[A])(a: A)(implicit arg0: Functor[F]): Fix[F]
  2. def cata[F[_], B](fold: (F[B]) ⇒ B)(tree: Fix[F])(implicit arg0: Functor[F]): B
  3. def hylo[F[_], A, B](unfold: (A) ⇒ F[A], fold: (F[B]) ⇒ B)(a: A)(implicit arg0: Functor[F]): B
  4. def preprocess[F[_]](nt: ~>[F, F])(tree: Fix[F])(implicit arg0: Functor[F]): Fix[F]

Inherited from AnyRef

Inherited from Any

Ungrouped