metadsl_core.integer

Classes

Integer(function, args, kwargs)

class metadsl_core.integer.Integer(function, args, kwargs)[source]
args: List[object]
eq(self, other) = Integer.eq[source]
fold(self, initial, fn) = Integer.fold[source]
from_int(cls, i) = Integer.from_int[source]
function: Callable
inc(self) = Integer.inc[source]
infinity(cls) = Integer.infinity[source]
kwargs: Dict[str, object]
one(cls) = Integer.one[source]
zero(cls) = Integer.zero[source]