zio-direct-docs/zio.direct.core.metaprog/WithIR/IRT

IRT

protected object IRT
Companion:
class
class Object
trait Matchable
class Any
IRT.type

Type members

Classlikes

case class And(left: IRT, right: IRT)(zpe: ZioType) extends Monadic
case class Block(head: Statement, tail: Monadic)(zpe: ZioType) extends Monadic
case class Fail(error: IRT)(zpe: ZioType) extends Monadic
case class FlatMap(monad: Monadic, valSymbol: Option[Symbol], body: Monadic)(zpe: ZioType) extends Monadic
case class Foreach(list: IRT, listType: TypeRepr, elementSymbol: Symbol, body: IRT)(zpe: ZioType) extends Monadic
case class If(cond: IRT, ifTrue: IRT, ifFalse: IRT)(zpe: ZioType) extends Monadic
sealed trait Leaf extends IRT
case class Map(monad: Monadic, valSymbol: Option[Symbol], body: Pure)(zpe: ZioType) extends Monadic
case class Match(scrutinee: IRT, caseDefs: CaseDefs, resultType: TypeRepr)(zpe: ZioType) extends Monadic
Companion:
object
object Match
Companion:
class
case class Monad(code: Term, source: Source)(zpe: ZioType) extends Monadic with Leaf
Companion:
object
object Monad
Companion:
class
sealed trait Monadic extends IRT
case class Or(left: IRT, right: IRT)(zpe: ZioType) extends Monadic
case class Parallel(originalExpr: Term, monads: List[(Monadic, Symbol)], body: Leaf)(zpe: ZioType) extends Monadic
case class Pure(code: Term)(zpe: ZioType) extends IRT with Leaf
Companion:
object
object Pure
Companion:
class
case class Try(tryBlock: IRT, caseDefs: Option[CaseDefs], resultType: TypeRepr, finallyBlock: Option[IRT])(zpe: ZioType) extends Monadic
case class Unsafe(body: IRT)(zpe: ZioType) extends Monadic
case class ValDef(originalStmt: Block, symbol: Symbol, assignment: IRT, bodyUsingVal: IRT)(zpe: ZioType) extends Monadic
case class While(cond: IRT, body: IRT)(zpe: ZioType) extends Monadic