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.