Packages

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

Self Type
Recursive[Case]
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Recursive
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Recursive(caseValue: Case[Recursive[Case]])

Value Members

  1. val caseValue: Case[Recursive[Case]]
  2. def fold[Z](f: (Case[Z]) => Z)(implicit covariant: Covariant[Case]): Z
  3. def foldAnnotated[Z](f: (Case[Annotated[Case, Z]]) => Z)(implicit covariant: Covariant[Case]): Z

    Folds over the recursive data structure to reduce it to a summary value, providing access to the recursive structure annotated with the current previous summary values in each step of the fold.

  4. def foldDown[Z](z: Z)(f: (Z, Recursive[Case]) => Z)(implicit foreach: ForEach[Case]): Z
  5. def foldDownSome[Z](z: Z)(pf: PartialFunction[(Z, Recursive[Case]), Z])(implicit foreach: ForEach[Case]): Z
  6. def foldM[F[+_], Z](f: (Case[Z]) => F[Z])(implicit arg0: AssociativeFlatten[F], arg1: Covariant[F], arg2: IdentityBoth[F], foreach: ForEach[Case]): F[Z]
  7. def foldManaged[R, E, Z](f: (Case[Z]) => ZManaged[R, E, Z])(implicit foreach: ForEach[Case]): ZManaged[R, E, Z]
  8. def foldPure[W, S, R, E, Z](f: (Case[Z]) => ZPure[W, S, S, R, E, Z])(implicit foreach: ForEach[Case]): ZPure[W, S, S, R, E, Z]
  9. def foldRecursive[Z](f: (Case[(Recursive[Case], Z)]) => Z)(implicit covariant: Covariant[Case]): Z
  10. def foldSTM[R, E, Z](f: (Case[Z]) => ZSTM[R, E, Z])(implicit foreach: ForEach[Case]): ZSTM[R, E, Z]
  11. def foldUp[Z](z: Z)(f: (Z, Recursive[Case]) => Z)(implicit foreach: ForEach[Case]): Z
  12. def foldUpSome[Z](z: Z)(pf: PartialFunction[(Z, Recursive[Case]), Z])(implicit foreach: ForEach[Case]): Z
  13. def foldValidation[W, E, Z](f: (Case[Z]) => ZValidation[W, E, Z])(implicit foreach: ForEach[Case]): ZValidation[W, E, Z]
  14. def foldZIO[R, E, Z](f: (Case[Z]) => ZIO[R, E, Z])(implicit foreach: ForEach[Case]): ZIO[R, E, Z]
  15. def productElementNames: Iterator[String]
    Definition Classes
    Product
  16. def transformDown(f: (Recursive[Case]) => Recursive[Case])(implicit covariant: Covariant[Case]): Recursive[Case]
  17. def transformDownSome(pf: PartialFunction[Recursive[Case], Recursive[Case]])(implicit covariant: Covariant[Case]): Recursive[Case]
  18. def transformUp(f: (Recursive[Case]) => Recursive[Case])(implicit covariant: Covariant[Case]): Recursive[Case]
  19. def transformUpSome(pf: PartialFunction[Recursive[Case], Recursive[Case]])(implicit covariant: Covariant[Case]): Recursive[Case]