Reflect

Definitions

def default(): a Source

Returns a default value for the inferred type. The value returned should not be depended on; it acts as a placeholder to be replaced by a proper value.

def mkSourceLocation(source: String, line1: Int32, col1: Int32, line2: Int32, col2: Int32): SourceLocation Source

Creates a SourceLocation from a source identifier and raw line/column coordinates.

Returns a SourceLocation spanning from (line1, col1) to (line2, col2) in the given source.

def reflectEff(p: ProxyEff[ef]): Purity Source

Returns the purity of ef.

def reflectType(x: Proxy[t]): JvmType Source

Returns the erased runtime representation of t.

def reflectValue(x: t): JvmValue Source

Returns the erased runtime representation of x.