AARCHMRS Schema 2.5.3

↚ Home

AST.Tuple object

A model representing a tuple:

  • (foo, bar)
  • (TRUE, Zeros(32))

object

Properties Type Description
_meta Meta
See Meta for more information.
_type
Enum
AST.Tuple
values
array [
BinaryOp
]

The values of the tuple.

Additional Properties
Not Allowed
◊ Required
Properties marked with ◊ are required properties.
Examples
{
    "_type": "AST.Tuple", 
    "values": [
        {
            "_type": "AST.Function", 
            "name": "foo"
        }, 
        {
            "_type": "AST.Function", 
            "name": "bar"
        }
    ]
}
{
    "_type": "AST.Tuple", 
    "values": [
        {
            "_type": "AST.Bool", 
            "value": true
        }, 
        {
            "_type": "AST.Function", 
            "name": "Zeros", 
            "arguments": [
                {
                    "_type": "AST.Integer", 
                    "value": 32
                }
            ]
        }
    ]
}

Schema http://json-schema.org/draft-04/schema#

{
  "additionalProperties": false,
  "info": [
    "A model representing a tuple:",
    [
      " - `(foo, bar)`",
      " - `(TRUE, Zeros(32))`"
    ]
  ],
  "examples": [
    {
      "_type": "AST.Tuple",
      "values": [
        {
          "_type": "AST.Function",
          "name": "foo"
        },
        {
          "_type": "AST.Function",
          "name": "bar"
        }
      ]
    },
    {
      "_type": "AST.Tuple",
      "values": [
        {
          "_type": "AST.Bool",
          "value": true
        },
        {
          "_type": "AST.Function",
          "name": "Zeros",
          "arguments": [
            {
              "_type": "AST.Integer",
              "value": 32
            }
          ]
        }
      ]
    }
  ],
  "properties": {
    "_meta": {
      "$ref": "../Meta.json"
    },
    "_type": {
      "enum": [
        "AST.Tuple"
      ]
    },
    "values": {
      "info": [
        "The values of the tuple."
      ],
      "type": "array",
      "minItems": 2,
      "items": {
        "$ref": "BinaryOp.json#/definitions/expression"
      }
    }
  },
  "required": [
    "values"
  ],
  "title": "Tuple",
  "type": "object",
  "$schema": "http://json-schema.org/draft-04/schema#"
}