Reflect
Definitions
def default(): a
SourceReturns 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 reflectEffect(p: ProxyEff[ef]): Purity
SourceReturns the purity of ef.