[silver:reflect:util]

Contents of [silver:reflect:util]:

Defined in this grammar:

function getInherited   (runtimeTypeable a => Either<String a> ::= x::Decorated b with i attr::String )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 57.

Reflectively access an inherited attribute from a tree by name. Note that this deeply forces the result if it is a term, and catches any errors thrown in evaluation.


function getSynthesized   (runtimeTypeable a => Either<String a> ::= x::b attr::String )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 69.

Reflectively access a synthesized attribute from a tree by name. Note that this deeply forces the result if it is a term, and catches any errors thrown in evaluation.

function reflect   (AST ::= x::a )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 5.

(Undocumented.)


function reify   (runtimeTypeable a => Either<String a> ::= x::AST )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 13.

(Undocumented.)


function reflectTypeName   (Maybe<String> ::= x::a )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 21.

(Undocumented.)


function nativeToString   (String ::= x::a )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 29.

(Undocumented.)


function applyAST   (Either<String AST> ::= fn::AST args::[Maybe<AST>] namedArgs::[Pair<String Maybe<AST>>] )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 37.

(Undocumented.)


fun reifyUnchecked   (runtimeTypeable a => a ::= x::AST )

Contained in grammar [silver:reflect:util]. Defined at silver/reflect/util/Util.sv line 45.

(Undocumented.)