We will first describe some simple JSON values. We will use them later in more complicated
objects with the Syntax `"filedName" : <name>`. We will write standard JSON types in the same
way. (For example `<Number>` for a correct JSON number). If there are multiple allowed values we will
write it with a `|`, for example `"fieldName" : <Number>|<String>` if `"filedName"` may contain a
`<Number>` or a `<String>`.

For optional fields we write the corresponding value as `<Maybe name>`. Optional fields
may contain `null` instead of their value type, or may be completely omitted.

## DataTypes

### Tuples
We will write tuples types as `(A,B)` for a Tuple containing something of `A` and
something of `B`. We will encode this as a JSON Array of length n, where n is the
length of the tuple.
For example a Value of `(<Number>,<String>)` might be `[5,"Hello World!"]`

### Lists
we will write `[A]` for the type of Lists containing stuff of type `A`. These are
encoded by Arrays of arbitrary length.

### Tick
#### TickType
A TickType is one of the following Strings:
`"Abwarten"`,`"Bereithalten"`,`"Tick"`
#### Tick
A Tick is an Object of the following form:
```
{
"tickType" : <TickType>
"tickValue" : <Number>
}
```
The TickValue field is only required if the "TickType" field contains the Value "Tick"

### Player
#### UUID
we encode UUID as Strings of the following form:
"xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx"
Where every x represents a character between 0 and f.

Remark: `<Maybe null>` allows you to optionally include this field with a `null` value. But
you might omit it.

UnknownPlayer are used to introduce new Player to the Server.

### TickLeiste
As every Session has exactly one TickLeiste attached to it, we never need to communicate an ID
for a TickLeiste. But we still have to versions of TickLeiste.

#### KnownTickLieste

```
[(<Tick>,[(<UUID>,<String>)])]
```
These are mainly used to communicate existing TickLeisten from the server to the client

#### UnknownTickLeiste
```
[(<Tick>,[<String>])]
```
These are mainly used so the client can initialize a TickLeiste.

## Requests
a client is allowed to make the following Requests

### RequestType
Every Request has a field `"RequestType" : <RequestType>`. For
the allowed values of `<RequestType>` and the implication for the rest of
the corresponding fields, look at the documentation of the specific requests.

### SetPlayerTickR
This request is used to set a player to a specific Tick.
```
{
"requestType" : "SetPlayerTickR",
"playerUUID" : <UUID>,
"tick" : <Tick>
}
```

### AddPlayerTickR
This request adds a new player to a Tick.

```
"requestType" : "AddPlayerTickR",
"player" : <UnknownPlayer>,
"tick" : <Tick>
```
### InitializeTickLeisteR

Initialize a new TickLeiste, either one saved on the client side,
to get a new empty one just set `"TickLeiste": []`

```
{
"requestType" : "InitializeTickLeisteR",
"tickLeiste" : <UnknownTickLeiste>
}
```

### TickLeisteR
Request the current TickLeiste
```
{
"requestType" : "TickLeisteR",
}
```
This is used to get the current TickLeiste from server. The server on its own will only
send incremental updates.


### ChangeNameR
This is used to change the name of a Player without moving them.
```
{
"requestType" : "ChangeNameR",
"playerUUID" : <UUID>,
"playerName" : <String>
}
```
If you don't set the name in KnownPlayer no name change will occur.

### RemovePlayerR
```
{
"requestType" : "RemovePlayerR"
"playerUUID" : <UUID>
}
```

## Events
A Server might Send the following Events to a client.

### SetPlayerTickE
```
{
"eventType" : "SetPlayerTickE",
"playerUUID" : <UUID>,
"tick" : <Tick>
}
```

### AddPlayerTickE
```
"eventType" : "AddPlayerTickE",
"playerUUID" : <UUID>,
"playerName" : <String>
"tick" : <Tick>
```
### InitializeTickLeisteE
```
{
"eventType" : "InitializeTickLeisteE",
"tickLeiste" : <KnownTickLieste>
}
```

### ChangeNameE
```
{
"eventType" : "ChangeNameE",
"playerUUID" : <UUID>,
"playerName" : <String>
}
```

### RemovePlayerE
```
"eventType" : "RemovePlayerE",
"playerUUID" : <UUID>
}
```