def to_tree(self):
tree = {
'factory': factory_name(self),
'name': self.name,
'dom': self.dom.to_tree(),
'cod': self.cod.to_tree()}
if self.is_dagger:
tree['is_dagger'] = True
if self.data is not None:
tree['data'] = self.data
return tree
def to_tree(self):
return {'factory': factory_name(self), 'name': self.name}
def to_tree(self):
return {
'factory': factory_name(self),
'inside': self.inside.to_tree(),
'dom': self.dom.to_tree(),
'cod': self.cod.to_tree()}
def to_tree(self):
return {
'factory': factory_name(self),
'terms': [t.to_tree() for t in self.terms],
'dom': self.dom.to_tree(),
'cod': self.cod.to_tree()}
def to_tree(self):
""" Encodes an arrow as a tree. """
return {
'factory': factory_name(self),
'dom': self.dom.to_tree(), 'cod': self.cod.to_tree(),
'boxes': [box.to_tree() for box in self.boxes]}
def to_tree(self):
return {
'factory': factory_name(self),
'objects': [x.to_tree() for x in self.objects]
}
def to_tree(self):
return {
'factory': factory_name(self),
'left': self.left.to_tree(),
'right': self.right.to_tree()
}
def to_tree(self):
return {
'factory': factory_name(self),
attr: getattr(self, attr).to_tree()
}