Symbol

Symbol#

class hugr.model.Symbol(name: str, params: ~collections.abc.Sequence[~hugr.model.Param] = <factory>, constraints: ~collections.abc.Sequence[~hugr.model.Term] = <factory>, signature: ~hugr.model.Term = <factory>)[source]#

Bases: object

A named symbol.

Methods

from_str

Read the symbol from its string representation.

Attributes

name

params

constraints

signature

static from_str(s: str) Symbol[source]#

Read the symbol from its string representation.