IDE interaction parameters

Developers may want to deploy contracts through the IDE for testing which require complex types or interaction. This page specifies the untypical type interactions developers may have with the IDE.

Bool

field is_paused : Bool = True

{   "constructor": "False",   "argtypes": [],   "arguments": [] }

List of Uint256

transition Test(input: List Uint256)

["1","2","3"]

Pair of ByStr20 Uint256

transition Test(input: List (Pair ByStr20 Uint256))

[{  "constructor":"Pair",  "argtypes": [      "ByStr20",      "Uint256"    ],    "arguments": [      "0x0496a854570f27687B6f401d5e209fD14c3F3061",      "5"    ]}]

List of Pair

transition Test(input: List (Pair ByStr20 Uint32))

  {    "vname": "plist",    "type": "List (Pair ByStr20 Uint32)",    "value": [      {        "constructor": "Pair",        "argtypes": [ "ByStr20", "Uint32" ],        "arguments": [ "0x12345678901234567890123456789012345678ab", "1" ]      },      {        "constructor": "Pair",        "argtypes": [ "ByStr20", "Uint32" ],        "arguments": [ "0x12345678901234567890123456789012345678bd", "2" ]      }     ]  }

ADT

type OptionSimpleType = | OptionSimpleType of Uint256 (Option Uint256)
transition Test(input : OptionSimpleType)

{  "constructor": "OptionSimpleType",  "argtypes": [    "Uint256",    "Option (Uint256)"  ],  "arguments": [    "500",    {      "constructor": "Some",      "argtypes": [        "Uint256"      ],      "arguments": [        "10"      ]    }  ]}

type Vnode = | Vnode of ByStr20 Uint128 Uint128
transition Test(input: Vnode)

{  "constructor": "Vnode",  "argtypes":   [   "ByStr20",   "Uint128",   "Uint128"  ],  "arguments":   [    "0x12345",    1337,    2468  ]}