def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
f'★Scalar',
_clean(self.values).items(),
delimiter="↦",
cls='abstract',
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'TypedPrimitive',
(('prim', self.prim), ('args', self.args),
('output', self.output)),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
stack = []
curr = self
while curr:
stack.append((curr.graph, curr.argkey))
curr = curr.parent
return hrepr.stdrepr_object('Context', stack)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
"TypedPrimitive",
(("prim", self.prim), ("args", self.args),
("output", self.output)),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
f"★{self.tag.__qualname__}",
self.attributes.items(),
delimiter="↦",
cls="abstract",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
type(self).__qualname__.replace("Abstract", "★"),
_clean(self.values).items(),
delimiter="↦",
cls="abstract",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'VirtualFunction',
(('args', self.args),
('output', self.output)),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'Frame',
[('graph', self.graph), ('values', self.values),
('closure', self.closure), ('todo', self.todo),
('ownership', [x.graph in (None, self.graph)
for x in self.todo])])
def __hrepr__(self, H, hrepr):
optkey = ([('tracking_id',
self.tracking_id)] if self.tracking_id is not None else [])
return hrepr.stdrepr_object(
'GraphFunction',
(('graph', self.graph), ('context', self.context), *optkey),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
optkey = ([("tracking_id",
self.tracking_id)] if self.tracking_id is not None else [])
return hrepr.stdrepr_object(
"GraphFunction",
(("graph", self.graph), ("context", self.context), *optkey),
delimiter="↦",
)
def __type_hrepr__(cls, H, hrepr):
if cls.is_generic():
return H.span('Class')
else:
return hrepr.stdrepr_object(
str(cls.tag),
[(attr, hrepr(typ)) for attr, typ in cls.attributes.items()],
delimiter='↦')
def __hrepr__(self, H, hrepr):
v = self.options
if isinstance(v, (Possibilities, list)):
return hrepr.stdrepr_object(f'★TaggedUnion',
self.options,
delimiter="↦",
cls='abstract')
else:
return hrepr.stdrepr_iterable(
[v],
before='★TaggedUnion',
cls='abstract',
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_iterable(
[
H.div(hrepr.stdrepr_object('',
_clean(self.values).items(),
delimiter="↦",
cls='noborder'),
hrepr(self.element),
style='display:flex;flex-direction:column;')
],
before='★A',
cls='abstract',
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
"Frame",
[
("graph", self.graph),
("values", self.values),
("closure", self.closure),
("todo", self.todo),
(
"ownership",
[x.graph in (None, self.graph) for x in self.todo],
),
],
)
def __hrepr__(self, H, hrepr):
d = {}
curr = self
while curr:
if curr.argkey and isinstance(curr.argkey[0], tuple):
sig = {}
for group in curr.argkey:
for name, value in group:
l = sig.setdefault(name, [])
l.append(value)
d[curr.graph] = sig
else:
d[curr.graph] = curr.argkey
curr = curr.parent
return hrepr.stdrepr_object('Context', list(d.items()))
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_iterable(
[
H.div(
hrepr.stdrepr_object(
"",
_clean(self.values).items(),
delimiter="↦",
cls="noborder",
),
hrepr(self.element),
style="display:flex;flex-direction:column;",
)
],
before="★A",
cls="abstract",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object('PendingTentative',
(('tentative', self.tentative),
('prio', self.priority())))
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object('VirtualReference', self.values.items())
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object('Reference', (('node', self.node),
('context', self.context)))
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'JTransformedFunction',
(('fn', self.fn), ),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object('SymbolicKey', (('node', self.node), ))
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'MetaGraphFunction',
(('metagraph', self.metagraph), ),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'PrimitiveFunction',
(('prim', self.prim), ),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
'Partial',
(('fn', self.fn), ('args', self.args)),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
"PrimitiveFunction",
(("prim", self.prim), ),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
"TransformedFunction",
(("fn", self.fn), ("transform", self.transform)),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object(
"★Function2",
(("args", self.args), ("output", self.output)),
delimiter="↦",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object("SymbolicKey", (("node", self.node), ))
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object("Reference", (("node", self.node),
("context", self.context)))
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_object('Closure', [('graph', self.graph),
('values', self.values)])
