# Sequential

By default, Aqua code is executed line by line, sequentially.

## Contract

* Data from the first line is available on the second line
* A second line will be executed only if the first line succeeded
* If any line failed, then the whole block is failed
* If all lines succeeded, then the whole block is succeeded

```
f <- first() -- first line
second(f)    -- second line 
```

*A block of code is any number of lines on the same indentation level or deeper.*

## Sequential operations

### call arrow

Any runnable piece of code in Aqua is an arrow from its domain to the codomain.

```haskell
-- Call a function
foo()

-- Call a function that returns smth, assign results to a variable
x <- foo()

-- Call an ability function
y <- Peer.identify()

-- Pass an argument
z <- Op.identity(y)
```

When you write `<-`, this means not just "assign results of the function on the right to variable on the left". It means that all the effects are executed: [service](/aqua-book/language/abilities-and-services.md) may change state, the [topology](/aqua-book/language/topology.md) may be shifted. But you end up being (semantically) on the same peer where you have called the arrow.

### on

`on` denotes the peer where the code must be executed. `on` is handled sequentially, and the code inside is executed line by line by default.

```haskell
func foo():
  -- Will be executed where `foo` was executed
  bar()

  -- Move to another peer
  on another_peer:
    -- To call bar, we need to leave the peer where we were and get to another_peer
    -- It's done automagically
    bar()

  on third_peer via relay:
    -- This is executed on third_peer
    -- But we denote that to get to third_peer and to leave third_peer
    -- an additional hop is needed: get to relay, then to peer
    bar()

  -- Will be executed in the `foo` call site again
  -- To get from the previous `bar`, compiler will add a hop to relay
  bar()
```

See more in the [Topology](/aqua-book/language/topology.md) section.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://fluence.gitbook.io/aqua-book/language/flow/sequential.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.