Skip to content

void

void #

Void — the side-effect return type; a non-storable leaf.

A procedure returning Void performs an action (show instructions, assert, sequence other steps) and yields nothing to store. It is a CGType so procedure return types are uniformly CGTypes, but it has no place on disk.

Void #

Bases: CGType

A side effect: a procedure that returns nothing storable.

Source code in capturegraph-lib/capturegraph/types/special/void.py 
18
19
20
21
22
23
24
25
26
27
class Void(CGType):
    """A side effect: a procedure that returns nothing storable."""

    __slots__ = ()
    storable: ClassVar[bool] = False

    @classmethod
    def schema(cls) -> dict[str, JSONValue]:
        """This type's wire form: ``{"type": "void"}``."""
        return {"type": "void"}

schema() classmethod #

This type's wire form: {"type": "void"}.

Source code in capturegraph-lib/capturegraph/types/special/void.py 
24
25
26
27
@classmethod
def schema(cls) -> dict[str, JSONValue]:
    """This type's wire form: ``{"type": "void"}``."""
    return {"type": "void"}