O object

Typed

extends Object

Scala ascription x: T

Supertypes

Object

Members

def 

apply

( expr: Term ,  tpt: TypeTree ) ( implicit  ctx: Context ) : Typed

Create a type ascription <x: Term>: <tpt: TypeTree>

Create a type ascription <x: Term>: <tpt: TypeTree>

def 

copy

( original: Tree ) ( expr: Term ,  tpt: TypeTree ) ( implicit  ctx: Context ) : Typed

def 

extension_expr

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

def 

extension_tpt

( self: Typed ) ( implicit  ctx: Context ) : TypeTree

def 

unapply

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

Matches <expr: Term>: <tpt: TypeTree>

Matches <expr: Term>: <tpt: TypeTree>