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 reflect(x: t): JvmValue Source

Returns the erased runtime representation of x.

def reflectBool(p: ProxyBool[b]): Bool Source

Returns the bool of b.

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

Returns the purity of ef.

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

Returns the erased runtime representation of t.