dumps

Contents

dumps#

discopy.cat.dumps(obj, **kwargs)[source]#

Serialise a DisCoPy object as JSON.

Parameters:

  • obj – The DisCoPy object to serialise.

  • kwargs – Passed to json.dumps.

Example

>>> from discopy.cat import Box, Id
>>> f = Box('f', 'x', 'y', data=42)
>>> print(dumps(f[::-1] >> Id('x'), indent=4))
{
    "factory": "cat.Arrow",
    "inside": [
        {
            "factory": "cat.Box",
            "name": "f",
            "dom": {
                "factory": "cat.Ob",
                "name": "y"
            },
            "cod": {
                "factory": "cat.Ob",
                "name": "x"
            },
            "is_dagger": true,
            "data": 42
        }
    ],
    "dom": {
        "factory": "cat.Ob",
        "name": "y"
    },
    "cod": {
        "factory": "cat.Ob",
        "name": "x"
    }
}
Contents