recursive

Type Members

1. final case class Annotated[Case[+_], A](caseValue: Case[Annotated[Case, A]], annotations: A) extends Product with Serializable

   

   An Annotated[Case, A] is a recursive data structure where each case Case has been annotated with some additional information A.

2. sealed trait Folder[Case[+_], A] extends (Case[A]) ⇒ A

   

3. final case class Recursive[Case[+_]](caseValue: Case[Recursive[Case]]) extends Product with Serializable

   

4. sealed trait Unfolder[Case[+_], A] extends (A) ⇒ Case[A]