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

Source

See Source File

Authors

Wojciech Szęszoł

Copyright

Copyright (c) 2017 Wojciech Szęszoł. All rights reserved.

Version

Initial created: October 13, 2017

License

Boost Software License 1.0