uLang::SemanticTypeUtils::Canonicalize

Navigation

API > API/Runtime > API/Runtime/VerseCompiler

Overloads

uLang::SemanticTypeUtils::Canonicalize(const CTypeBase &)

Description

Replace all types with equivalent representations with a single canonical type - the type used when emitting code. In particular, type variables are erased.

namespace uLang  
{  
    namespace SemanticTypeUtils  
    {  
        const CTypeBase & uLang::SemanticTypeUtils::Canonicalize  
        (  
            const CTypeBase &  
        )  
    }  
}  
Copy full snippet

namespace uLang {     namespace SemanticTypeUtils     {         const CTypeBase & uLang::SemanticTypeUtils::Canonicalize         (             const CTypeBase &         )     } }

uLang::SemanticTypeUtils::Canonicalize(const CFunctionType &)

namespace uLang  
{  
    namespace SemanticTypeUtils  
    {  
        const CFunctionType & uLang::SemanticTypeUtils::Canonicalize  
        (  
            const CFunctionType &  
        )  
    }  
}  
Copy full snippet

namespace uLang {     namespace SemanticTypeUtils     {         const CFunctionType & uLang::SemanticTypeUtils::Canonicalize         (             const CFunctionType &         )     } }

uLang::SemanticTypeUtils::Canonicalize(const CTupleType &)

namespace uLang  
{  
    namespace SemanticTypeUtils  
    {  
        const CTupleType & uLang::SemanticTypeUtils::Canonicalize  
        (  
            const CTupleType &  
        )  
    }  
}  
Copy full snippet

namespace uLang {     namespace SemanticTypeUtils     {         const CTupleType & uLang::SemanticTypeUtils::Canonicalize         (             const CTupleType &         )     } }