matryoshka

# Corecursive

### Related Docs: object Corecursive | package matryoshka

#### trait Corecursive[T] extends Based[T]

Unfolds for corecursive data types.

Self Type
Corecursive[T]
Linear Supertypes
Based[T], Serializable, Serializable, AnyRef, Any
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Corecursive
2. Based
3. Serializable
4. Serializable
5. AnyRef
6. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Type Members

1. #### abstract type Base[A]

Definition Classes
Based

### Concrete 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

6. #### def apo[A](a: A)(f: GCoalgebra[[β\$0\$]\/[T, β\$0\$], Base, A])(implicit BF: Functor[Base]): T

An unfold that can short-circuit certain sections.

8. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
9. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )

14. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
15. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
16. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )

21. #### def gapo[A, B](a: A)(ψ0: Coalgebra[Base, B], ψ: GCoalgebra[[β\$3\$]\/[B, β\$3\$], Base, A])(implicit BF: Functor[Base]): T

An unfold that can handle sections with a secondary unfold.

22. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
23. #### def hashCode(): Int

Definition Classes
AnyRef → Any
24. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
25. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
26. #### final def notify(): Unit

Definition Classes
AnyRef
27. #### final def notifyAll(): Unit

Definition Classes
AnyRef
28. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
29. #### def toString(): String

Definition Classes
AnyRef → Any

35. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )