O object

While

extends Object

Supertypes

Object

Members

def 

apply

( cond: Term ,  body: Term ) ( implicit  ctx: Context ) : While

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

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

def 

copy

( original: Tree ) ( cond: Term ,  body: Term ) ( implicit  ctx: Context ) : While

def 

extension_body

( self: While ) ( implicit  ctx: Context ) : Term

def 

extension_cond

( self: While ) ( implicit  ctx: Context ) : Term

def 

unapply

( x: While ) ( implicit  ctx: Context ) : Option[( Term, Term )]

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

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