morphling/morphling/HFix

HFix

final case class HFix[F[_[_], _], I](unfix: Eval[F[[_] =>> HFix[F, _$31], I]])

Fixpoint data type that can preserve a type index through its recursive step.

Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product