curry.backends.py.graph package

class curry.backends.py.graph.DataType(name, ctorinfos)

Bases: object

property constructors

class curry.backends.py.graph.InfoTable(name, arity, tag, flags, step, pyformat)

Bases: object

Runtime info for a node. Every Curry node stores an InfoTable` instance, which contains instance-independent data.

property is_bool

property is_char

property is_float

property is_int

property is_io

property is_list

property is_monadic

property is_operator

property is_partial

property is_primitive

property is_special

property is_tuple

property step

property typedef

property typetag

class curry.backends.py.graph.Node(info, *args, target=None, partial_info=None, **kwds)

Bases: object

A node in a Curry expression graph.

copy()

static create_partial_applic(cls, info, *args, target=None, partial_info=None)

forward_to(target)

id()

info

rewrite(info, *args, **kwds)

set_successor(i, value)

successor(i)

successors

walk(path=None)

See walkexpr.walk.

curry.backends.py.graph.iterexpr(expr)

Generate each node in a Curry expression exactly once.

curry.backends.py.graph.walk(root, realpath=None)

Walk a Curry expression.

This yields a “state” objects for each successor of the given root. The state consists of a cursor pointing to a subexpression, current path to the cursor, and other attributes. Iteration may be pruned or deepened by modifying the state. The subexpression under the cursor may be modified.

Variables:

• stack – The remaining iteration state. May be modified to control the search. Call push to add the successors of the node under the cursor.

• realpath – A list of integers giving the real path from the root to the cursor. Not to be modified.

• spine – A list of nodes, equal in length to realpath, giving the node at each point along the path. Not to be modified.

• cursor – The node currently being visited. Equivalent to spine[-1].

• parent – The parent of the node at the cursor. Equivalent to spine[-2].

Submodules

• curry.backends.py.graph.copy module
  • GraphCopier
  • Skipper
  • copygraph()
  • copynode()
• curry.backends.py.graph.equality module
  • GraphEquality
  • equal()
  • logically_equal()
  • structurally_equal()
• curry.backends.py.graph.indexing module
  • compress_fwd_chain()
  • logical_subexpr()
  • realpath()
  • subexpr()
• curry.backends.py.graph.infotable module
  • DataType
    • DataType.constructors
  • InfoTable
    • InfoTable.is_bool
    • InfoTable.is_char
    • InfoTable.is_float
    • InfoTable.is_int
    • InfoTable.is_io
    • InfoTable.is_list
    • InfoTable.is_monadic
    • InfoTable.is_operator
    • InfoTable.is_partial
    • InfoTable.is_primitive
    • InfoTable.is_special
    • InfoTable.is_tuple
    • InfoTable.step
    • InfoTable.typedef
    • InfoTable.typetag
• curry.backends.py.graph.node module
  • Node
    • Node.copy()
    • Node.create_partial_applic()
    • Node.forward_to()
    • Node.id()
    • Node.info
    • Node.rewrite()
    • Node.set_successor()
    • Node.successor()
    • Node.successors
    • Node.walk()
  • check_int_range()
  • new_node()
• curry.backends.py.graph.utility module
  • copy_spine()
  • curry()
  • joinpath()
  • rewrite()
  • shallow_copy()
• curry.backends.py.graph.variable module
  • Variable
    • Variable.extend()
    • Variable.from_logicalpath()
    • Variable.from_root()
    • Variable.guards
    • Variable.hnf()
    • Variable.hnf_or_free()
    • Variable.info
    • Variable.is_boxed
    • Variable.is_root
    • Variable.realpath
    • Variable.replace_target()
    • Variable.rewrite()
    • Variable.root
    • Variable.rts
    • Variable.rvalue
    • Variable.successors
    • Variable.tag
    • Variable.target
    • Variable.typedef
    • Variable.unboxed_value
  • variable()
• curry.backends.py.graph.walkexpr module
  • iterexpr()
  • walk()