Documentation

isFundamental returns True only if the type is fundamental type (See also: § 3.9.1), otherwise retunrs False.

If the first argument is a type qualifier, qualify returns a type that qualifies the type of the second argument with that qualifier. Otherwise Nothing is returned.

sizeof returns the byte size of the type defined by C language.

alignof returns the alignment of the type defiend by C language.

deref returns Just x for the underlying type x only if a is CTPtr or CTArray. Otherwise returns Nothing.

ctorPtr returns a convolution function with \(n\) specified pointers nested

dctorPtr deconstructs the nested structure of CTPtr and returns the convolution function of the original type and CTPtr

dctorArray deconstructs the nested structure of CTArray and returns the convolution function of the original type and CTArray

removeAllExtents is the same as std::remove_all_extents defined in C++11 <type_traits> (See also: N3337/§ 20.9.7.4) header. If type T is a multidimensional array of type X, type X is returned. Otherwise, it returns type T.

conversion defines one type from two types according to the implicit conversion defined in §6.3.1.8

implicitInt sets long or short type declarations for type declarations with only modifiers such as long and short. Otherwise, nothing to do.