doc: add hello world examples

examples/hello_world/arc4_contract.py

@@ -0,0 +1,8 @@
+from puyapy import ARC4Contract, Bytes, log
+from puyapy.arc4 import String, abimethod
+
+
+class HelloWorldContract(ARC4Contract):
+    @abimethod
+    def say_hello(self, name: String) -> None:
+        log(Bytes(b"Hello ") + name.decode())

examples/hello_world/contract.py

@@ -0,0 +1,11 @@
+from puyapy import Bytes, Contract, Transaction, log
+
+
+class HelloWorldContract(Contract):
+    def approval_program(self) -> bool:
+        name = Transaction.application_args(0)
+        log(Bytes(b"Hello ") + name)
+        return True
+
+    def clear_state_program(self) -> bool:
+        return True

examples/hello_world/out/application.json

@@ -0,0 +1,54 @@
+{
+    "hints": {
+        "say_hello(string)void": {
+            "call_config": {
+                "no_op": "CALL"
+            }
+        }
+    },
+    "source": {
+        "approval": "I3ByYWdtYSB2ZXJzaW9uIDgKCi8vIGV4YW1wbGVzLmhlbGxvX3dvcmxkLmFyYzRfY29udHJhY3QuSGVsbG9Xb3JsZENvbnRyYWN0LmFwcHJvdmFsX3Byb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW5fYmxvY2tAMDoKICAgICAgICB0eG4gTnVtQXBwQXJncwogICAgICAgIGJ6IG1haW5fYmFyZV9yb3V0aW5nQDUKCm1haW5fYWJpX3JvdXRpbmdAMToKICAgICAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAwCiAgICAgICAgbWV0aG9kICJzYXlfaGVsbG8oc3RyaW5nKXZvaWQiCiAgICAgICAgc3dhcAogICAgICAgIG1hdGNoIG1haW5fc2F5X2hlbGxvX3JvdXRlQDIKICAgICAgICBiIG1haW5fc3dpdGNoX2Nhc2VfZGVmYXVsdEAzCgptYWluX3NheV9oZWxsb19yb3V0ZUAyOgogICAgICAgIHR4biBPbkNvbXBsZXRpb24KICAgICAgICAhCiAgICAgICAgYXNzZXJ0IC8vIE9uQ29tcGxldGlvbiBpcyBOb09wCiAgICAgICAgdHhuIEFwcGxpY2F0aW9uSUQKICAgICAgICBhc3NlcnQgLy8gaXMgbm90IGNyZWF0aW5nCiAgICAgICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMQogICAgICAgIGNhbGxzdWIgc2F5X2hlbGxvCiAgICAgICAgaW50IDEKICAgICAgICByZXR1cm4KCm1haW5fc3dpdGNoX2Nhc2VfZGVmYXVsdEAzOgogICAgICAgIGVyciAvLyByZWplY3QgdHJhbnNhY3Rpb24KCm1haW5fYmFyZV9yb3V0aW5nQDU6CiAgICAgICAgdHhuIE9uQ29tcGxldGlvbgogICAgICAgIGJueiBtYWluX3JlamVjdF9iYXJlX29uX2NvbXBsZXRpb25ANwoKbWFpbl9jcmVhdGVANjoKICAgICAgICB0eG4gQXBwbGljYXRpb25JRAogICAgICAgICEKICAgICAgICBhc3NlcnQgLy8gaXMgY3JlYXRpbmcKICAgICAgICBpbnQgMQogICAgICAgIHJldHVybgoKbWFpbl9yZWplY3RfYmFyZV9vbl9jb21wbGV0aW9uQDc6CiAgICAgICAgZXJyIC8vIHJlamVjdCB0cmFuc2FjdGlvbgoKCi8vIGV4YW1wbGVzLmhlbGxvX3dvcmxkLmFyYzRfY29udHJhY3QuSGVsbG9Xb3JsZENvbnRyYWN0LnNheV9oZWxsbyhuYW1lIzA6IGJ5dGVzKSAtPiB2b2lkOgpzYXlfaGVsbG86CiAgICAgICAgcHJvdG8gMSAwCgpzYXlfaGVsbG9fYmxvY2tAMDoKICAgICAgICBmcmFtZV9kaWcgLTEKICAgICAgICBleHRyYWN0IDIgMAogICAgICAgIGJ5dGUgIkhlbGxvICIKICAgICAgICBzd2FwCiAgICAgICAgY29uY2F0CiAgICAgICAgbG9nCiAgICAgICAgcmV0c3ViCgo=",
+        "clear": "I3ByYWdtYSB2ZXJzaW9uIDgKCi8vIGV4YW1wbGVzLmhlbGxvX3dvcmxkLmFyYzRfY29udHJhY3QuSGVsbG9Xb3JsZENvbnRyYWN0LmNsZWFyX3N0YXRlX3Byb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW5fYmxvY2tAMDoKICAgICAgICBpbnQgMQogICAgICAgIHJldHVybgoK"
+    },
+    "state": {
+        "global": {
+            "num_byte_slices": 0,
+            "num_uints": 0
+        },
+        "local": {
+            "num_byte_slices": 0,
+            "num_uints": 0
+        }
+    },
+    "schema": {
+        "global": {
+            "declared": {},
+            "reserved": {}
+        },
+        "local": {
+            "declared": {},
+            "reserved": {}
+        }
+    },
+    "contract": {
+        "name": "HelloWorldContract",
+        "methods": [
+            {
+                "name": "say_hello",
+                "args": [
+                    {
+                        "type": "string",
+                        "name": "name"
+                    }
+                ],
+                "returns": {
+                    "type": "void"
+                }
+            }
+        ],
+        "networks": {}
+    },
+    "bare_call_config": {
+        "no_op": "CREATE"
+    }
+}

examples/hello_world/out/arc4_contract.approval.teal

@@ -0,0 +1,56 @@
+#pragma version 8
+
+// examples.hello_world.arc4_contract.HelloWorldContract.approval_program() -> uint64:
+main_block@0:
+        txn NumAppArgs
+        bz main_bare_routing@5
+
+main_abi_routing@1:
+        txna ApplicationArgs 0
+        method "say_hello(string)void"
+        swap
+        match main_say_hello_route@2
+        b main_switch_case_default@3
+
+main_say_hello_route@2:
+        txn OnCompletion
+        !
+        assert // OnCompletion is NoOp
+        txn ApplicationID
+        assert // is not creating
+        txna ApplicationArgs 1
+        callsub say_hello
+        int 1
+        return
+
+main_switch_case_default@3:
+        err // reject transaction
+
+main_bare_routing@5:
+        txn OnCompletion
+        bnz main_reject_bare_on_completion@7
+
+main_create@6:
+        txn ApplicationID
+        !
+        assert // is creating
+        int 1
+        return
+
+main_reject_bare_on_completion@7:
+        err // reject transaction
+
+
+// examples.hello_world.arc4_contract.HelloWorldContract.say_hello(name#0: bytes) -> void:
+say_hello:
+        proto 1 0
+
+say_hello_block@0:
+        frame_dig -1
+        extract 2 0
+        byte "Hello "
+        swap
+        concat
+        log
+        retsub
+