metadsl_core.abstraction

Classes

Abstraction(function, args, kwargs)

Variable()

should only be equal to itself

class metadsl_core.abstraction.Abstraction(function, args, kwargs)[source]
args: List[object]
create(cls, var, body) = Abstraction.create[source]
create_variable(cls, variable) = Abstraction.create_variable[source]
static fix(fn)[source]

Fixed pointer operator, used to define recursive functions.

Return type

TypeVar(T)

from_fn(cls, fn) = Abstraction.from_fn[source]
function: Callable
kwargs: Dict[str, object]
unfix(self) = Abstraction.unfix[source]
class metadsl_core.abstraction.Variable[source]

should only be equal to itself