MOAL.type_theory package¶

Submodules¶

MOAL.type_theory.duck module¶

class MOAL.type_theory.duck.ApoptosisManager[source]¶

autophagy(tissue)¶

class MOAL.type_theory.duck.CancerCell[source]¶

Bases: MOAL.type_theory.duck.Cell

Duck Typing, with a twist - it looks like a cell, moves like a cell... but it has a little surprise!

programmed_cell_death = False¶

class MOAL.type_theory.duck.Cell[source]¶

copy_dna()¶

mitosis()¶

mutate()¶

programmed_cell_death = True¶

class MOAL.type_theory.duck.Skin[source]¶

tissue_type = 'skin'¶

class MOAL.type_theory.duck.Teratoma[source]¶

Bases: MOAL.type_theory.duck.Skin

tissue_type = 'eyeball + teeth'¶

class MOAL.type_theory.duck.VitalOrgan(cells=[])[source]¶

Fun side note - when an organ or part of the body is forming, it uses cell apoptosis to effectively ‘carve out’ the shape by killing off cells in a programmatic process – amazing!

See: https://en.wikipedia.org/wiki/Programmed_cell_death

__init__(cells=[])[source]¶

differentiate()[source]¶

Not to be confused with cell differentiation.

replenish(cells)[source]¶

MOAL.type_theory.nominal_structural module¶

class MOAL.type_theory.nominal_structural.InvalidSubstructuralType[source]¶

Bases: MOAL.type_theory.nominal_structural.StructuralType

__abstractmethods__ = frozenset([])¶

_abc_cache = <_weakrefset.WeakSet object>¶

_abc_negative_cache = <_weakrefset.WeakSet object>¶

_abc_negative_cache_version = 26¶

_abc_registry = <_weakrefset.WeakSet object>¶

random_other_prop = 'Foobar'¶

test_method_2(*args)¶

class MOAL.type_theory.nominal_structural.PrimaryNominal[source]¶

Bases: object, MOAL.type_theory.nominal_structural.TesterMixin

class MOAL.type_theory.nominal_structural.StructuralType[source]¶

Bases: object, MOAL.type_theory.nominal_structural.TesterMixin

__abstractmethods__ = frozenset([])¶

__metaclass__¶

alias of ABCMeta

classmethod __subclasshook__(subclass)¶

Use an abc and override subclass hook by looking over all the methods and properties of the class. This allows for structural comparison, instead of the typical inheritance pattern.

_abc_cache = <_weakrefset.WeakSet object>¶

_abc_negative_cache = <_weakrefset.WeakSet object>¶

_abc_negative_cache_version = 26¶

_abc_registry = <_weakrefset.WeakSet object>¶

static _extract_members()¶

static _extract_props()¶

static compare(self_methods, self_props, other_methods, other_props)¶

debug = True¶

test_method()¶

class MOAL.type_theory.nominal_structural.SubNominal[source]¶

Bases: MOAL.type_theory.nominal_structural.PrimaryNominal

class MOAL.type_theory.nominal_structural.TesterMixin[source]¶

show_class()¶

class MOAL.type_theory.nominal_structural.ValidSubStructuralType[source]¶

Bases: MOAL.type_theory.nominal_structural.StructuralType

__abstractmethods__ = frozenset([])¶

_abc_cache = <_weakrefset.WeakSet object>¶

_abc_negative_cache = <_weakrefset.WeakSet object>¶

_abc_negative_cache_version = 26¶

_abc_registry = <_weakrefset.WeakSet object>¶

test_method(*args)¶