Game.LambdaHack.Atomic.MonadStateWrite

The monad for writing to the main game state.

Documentation

class MonadStateRead m => MonadStateWrite m where

The monad for writing to the main game state. Atomic updates (UpdAtomic) are given semantics in this monad.

Methods

modifyState :: (State -> State) -> m ()

putState :: State -> m ()

Instances

MonadStateWrite CliImplementation

Defined in Implementation.MonadClientImplementation

Methods

modifyState :: (State -> State) -> CliImplementation ()

putState :: State -> CliImplementation ()

MonadStateWrite SerImplementation

Defined in Implementation.MonadServerImplementation

Methods

modifyState :: (State -> State) -> SerImplementation ()

putState :: State -> SerImplementation ()

newtype AtomicFail

Exception signifying that atomic action failed because the information it carries is inconsistent with the client's state, (e.g., because the client knows too little to understand the command or already deduced the state change from earlier commands or is confused, amnesiac or sees illusory actors or tiles). Whenever we know the failure is logically impossible, we don't throw the AtomicFail exception, but insert a normal assertion or error call, which are never caught nor handled.

Constructors

AtomicFail String

Instances

Show AtomicFail

Defined in Game.LambdaHack.Atomic.MonadStateWrite

Methods

showsPrec :: Int -> AtomicFail -> ShowS

show :: AtomicFail -> String

showList :: [AtomicFail] -> ShowS

Exception AtomicFail

Defined in Game.LambdaHack.Atomic.MonadStateWrite

Methods

toException :: AtomicFail -> SomeException

fromException :: SomeException -> Maybe AtomicFail

displayException :: AtomicFail -> String

atomicFail :: String -> a

updateLevel :: MonadStateWrite m => LevelId -> (Level -> Level) -> m ()

updateActor :: MonadStateWrite m => ActorId -> (Actor -> Actor) -> m ()

updateFaction :: MonadStateWrite m => FactionId -> (Faction -> Faction) -> m ()

moveActorMap :: MonadStateWrite m => ActorId -> Actor -> Actor -> m ()

swapActorMap :: MonadStateWrite m => ActorId -> Actor -> ActorId -> Actor -> m ()

insertBagContainer :: MonadStateWrite m => ItemBag -> Container -> m ()

insertItemContainer :: MonadStateWrite m => ItemId -> ItemQuant -> Container -> m ()

insertItemActor :: MonadStateWrite m => ItemId -> ItemQuant -> ActorId -> CStore -> m ()

deleteBagContainer :: MonadStateWrite m => ItemBag -> Container -> m ()

deleteItemContainer :: MonadStateWrite m => ItemId -> ItemQuant -> Container -> m ()

deleteItemActor :: MonadStateWrite m => ItemId -> ItemQuant -> ActorId -> CStore -> m ()

itemsMatch :: Item -> Item -> Bool

addItemToActorMaxSkills :: MonadStateWrite m => ItemId -> Item -> Int -> ActorId -> m ()

resetActorMaxSkills :: MonadStateWrite m => m ()

Internal operations

insertItemFloor :: MonadStateWrite m => ItemId -> ItemQuant -> LevelId -> Point -> m ()

insertItemEmbed :: MonadStateWrite m => ItemId -> ItemQuant -> LevelId -> Point -> m ()

insertItemOrgan :: MonadStateWrite m => ItemId -> ItemQuant -> ActorId -> m ()

insertItemEqp :: MonadStateWrite m => ItemId -> ItemQuant -> ActorId -> m ()

insertItemStash :: MonadStateWrite m => ItemId -> ItemQuant -> FactionId -> m ()

deleteItemFloor :: MonadStateWrite m => ItemId -> ItemQuant -> LevelId -> Point -> m ()

deleteItemEmbed :: MonadStateWrite m => ItemId -> ItemQuant -> LevelId -> Point -> m ()

deleteItemOrgan :: MonadStateWrite m => ItemId -> ItemQuant -> ActorId -> m ()

deleteItemEqp :: MonadStateWrite m => ItemId -> ItemQuant -> ActorId -> m ()

deleteItemStash :: MonadStateWrite m => ItemId -> ItemQuant -> FactionId -> m ()

rmFromBag :: ItemQuant -> ItemId -> ItemBag -> ItemBag