Module: types#
Classes#
class Shaped: Symbolic value for an object that has a shape.
class HasLength: Symbolic value for an object that has a length.
Functions#
TypeIs(...): Special typing form used to annotate the return type of a user-defined type narrower function.
frozen(...): partial(func, *args, **keywords) - new function with partial application of the given arguments and keywords.
is_symbolic(...): Returns whether the inputs contain any symbolic object.