def __type_hrepr__(cls, H, hrepr):
if cls.is_generic():
return H.span('Function')
else:
return hrepr.stdrepr_iterable(list(cls.arguments) +
[H.span('→'), cls.retval],
cls='myia-type-function')
def __hrepr__(self, H, hrepr):
v = self.options
return hrepr.stdrepr_iterable(
v if isinstance(v, Possibilities) else [v],
before='★U',
cls='abstract',
)
def __hrepr__(self, H, hrepr):
v = self.values[VALUE]
return hrepr.stdrepr_iterable(
v if isinstance(v, Possibilities) else [v],
before='★Function',
cls='abstract',
)
def __type_hrepr__(cls, H, hrepr):
if cls.is_generic():
return H.span('List')
else:
return hrepr.stdrepr_iterable([cls.element_type],
cls='myia-type-list',
before='[',
after=']')
def __type_hrepr__(cls, H, hrepr):
if cls.is_generic():
return H.span('Tuple')
else:
return hrepr.stdrepr_iterable(cls.elements,
cls='myia-type-tuple',
before='(',
after=')')
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):
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_iterable(
self.elements,
before='★T',
cls='abstract',
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_iterable(
_toseq(self.options),
before="★U",
cls="abstract",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_iterable(
_toseq(self.elements),
before="★T",
cls="abstract",
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_iterable(
_toseq(self.options),
before='★U',
cls='abstract',
)
def __hrepr__(self, H, hrepr):
return hrepr.stdrepr_iterable(
self.values[VALUE],
before='★Function',
cls='abstract',
)
