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.

Minimal complete definition

modifyState

Methods

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

Instances

MonadStateWrite CliImplementation

Methods

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

MonadStateWrite SerImplementation

Methods

modifyState :: (State -> 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

Methods

showsPrec :: Int -> AtomicFail -> ShowS

show :: AtomicFail -> String

showList :: [AtomicFail] -> ShowS

Exception AtomicFail

Methods

toException :: AtomicFail -> SomeException

fromException :: SomeException -> Maybe AtomicFail

displayException :: AtomicFail -> String

atomicFail :: String -> a

putState :: MonadStateWrite m => State -> m ()

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 ()

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 ()

addAis :: MonadStateWrite m => [(ItemId, Item)] -> m ()

itemsMatch :: Item -> Item -> Bool

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

resetActorAspect :: 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 ()

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

insertItemSha :: 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 ()

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

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

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