typez

Meta language for describing DSLs in JSON.

Classes

CallNode(id, function[, type_params, args, ...])
DeclaredType(type[, params])
DeclaredTypeInstance(type[, params])
ExternalType(type, repr)
ExternalTypeInstance(repr)
Function(params, return_[, type_params, ...])
Hashabledict	Dict that hashses to its key, value pairs.
Hashablelist([iterable])
Kind([params])
PrimitiveNode(id, type, repr)
State(node, rule, logs[, label])
States(initial[, states])
TypeParameter(param)
Typez([definitions, nodes, states])
TypezDisplay([typez])	A display object for typez objects.

class typez.CallNode(id, function, type_params=None, args=None, kwargs=None)

args: Optional[List[str]] = None

function: str

id: str

kwargs: Optional[Dict[str, str]] = None

type_params: Optional[Dict[str, Union[DeclaredTypeInstance, ExternalTypeInstance]]] = None

class typez.DeclaredType(type, params=None)

params: Optional[Dict[str, Union[TypeParameter, DeclaredType, ExternalType]]] = None

type: str

class typez.DeclaredTypeInstance(type, params=None)

params: Optional[Dict[str, Union[DeclaredTypeInstance, ExternalTypeInstance]]] = None

type: str

class typez.ExternalType(type, repr)

repr: str

type: str

class typez.ExternalTypeInstance(repr)

repr: str

class typez.Function(params, return_, type_params=None, rest_param=None)

params: List[Tuple[str, Union[TypeParameter, DeclaredType, ExternalType]]]

rest_param: Optional[Tuple[str, Union[TypeParameter, DeclaredType, ExternalType]]] = None

return_: Union[TypeParameter, DeclaredType, ExternalType]

type_params: Optional[List[str]] = None

class typez.Kind(params=None)

params: Optional[List[str]] = None

class typez.PrimitiveNode(id, type, repr)

id: str

repr: str

type: str

class typez.State(node, rule, logs, label=None)

label: Optional[str] = None

logs: str

node: str

rule: str

class typez.States(initial, states=None)

initial: str

states: Optional[List[State]] = None

class typez.TypeParameter(param)

param: str

class typez.Typez(definitions=None, nodes=None, states=None)

asdict()

Turns this into a dict, removing keys with null values and validating it against the schema.

definitions: Optional[Dict[str, Union[Kind, Function]]] = None

nodes: Optional[List[Union[CallNode, PrimitiveNode]]] = None

states: Optional[typez.States] = None

class typez.TypezDisplay(typez=<property object>)

A display object for typez objects. If you set the typez property after calling display it will update the existing display.

property typez