Reflect

Functions for reflecting on the runtime representation of values and types.

Enums

JvmType	Type of reflected types, reflecting their erased runtime representation.
JvmValue	Type of reflected values, reflecting their erased runtime representation.
Purity	Type of reflected effects.
SourceLocation	Type of spans within a source.
SourcePosition	Type of zero-width positions within a source.

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.