ReconstructTree

protected class ReconstructTree[F[_, _, _], S, W]
Companion:
object
class Object
trait Matchable
class Any

Type members

Classlikes

case class InvokeWith(zpe: ZioType) extends Invoker[F, S, W]

Value members

Concrete methods

def fromIR(irt: IRT): Term
def reconstructErrorMonadic(monadFailure: Expr[MonadFallible[F]])(irt: Fail): ZioValue
def reconstructTryCases(monadFailure: Expr[MonadFallible[F]])(wholeTryZpe: ZioType, tryBlock: IRT, caseDefs: CaseDefs): (ZioType, ZioValue)

Implicits

Implicits

implicit val typeUnion: TypeUnion