Trite hacks for use with typing.

Latest release 20260525: Sortable and EQSortable Protocols which support lt and both eq and lt respectively.

Short summary:

• EQSortable: A type whose instances can be sorted and also tested for equality i.e.
• is_optional: Check if annotation is an Optional[type]. Return type if so, None otherwise.
• Sortable: A type whose instances can be sorted i.e.
• subtype: Construct a TypeVar for subtypes of the type t.

Module contents:

• class EQSortable(typing.Protocol): A type whose instances can be sorted and also tested for equality i.e. support the < and == operators.

• is_optional(annotation): Check if annotation is an Optional[type]. Return type if so, None otherwise.

• class Sortable(typing.Protocol): A type whose instances can be sorted i.e. support the < operator.

• subtype(t, name=None): Construct a TypeVar for subtypes of the type t.

  Parameters:

  • t: the type which bounds the TypeVar
  • name: optional name for the TypeVar, default t.__name__ + 'SubType'

Release Log

Release 20260525: Sortable and EQSortable Protocols which support lt and both eq and lt respectively.

Release 20250503: is_optional: bugfix: Optional[T] has a get_args of (T,), not (T,None).

Release 20250428: New is_optional(annotation) function to recognise Optional[type] annotations, returning type if true, None otherwise.

Release 20230331: Initial release.