Index
| attackNeutral | Game.Spacegoo |
| client | Game.Spacegoo |
| Coord | Game.Spacegoo |
| eta | Game.Spacegoo |
| Fleet | |
| 1 (Type/Class) | Game.Spacegoo |
| 2 (Data Constructor) | Game.Spacegoo |
| fleetId | Game.Spacegoo |
| fleetOwner | Game.Spacegoo |
| fleets | Game.Spacegoo |
| fleetShips | Game.Spacegoo |
| gameOver | Game.Spacegoo |
| intercept | Game.Spacegoo |
| itsme | Game.Spacegoo |
| maxRounds | Game.Spacegoo |
| Move | Game.Spacegoo |
| name | Game.Spacegoo |
| nop | Game.Spacegoo |
| origin | Game.Spacegoo |
| Planet | |
| 1 (Type/Class) | Game.Spacegoo |
| 2 (Data Constructor) | Game.Spacegoo |
| planetId | Game.Spacegoo |
| planetOwner | Game.Spacegoo |
| planets | Game.Spacegoo |
| planetShips | Game.Spacegoo |
| Player | |
| 1 (Type/Class) | Game.Spacegoo |
| 2 (Data Constructor) | Game.Spacegoo |
| playerId | Game.Spacegoo |
| players | Game.Spacegoo |
| position | Game.Spacegoo |
| production | Game.Spacegoo |
| round | Game.Spacegoo |
| sendSomewhere | Game.Spacegoo |
| State | |
| 1 (Type/Class) | Game.Spacegoo |
| 2 (Data Constructor) | Game.Spacegoo |
| Strategy | Game.Spacegoo |
| target | Game.Spacegoo |
| Units | Game.Spacegoo |