zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.recursive/Recursive

Recursive

zio.prelude.recursive.Recursive
See theRecursive companion object
final case class Recursive[Case[_], +Annotations](caseValue: Case[Recursive[Case, Annotations]], annotations: ZEnvironment[Annotations])

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Recursive[Case, Annotations]

Members list

Value members

Concrete methods

def fold[Z](f: (Case[Z]) => Z)(implicit covariant: Covariant[Case]): Z
def foldDown[Z](z: Z)(f: (Z, Recursive[Case, Annotations]) => Z)(implicit foreach: ForEach[Case]): Z
def foldDownSome[Z](z: Z)(pf: PartialFunction[(Z, Recursive[Case, Annotations]), Z])(implicit foreach: ForEach[Case]): Z
def foldM[F[_] : IdentityBoth, Z](f: (Case[Z]) => F[Z])(implicit evidence$1: AssociativeFlatten[F], evidence$2: Covariant[F], evidence$3: IdentityBoth[F], foreach: ForEach[Case]): F[Z]
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]
def foldRecursive[Z](f: (Case[(Recursive[Case, Annotations], Z)]) => Z)(implicit covariant: Covariant[Case]): Z
def foldSTM[R, E, Z](f: (Case[Z]) => ZSTM[R, E, Z])(implicit foreach: ForEach[Case]): ZSTM[R, E, Z]
def foldUp[Z](z: Z)(f: (Z, Recursive[Case, Annotations]) => Z)(implicit foreach: ForEach[Case]): Z
def foldUpSome[Z](z: Z)(pf: PartialFunction[(Z, Recursive[Case, Annotations]), Z])(implicit foreach: ForEach[Case]): Z
def foldValidation[W, E, Z](f: (Case[Z]) => ZValidation[W, E, Z])(implicit foreach: ForEach[Case]): ZValidation[W, E, Z]
def foldZIO[R, E, Z](f: (Case[Z]) => ZIO[R, E, Z])(implicit foreach: ForEach[Case]): ZIO[R, E, Z]
def transformDown[Annotations0 >: Annotations](f: (Recursive[Case, Annotations0]) => Recursive[Case, Annotations0])(implicit covariant: Covariant[Case]): Recursive[Case, Annotations0]
def transformDownSome[Annotations0 >: Annotations](pf: PartialFunction[Recursive[Case, Annotations0], Recursive[Case, Annotations0]])(implicit covariant: Covariant[Case]): Recursive[Case, Annotations0]
def transformUp[Annotations0 >: Annotations](f: (Recursive[Case, Annotations0]) => Recursive[Case, Annotations0])(implicit covariant: Covariant[Case]): Recursive[Case, Annotations0]
def transformUpSome[Annotations0 >: Annotations](pf: PartialFunction[Recursive[Case, Annotations0], Recursive[Case, Annotations0]])(implicit covariant: Covariant[Case]): Recursive[Case, Annotations0]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with