Index
| --> | Main |
| advance | Main |
| applyDifficulty | Main |
| applySpell | Main |
| availableSpells | Main |
| bossAttack | Main |
| bossDamage | Main |
| bossDead | Main |
| bossHp | Main |
| dec | Main |
| difficulty | Main |
| Drain | Main |
| GameState | |
| 1 (Type/Class) | Main |
| 2 (Data Constructor) | Main |
| initialState | Main |
| MagicMissile | Main |
| main | Main |
| manaPool | Main |
| playerDead | Main |
| playerHp | Main |
| Poison | Main |
| poisonTimer | Main |
| Recharge | Main |
| rechargeTimer | Main |
| runSim | Main |
| Shield | Main |
| shieldTimer | Main |
| Spell | Main |
| spellCost | Main |
| spellDamage | Main |
| spellHeal | Main |
| stepTimers | Main |