zoo

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def apo[F[_], A, R](coalgebra: RCoalgebra[R, F, A])(implicit arg0: Functor[F], embed: Embed[F, R]): (A) ⇒ R

   

   A variation of an anamorphism that lets you terminate any point of the recursion using a value of the original input type.

   A variation of an anamorphism that lets you terminate any point of the recursion using a value of the original input type.

   One use case is to return cached/precomputed results during an unfold.

   Definition Classes

   Zoo

5. def apoM[M[_], F[_], A, R](coalgebraM: RCoalgebraM[R, M, F, A])(implicit arg0: Monad[M], arg1: Traverse[F], embed: Embed[F, R]): (A) ⇒ M[R]

   

   A monadic version of an apomorphism.

   A monadic version of an apomorphism.

   Definition Classes

   Zoo

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def chrono[F[_], A, B](algebra: CVAlgebra[F, B], coalgebra: CVCoalgebra[F, A])(implicit arg0: Functor[F]): (A) ⇒ B

   

   A fusion refold of a futumorphism followed by a histomorphism

   A fusion refold of a futumorphism followed by a histomorphism

   Definition Classes

   Zoo

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def dyna[F[_], A, B](algebra: CVAlgebra[F, B], coalgebra: Coalgebra[F, A])(implicit arg0: Functor[F]): (A) ⇒ B

   

   A fusion refold of an anamorphism followed by a histomorphism

   A fusion refold of an anamorphism followed by a histomorphism

   Definition Classes

   Zoo

10. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

13. def futu[F[_], A, R](coalgebra: CVCoalgebra[F, A])(implicit arg0: Functor[F], embed: Embed[F, R]): (A) ⇒ R

    

    Futumorphism

    Futumorphism

    Definition Classes

    Zoo

14. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

15. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

16. def histo[F[_], R, B](algebra: CVAlgebra[F, B])(implicit arg0: Functor[F], project: Project[F, R]): (R) ⇒ B

    

    Histomorphism

    Histomorphism

    Definition Classes

    Zoo

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

19. final def notify(): Unit

    

    Definition Classes

    AnyRef

20. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

21. def para[F[_], R, B](algebra: RAlgebra[R, F, B])(implicit arg0: Functor[F], project: Project[F, R]): (R) ⇒ B

    

    A variation of a catamorphism that gives you access to the input value at every point in the computation.

    A variation of a catamorphism that gives you access to the input value at every point in the computation.

    A paramorphism "eats its argument and keeps it too."

    This means each step has access to both the computed result value as well as the original value.

    Definition Classes

    Zoo

22. def paraM[M[_], F[_], R, B](algebraM: RAlgebraM[R, M, F, B])(implicit arg0: Monad[M], arg1: Traverse[F], project: Project[F, R]): (R) ⇒ M[B]

    

    A monadic version of a paramorphism.

    A monadic version of a paramorphism.

    Definition Classes

    Zoo

23. def postpro[F[_], A, R](coalgebra: Coalgebra[F, A], natTrans: ~>[F, F])(implicit arg0: Functor[F], embed: Embed[F, R]): (A) ⇒ R

    

    A variation of an anamorphism that applies a natural transformation after its coalgebra.

    A variation of an anamorphism that applies a natural transformation after its coalgebra.

    This allows one to postprocess the output structure.

    Definition Classes

    Zoo

24. def prepro[F[_], R, B](natTrans: ~>[F, F], algebra: Algebra[F, B])(implicit arg0: Functor[F], project: Project[F, R]): (R) ⇒ B

    

    A variation of a catamorphism that applies a natural transformation before its algebra.

    A variation of a catamorphism that applies a natural transformation before its algebra.

    This allows one to preprocess the input structure.

    Definition Classes

    Zoo

25. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

26. def toString(): String

    

    Definition Classes

    AnyRef → Any

27. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

28. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

29. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30. def zygo[F[_], R, A, B](algebra: Algebra[F, A], ralgebra: RAlgebra[A, F, B])(implicit arg0: Functor[F], project: Project[F, R]): (R) ⇒ B

    

    A catamorphism built from two semi-mutually recursive functions.

    A catamorphism built from two semi-mutually recursive functions.

    This allows the second algebra to depend on the result of the first one.

    Definition Classes

    Zoo