Module SignatureTypes

Import path

import qtil.parameterization.SignatureTypes

InfSignature	A module to declare any infinite type as a signature type, without a separate declaration.
Signature	A module to declare any finite type as a signature type, without a separate declaration.

FiniteStringableType	A common signature type that can be used to represent any finite type, excluding `newtype`s, in order to provide a `toString()` method.
FiniteType	A common signature type that can be used to represent any finite type, including `newtype`s.
InfiniteStringableType	A common signature type that can be used to represent any possibly infinite type, such as `int` and `string` and normal classes, but excludes `newtype`s, in order to provide a `toString()` method.
InfiniteType	A common signature type that can be used to represent any possibly infinite type, including `int` and `string`, as well as any normal class or algebraic `newtype`.
StringlikeType	A common signature type that can be used to represent any string type, including `string` and classes that are instances of `string` via `instanceof` inheritance.