dstep.translator.TypeInference

Members

Aliases

InferredType
alias InferredType = Algebraic!(Defined, Generic, Meta)
Undocumented in source.

Classes

InferenceContext
class InferenceContext
Undocumented in source.
TypedMacroDefinition
class TypedMacroDefinition
Undocumented in source.

Functions

commonType
InferredType commonType(InferredType a, InferredType b)
Undocumented in source. Be warned that the author may not have intended to support it.
inferExpressionType
InferredType inferExpressionType(Expression expression)
Undocumented in source. Be warned that the author may not have intended to support it.
inferMacroSignature
void inferMacroSignature(InferenceContext context, TypedMacroDefinition currentDefinition)
Undocumented in source. Be warned that the author may not have intended to support it.
inferMacroSignature
void inferMacroSignature(InferenceContext context, TypedMacroDefinition currentDefinition, Expression expression)
Undocumented in source. Be warned that the author may not have intended to support it.
inferMacroSignatures
TypedMacroDefinition[string] inferMacroSignatures(Context context)
Undocumented in source. Be warned that the author may not have intended to support it.

Structs

Defined
struct Defined
Undocumented in source.
Generic
struct Generic
Undocumented in source.
InferredSignature
struct InferredSignature
Undocumented in source.
Meta
struct Meta
Undocumented in source.

Meta

Authors

Wojciech Szęszoł

Version

Initial created: October 13, 2017