WhileModule

Methods of the module object val While

class Object
trait Matchable
class Any

Value members

Abstract methods

def apply(cond: Term, body: Term): While

Creates a while loop while (<cond>) <body> and returns (<cond>, <body>)

Creates a while loop while (<cond>) <body> and returns (<cond>, <body>)

def copy(original: Tree)(cond: Term, body: Term): While
def unapply(x: While): (Term, Term)

Extractor for while loops. Matches while (<cond>) <body> and returns (<cond>, <body>)

Extractor for while loops. Matches while (<cond>) <body> and returns (<cond>, <body>)