type/type library

Classes

HTIntrinsicType
HTType
Type is basically a set of things. It is used to check errors in code.
HTTypeAny
A type is both top and bottom, only used on declaration for analysis.
HTTypeFunction
HTTypeNamespace
HTTypeNever
A bottom type. A function whose return type is never cannot return. For example by throwing an error or looping forever.
HTTypeNull
A zero type. It's the type of runtime null value. You cannot get this type via expression or declaration.
HTTypeUnknown
A top type, basically a type-safe version of the type any.
HTTypeVoid
A empty type. A function whose return type is empty. It may contain return statement, but cannot return any value. And you cannot use the function call result in any operation.