types library
Classes
- HTExternalType
- HTFunctionType
- HTIntrinsicType
- HTLiteralType
- HTNominalType
- A type checks ids and its super types.
- HTParameterType
- HTStructuralType
- A type checks interfaces rather than type ids.
- HTType
- Type is basically a set of things. It is used to check errors in code.
- HTTypeAny
-
A type is both
topandbottom, only used on declaration for analysis. - HTTypeFunction
- HTTypeNamespace
- HTTypeNever
-
A
bottomtype. A function whose return type is never cannot return. For example by throwing an error or looping forever. - HTTypeNull
-
A
zerotype. It's the type of runtime null value. You cannot get this type via expression or declaration. - HTTypeUnknown
-
A
toptype, basically a type-safe version of the type any. - HTTypeVoid
-
A
emptytype. 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. - HTUnresolvedType
- A supposed type, could be a type alias or a nominal type.