Type Members

1.  case class And(left: (WithIR.this)#IR, right: (WithIR.this)#IR) extends Monadic with Product with Serializable
2.  case class Block(head: scala.reflect.macros.Universe.Tree, tail: Monadic) extends Monadic with Product with Serializable
3.  case class Fail(error: (WithIR.this)#IR) extends Monadic with Product with Serializable
4.  case class FlatMap(monad: Monadic, valSymbol: Option[scala.reflect.macros.Universe.TermName], body: Monadic) extends Monadic with Product with Serializable
5.  case class Foreach(list: (WithIR.this)#IR, listType: scala.reflect.macros.Universe.Type, elementSymbol: scala.reflect.macros.Universe.TermName, body: (WithIR.this)#IR) extends Monadic with Product with Serializable
6.  case class If(cond: (WithIR.this)#IR, ifTrue: (WithIR.this)#IR, ifFalse: (WithIR.this)#IR) extends Monadic with Product with Serializable
7.  sealed trait Leaf extends (WithIR.this)#IR
8.  case class Map(monad: Monadic, valSymbol: Option[scala.reflect.macros.Universe.TermName], body: Pure) extends Monadic with Product with Serializable
9.  case class Match(scrutinee: (WithIR.this)#IR, caseDefs: List[CaseDef]) extends Monadic with Product with Serializable
10.  class Monad extends Monadic with Leaf
11.  sealed trait Monadic extends (WithIR.this)#IR
12.  case class Or(left: (WithIR.this)#IR, right: (WithIR.this)#IR) extends Monadic with Product with Serializable
13.  case class Parallel(originalExpr: scala.reflect.macros.Universe.Tree, monads: List[(Monadic, scala.reflect.macros.Universe.TermName, scala.reflect.macros.Universe.Type)], body: Leaf) extends Monadic with Product with Serializable
14.  case class Pure(code: scala.reflect.macros.Universe.Tree) extends (WithIR.this)#IR with Leaf with Product with Serializable
15.  case class Try(tryBlock: (WithIR.this)#IR, cases: List[CaseDef], resultType: scala.reflect.macros.Universe.Type, finallyBlock: Option[(WithIR.this)#IR]) extends Monadic with Product with Serializable
16.  case class Unsafe(body: (WithIR.this)#IR) extends Monadic with Product with Serializable
17.  case class ValDef(originalStmt: scala.reflect.macros.Universe.Tree, symbol: scala.reflect.macros.Universe.TermName, assignment: (WithIR.this)#IR, bodyUsingVal: (WithIR.this)#IR) extends Monadic with Product with Serializable
18.  case class While(cond: (WithIR.this)#IR, body: (WithIR.this)#IR) extends Monadic with Product with Serializable