Typing

Satella contains some expressions to help you with typing. You import them from satella.coding.typing. They are as follows:

• NoneType - the type of None
• ExceptionClassType - base type of exception class
• Number - an amalgam of int and float

• T, U, K, V - type vars to use

  • Note that K must be hashable

• Iteratable - a generic iterator or an iterable of T
• NoArgCallable - a callable with no arguments returning T
• Appendable - an object which has the append method
• Predicate - a callable that accepts a T and returns a bool
• KVTuple - a tuple of (K, V)
• Comparable - a class that allows comparison between it’s instances

• ExceptionList - either a single exception type or a tuple of exception types.

  As used by except statement and some satella functions.

You may use these generics in your classes, eg.

def enumerate(v: Iteratable[int]) -> int:
    ...