module Game.LambdaHack.Client.HandleAtomicM
( MonadClientSetup(..)
, cmdAtomicSemCli
#ifdef EXPOSE_INTERNAL
, invalidateInMelee, invalidateInMeleeDueToItem
, wipeBfsIfItemAffectsSkills, tileChangeAffectsBfs
, createActor, destroyActor
, addItemToDiscoBenefit, perception
, discoverKind, discoverKindAndAspect, coverKind, coverAspectAndKind
, discoverAspect, coverAspect
, killExit
#endif
) where
import Prelude ()
import Game.LambdaHack.Core.Prelude
import qualified Data.EnumMap.Strict as EM
import qualified Data.EnumSet as ES
import qualified Data.Map.Strict as M
import Game.LambdaHack.Atomic
import Game.LambdaHack.Client.Bfs
import Game.LambdaHack.Client.BfsM
import Game.LambdaHack.Client.CommonM
import Game.LambdaHack.Client.MonadClient
import Game.LambdaHack.Client.Preferences
import Game.LambdaHack.Client.State
import Game.LambdaHack.Common.Actor
import Game.LambdaHack.Common.ActorState
import Game.LambdaHack.Common.Faction
import Game.LambdaHack.Common.Item
import Game.LambdaHack.Common.Kind
import Game.LambdaHack.Common.Level
import Game.LambdaHack.Common.MonadStateRead
import Game.LambdaHack.Common.Perception
import Game.LambdaHack.Common.State
import qualified Game.LambdaHack.Common.Tile as Tile
import Game.LambdaHack.Common.Time
import Game.LambdaHack.Common.Types
import qualified Game.LambdaHack.Content.CaveKind as CK
import Game.LambdaHack.Content.ModeKind
import Game.LambdaHack.Content.TileKind (TileKind)
import Game.LambdaHack.Definition.Defs
class MonadClient m => MonadClientSetup m where
saveClient :: m ()
cmdAtomicSemCli :: MonadClientSetup m => State -> UpdAtomic -> m ()
{-# INLINE cmdAtomicSemCli #-}
cmdAtomicSemCli :: State -> UpdAtomic -> m ()
cmdAtomicSemCli oldState :: State
oldState cmd :: UpdAtomic
cmd = case UpdAtomic
cmd of
UpdRegisterItems ais :: [(ItemId, Item)]
ais -> ((ItemId, Item) -> m ()) -> [(ItemId, Item)] -> m ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
(a -> m ()) -> t a -> m ()
mapM_ (ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit (ItemId -> m ())
-> ((ItemId, Item) -> ItemId) -> (ItemId, Item) -> m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ItemId, Item) -> ItemId
forall a b. (a, b) -> a
fst) [(ItemId, Item)]
ais
UpdCreateActor aid :: ActorId
aid b :: Actor
b ais :: [(ItemId, Item)]
ais -> ActorId -> Actor -> [(ItemId, Item)] -> m ()
forall (m :: * -> *).
MonadClient m =>
ActorId -> Actor -> [(ItemId, Item)] -> m ()
createActor ActorId
aid Actor
b [(ItemId, Item)]
ais
UpdDestroyActor aid :: ActorId
aid b :: Actor
b _ -> ActorId -> Actor -> Bool -> m ()
forall (m :: * -> *).
MonadClient m =>
ActorId -> Actor -> Bool -> m ()
destroyActor ActorId
aid Actor
b Bool
True
UpdCreateItem _ iid :: ItemId
iid _ _ (CActor aid :: ActorId
aid store :: CStore
store) -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
store] ActorId
aid
ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit ItemId
iid
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
store
UpdCreateItem _ iid :: ItemId
iid _ _ _ -> ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit ItemId
iid
UpdDestroyItem _ _ _ _ (CActor aid :: ActorId
aid store :: CStore
store) -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
store] ActorId
aid
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
store
UpdDestroyItem{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdSpotActor aid :: ActorId
aid b :: Actor
b -> do
[(ItemId, Item)]
ais <- (State -> [(ItemId, Item)]) -> m [(ItemId, Item)]
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> [(ItemId, Item)]) -> m [(ItemId, Item)])
-> (State -> [(ItemId, Item)]) -> m [(ItemId, Item)]
forall a b. (a -> b) -> a -> b
$ Actor -> State -> [(ItemId, Item)]
getCarriedAssocsAndTrunk Actor
b
ActorId -> Actor -> [(ItemId, Item)] -> m ()
forall (m :: * -> *).
MonadClient m =>
ActorId -> Actor -> [(ItemId, Item)] -> m ()
createActor ActorId
aid Actor
b [(ItemId, Item)]
ais
UpdLoseActor aid :: ActorId
aid b :: Actor
b -> ActorId -> Actor -> Bool -> m ()
forall (m :: * -> *).
MonadClient m =>
ActorId -> Actor -> Bool -> m ()
destroyActor ActorId
aid Actor
b Bool
False
UpdSpotItem _ iid :: ItemId
iid _ (CActor aid :: ActorId
aid store :: CStore
store) -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
store] ActorId
aid
ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit ItemId
iid
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
store
UpdSpotItem _ iid :: ItemId
iid _ _ -> ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit ItemId
iid
UpdLoseItem _ _ _ (CActor aid :: ActorId
aid store :: CStore
store) -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
store] ActorId
aid
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
store
UpdLoseItem{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdSpotItemBag _ (CActor aid :: ActorId
aid store :: CStore
store) bag :: ItemBag
bag -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
store] ActorId
aid
(ItemId -> m ()) -> [ItemId] -> m ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
(a -> m ()) -> t a -> m ()
mapM_ ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit ([ItemId] -> m ()) -> [ItemId] -> m ()
forall a b. (a -> b) -> a -> b
$ ItemBag -> [ItemId]
forall k a. Enum k => EnumMap k a -> [k]
EM.keys ItemBag
bag
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
store
UpdSpotItemBag _ _ bag :: ItemBag
bag ->
(ItemId -> m ()) -> [ItemId] -> m ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
(a -> m ()) -> t a -> m ()
mapM_ ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit ([ItemId] -> m ()) -> [ItemId] -> m ()
forall a b. (a -> b) -> a -> b
$ ItemBag -> [ItemId]
forall k a. Enum k => EnumMap k a -> [k]
EM.keys ItemBag
bag
UpdLoseItemBag _ (CActor aid :: ActorId
aid store :: CStore
store) _ -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
store] ActorId
aid
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
store
UpdLoseItemBag{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdMoveActor aid :: ActorId
aid _ _ -> do
ActorId -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> m ()
invalidateBfsAid ActorId
aid
Actor
b <- (State -> Actor) -> m Actor
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Actor) -> m Actor) -> (State -> Actor) -> m Actor
forall a b. (a -> b) -> a -> b
$ ActorId -> State -> Actor
getActorBody ActorId
aid
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateInMelee (Actor -> LevelId
blid Actor
b)
UpdWaitActor aid :: ActorId
aid _fromW :: Watchfulness
_fromW toW :: Watchfulness
toW ->
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Watchfulness
toW Watchfulness -> Watchfulness -> Bool
forall a. Eq a => a -> a -> Bool
== Watchfulness
WSleep) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ ActorId
-> (Maybe Target -> Maybe Target) -> StateClient -> StateClient
updateTarget ActorId
aid (Maybe Target -> Maybe Target -> Maybe Target
forall a b. a -> b -> a
const Maybe Target
forall a. Maybe a
Nothing)
UpdDisplaceActor source :: ActorId
source target :: ActorId
target -> do
ActorId -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> m ()
invalidateBfsAid ActorId
source
ActorId -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> m ()
invalidateBfsAid ActorId
target
Actor
b <- (State -> Actor) -> m Actor
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Actor) -> m Actor) -> (State -> Actor) -> m Actor
forall a b. (a -> b) -> a -> b
$ ActorId -> State -> Actor
getActorBody ActorId
source
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateInMelee (Actor -> LevelId
blid Actor
b)
UpdMoveItem _ _ aid :: ActorId
aid s1 :: CStore
s1 s2 :: CStore
s2 -> do
[CStore] -> ActorId -> m ()
forall (m :: * -> *). MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills [CStore
s1, CStore
s2] ActorId
aid
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
s1
ActorId -> CStore -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem ActorId
aid CStore
s2
UpdRefillHP{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdRefillCalm{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdTrajectory{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdQuitFaction fid :: FactionId
fid _ toSt :: Maybe Status
toSt _ -> do
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
ContentId ModeKind
gameModeId <- (State -> ContentId ModeKind) -> m (ContentId ModeKind)
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> ContentId ModeKind
sgameModeId
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (FactionId
side FactionId -> FactionId -> Bool
forall a. Eq a => a -> a -> Bool
== FactionId
fid) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ case Maybe Status
toSt of
Just Status{stOutcome :: Status -> Outcome
stOutcome=Outcome
Camping} ->
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli ->
StateClient
cli {scampings :: EnumSet (ContentId ModeKind)
scampings = ContentId ModeKind
-> EnumSet (ContentId ModeKind) -> EnumSet (ContentId ModeKind)
forall k. Enum k => k -> EnumSet k -> EnumSet k
ES.insert ContentId ModeKind
gameModeId (EnumSet (ContentId ModeKind) -> EnumSet (ContentId ModeKind))
-> EnumSet (ContentId ModeKind) -> EnumSet (ContentId ModeKind)
forall a b. (a -> b) -> a -> b
$ StateClient -> EnumSet (ContentId ModeKind)
scampings StateClient
cli}
Just Status{stOutcome :: Status -> Outcome
stOutcome=Outcome
Restart} ->
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli ->
StateClient
cli {srestarts :: EnumSet (ContentId ModeKind)
srestarts = ContentId ModeKind
-> EnumSet (ContentId ModeKind) -> EnumSet (ContentId ModeKind)
forall k. Enum k => k -> EnumSet k -> EnumSet k
ES.insert ContentId ModeKind
gameModeId (EnumSet (ContentId ModeKind) -> EnumSet (ContentId ModeKind))
-> EnumSet (ContentId ModeKind) -> EnumSet (ContentId ModeKind)
forall a b. (a -> b) -> a -> b
$ StateClient -> EnumSet (ContentId ModeKind)
srestarts StateClient
cli}
Just Status{Outcome
stOutcome :: Outcome
stOutcome :: Status -> Outcome
stOutcome} | Outcome
stOutcome Outcome -> [Outcome] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Outcome]
victoryOutcomes -> do
Challenge
scurChal <- (StateClient -> Challenge) -> m Challenge
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> Challenge
scurChal
let sing :: Map Challenge Int
sing = Challenge -> Int -> Map Challenge Int
forall k a. k -> a -> Map k a
M.singleton Challenge
scurChal 1
f :: Map Challenge Int -> Map Challenge Int -> Map Challenge Int
f = (Int -> Int -> Int)
-> Map Challenge Int -> Map Challenge Int -> Map Challenge Int
forall k a. Ord k => (a -> a -> a) -> Map k a -> Map k a -> Map k a
M.unionWith Int -> Int -> Int
forall a. Num a => a -> a -> a
(+)
g :: EnumMap (ContentId ModeKind) (Map Challenge Int)
-> EnumMap (ContentId ModeKind) (Map Challenge Int)
g = (Map Challenge Int -> Map Challenge Int -> Map Challenge Int)
-> ContentId ModeKind
-> Map Challenge Int
-> EnumMap (ContentId ModeKind) (Map Challenge Int)
-> EnumMap (ContentId ModeKind) (Map Challenge Int)
forall k a.
Enum k =>
(a -> a -> a) -> k -> a -> EnumMap k a -> EnumMap k a
EM.insertWith Map Challenge Int -> Map Challenge Int -> Map Challenge Int
f ContentId ModeKind
gameModeId Map Challenge Int
sing
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {svictories :: EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories = EnumMap (ContentId ModeKind) (Map Challenge Int)
-> EnumMap (ContentId ModeKind) (Map Challenge Int)
g (EnumMap (ContentId ModeKind) (Map Challenge Int)
-> EnumMap (ContentId ModeKind) (Map Challenge Int))
-> EnumMap (ContentId ModeKind) (Map Challenge Int)
-> EnumMap (ContentId ModeKind) (Map Challenge Int)
forall a b. (a -> b) -> a -> b
$ StateClient -> EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories StateClient
cli}
_ -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdSpotStashFaction{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdLoseStashFaction{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdLeadFaction fid :: FactionId
fid source :: Maybe ActorId
source target :: Maybe ActorId
target -> do
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (FactionId
side FactionId -> FactionId -> Bool
forall a. Eq a => a -> a -> Bool
== FactionId
fid) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Maybe ActorId
mleader <- (StateClient -> Maybe ActorId) -> m (Maybe ActorId)
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> Maybe ActorId
sleader
let !_A :: ()
_A = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (Maybe ActorId
mleader Maybe ActorId -> Maybe ActorId -> Bool
forall a. Eq a => a -> a -> Bool
== Maybe ActorId
source
Bool -> Bool -> Bool
|| Maybe ActorId
mleader Maybe ActorId -> Maybe ActorId -> Bool
forall a. Eq a => a -> a -> Bool
== Maybe ActorId
target
Bool -> (String, (UpdAtomic, Maybe ActorId)) -> Bool
forall a. Show a => Bool -> a -> Bool
`blame` "unexpected leader"
String
-> (UpdAtomic, Maybe ActorId)
-> (String, (UpdAtomic, Maybe ActorId))
forall v. String -> v -> (String, v)
`swith` (UpdAtomic
cmd, Maybe ActorId
mleader)) ()
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {_sleader :: Maybe ActorId
_sleader = Maybe ActorId
target}
UpdDiplFaction{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdAutoFaction{} ->
m ()
forall (m :: * -> *). MonadClient m => m ()
invalidateBfsAll
UpdRecordKill{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdDoctrineFaction{} -> do
Maybe ActorId
mleader <- (StateClient -> Maybe ActorId) -> m (Maybe ActorId)
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> Maybe ActorId
sleader
Maybe TgtAndPath
mtgt <- case Maybe ActorId
mleader of
Nothing -> Maybe TgtAndPath -> m (Maybe TgtAndPath)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TgtAndPath
forall a. Maybe a
Nothing
Just leader :: ActorId
leader -> (StateClient -> Maybe TgtAndPath) -> m (Maybe TgtAndPath)
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient ((StateClient -> Maybe TgtAndPath) -> m (Maybe TgtAndPath))
-> (StateClient -> Maybe TgtAndPath) -> m (Maybe TgtAndPath)
forall a b. (a -> b) -> a -> b
$ ActorId -> EnumMap ActorId TgtAndPath -> Maybe TgtAndPath
forall k a. Enum k => k -> EnumMap k a -> Maybe a
EM.lookup ActorId
leader (EnumMap ActorId TgtAndPath -> Maybe TgtAndPath)
-> (StateClient -> EnumMap ActorId TgtAndPath)
-> StateClient
-> Maybe TgtAndPath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StateClient -> EnumMap ActorId TgtAndPath
stargetD
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli ->
let stargetD :: EnumMap ActorId TgtAndPath
stargetD | Just tgt :: TgtAndPath
tgt <- Maybe TgtAndPath
mtgt
, Just leader :: ActorId
leader <- Maybe ActorId
mleader
= ActorId -> TgtAndPath -> EnumMap ActorId TgtAndPath
forall k a. Enum k => k -> a -> EnumMap k a
EM.singleton ActorId
leader TgtAndPath
tgt
| Bool
otherwise = EnumMap ActorId TgtAndPath
forall k a. EnumMap k a
EM.empty
in StateClient
cli {EnumMap ActorId TgtAndPath
stargetD :: EnumMap ActorId TgtAndPath
stargetD :: EnumMap ActorId TgtAndPath
stargetD}
UpdAlterTile lid :: LevelId
lid p :: Point
p fromTile :: ContentId TileKind
fromTile toTile :: ContentId TileKind
toTile -> do
LevelId -> [(Point, ContentId TileKind)] -> m ()
forall (m :: * -> *).
MonadClient m =>
LevelId -> [(Point, ContentId TileKind)] -> m ()
updateSalter LevelId
lid [(Point
p, ContentId TileKind
toTile)]
COps
cops <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
let lvl :: Level
lvl = (EnumMap LevelId Level -> LevelId -> Level
forall k a. Enum k => EnumMap k a -> k -> a
EM.! LevelId
lid) (EnumMap LevelId Level -> Level)
-> (State -> EnumMap LevelId Level) -> State -> Level
forall b c a. (b -> c) -> (a -> b) -> a -> c
. State -> EnumMap LevelId Level
sdungeon (State -> Level) -> State -> Level
forall a b. (a -> b) -> a -> b
$ State
oldState
t :: ContentId TileKind
t = Level
lvl Level -> Point -> ContentId TileKind
`at` Point
p
let !_A :: ()
_A = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (ContentId TileKind
t ContentId TileKind -> ContentId TileKind -> Bool
forall a. Eq a => a -> a -> Bool
== ContentId TileKind
fromTile) ()
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (COps -> ContentId TileKind -> ContentId TileKind -> Bool
tileChangeAffectsBfs COps
cops ContentId TileKind
fromTile ContentId TileKind
toTile) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateBfsLid LevelId
lid
UpdAlterExplorable{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdAlterGold{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdSearchTile aid :: ActorId
aid p :: Point
p toTile :: ContentId TileKind
toTile -> do
COps{ContentData TileKind
cotile :: COps -> ContentData TileKind
cotile :: ContentData TileKind
cotile} <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
Actor
b <- (State -> Actor) -> m Actor
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Actor) -> m Actor) -> (State -> Actor) -> m Actor
forall a b. (a -> b) -> a -> b
$ ActorId -> State -> Actor
getActorBody ActorId
aid
let lid :: LevelId
lid = Actor -> LevelId
blid Actor
b
LevelId -> [(Point, ContentId TileKind)] -> m ()
forall (m :: * -> *).
MonadClient m =>
LevelId -> [(Point, ContentId TileKind)] -> m ()
updateSalter LevelId
lid [(Point
p, ContentId TileKind
toTile)]
COps
cops <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
let lvl :: Level
lvl = (EnumMap LevelId Level -> LevelId -> Level
forall k a. Enum k => EnumMap k a -> k -> a
EM.! LevelId
lid) (EnumMap LevelId Level -> Level)
-> (State -> EnumMap LevelId Level) -> State -> Level
forall b c a. (b -> c) -> (a -> b) -> a -> c
. State -> EnumMap LevelId Level
sdungeon (State -> Level) -> State -> Level
forall a b. (a -> b) -> a -> b
$ State
oldState
t :: ContentId TileKind
t = Level
lvl Level -> Point -> ContentId TileKind
`at` Point
p
let !_A :: ()
_A = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (ContentId TileKind -> Maybe (ContentId TileKind)
forall a. a -> Maybe a
Just ContentId TileKind
t Maybe (ContentId TileKind) -> Maybe (ContentId TileKind) -> Bool
forall a. Eq a => a -> a -> Bool
== ContentData TileKind
-> ContentId TileKind -> Maybe (ContentId TileKind)
Tile.hideAs ContentData TileKind
cotile ContentId TileKind
toTile) ()
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (COps -> ContentId TileKind -> ContentId TileKind -> Bool
tileChangeAffectsBfs COps
cops ContentId TileKind
t ContentId TileKind
toTile) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateBfsLid LevelId
lid
UpdHideTile{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdSpotTile lid :: LevelId
lid ts :: [(Point, ContentId TileKind)]
ts -> do
LevelId -> [(Point, ContentId TileKind)] -> m ()
forall (m :: * -> *).
MonadClient m =>
LevelId -> [(Point, ContentId TileKind)] -> m ()
updateSalter LevelId
lid [(Point, ContentId TileKind)]
ts
COps
cops <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
let lvl :: Level
lvl = (EnumMap LevelId Level -> LevelId -> Level
forall k a. Enum k => EnumMap k a -> k -> a
EM.! LevelId
lid) (EnumMap LevelId Level -> Level)
-> (State -> EnumMap LevelId Level) -> State -> Level
forall b c a. (b -> c) -> (a -> b) -> a -> c
. State -> EnumMap LevelId Level
sdungeon (State -> Level) -> State -> Level
forall a b. (a -> b) -> a -> b
$ State
oldState
affects :: (Point, ContentId TileKind) -> Bool
affects (p :: Point
p, toTile :: ContentId TileKind
toTile) =
let fromTile :: ContentId TileKind
fromTile = Level
lvl Level -> Point -> ContentId TileKind
`at` Point
p
in COps -> ContentId TileKind -> ContentId TileKind -> Bool
tileChangeAffectsBfs COps
cops ContentId TileKind
fromTile ContentId TileKind
toTile
bs :: [Bool]
bs = ((Point, ContentId TileKind) -> Bool)
-> [(Point, ContentId TileKind)] -> [Bool]
forall a b. (a -> b) -> [a] -> [b]
map (Point, ContentId TileKind) -> Bool
affects [(Point, ContentId TileKind)]
ts
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when ([Bool] -> Bool
forall (t :: * -> *). Foldable t => t Bool -> Bool
or [Bool]
bs) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateBfsLid LevelId
lid
UpdLoseTile lid :: LevelId
lid ts :: [(Point, ContentId TileKind)]
ts -> do
LevelId -> [(Point, ContentId TileKind)] -> m ()
forall (m :: * -> *).
MonadClient m =>
LevelId -> [(Point, ContentId TileKind)] -> m ()
updateSalter LevelId
lid [(Point, ContentId TileKind)]
ts
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateBfsLid LevelId
lid
UpdSpotEntry{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdLoseEntry{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdAlterSmell{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdSpotSmell{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdLoseSmell{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdTimeItem{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdAgeGame{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdUnAgeGame{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdDiscover _ iid :: ItemId
iid _ _ -> do
Item
item <- (State -> Item) -> m Item
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Item) -> m Item) -> (State -> Item) -> m Item
forall a b. (a -> b) -> a -> b
$ ItemId -> State -> Item
getItemBody ItemId
iid
case Item -> ItemIdentity
jkind Item
item of
IdentityObvious _ik :: ContentId ItemKind
_ik -> ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
discoverAspect ItemId
iid
IdentityCovered ix :: ItemKindIx
ix _ik :: ContentId ItemKind
_ik ->
if ItemKindIx
ix ItemKindIx -> EnumMap ItemKindIx (ContentId ItemKind) -> Bool
forall k a. Enum k => k -> EnumMap k a -> Bool
`EM.notMember` State -> EnumMap ItemKindIx (ContentId ItemKind)
sdiscoKind State
oldState
then ItemKindIx -> m ()
forall (m :: * -> *). MonadClient m => ItemKindIx -> m ()
discoverKindAndAspect ItemKindIx
ix
else ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
discoverAspect ItemId
iid
UpdCover _ iid :: ItemId
iid _ _ -> do
Item
item <- (State -> Item) -> m Item
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Item) -> m Item) -> (State -> Item) -> m Item
forall a b. (a -> b) -> a -> b
$ ItemId -> State -> Item
getItemBody ItemId
iid
State
newState <- m State
forall (m :: * -> *). MonadStateRead m => m State
getState
case Item -> ItemIdentity
jkind Item
item of
IdentityObvious _ik :: ContentId ItemKind
_ik -> ItemId -> m ()
forall (m :: * -> *). ItemId -> m ()
coverAspect ItemId
iid
IdentityCovered ix :: ItemKindIx
ix _ik :: ContentId ItemKind
_ik ->
if ItemKindIx
ix ItemKindIx -> EnumMap ItemKindIx (ContentId ItemKind) -> Bool
forall k a. Enum k => k -> EnumMap k a -> Bool
`EM.member` State -> EnumMap ItemKindIx (ContentId ItemKind)
sdiscoKind State
newState
then ItemKindIx -> m ()
forall (m :: * -> *). ItemKindIx -> m ()
coverAspectAndKind ItemKindIx
ix
else ItemId -> m ()
forall (m :: * -> *). ItemId -> m ()
coverAspect ItemId
iid
UpdDiscoverKind _c :: Container
_c ix :: ItemKindIx
ix _ik :: ContentId ItemKind
_ik -> ItemKindIx -> m ()
forall (m :: * -> *). MonadClient m => ItemKindIx -> m ()
discoverKind ItemKindIx
ix
UpdCoverKind _c :: Container
_c ix :: ItemKindIx
ix _ik :: ContentId ItemKind
_ik -> ItemKindIx -> m ()
forall (m :: * -> *). ItemKindIx -> m ()
coverKind ItemKindIx
ix
UpdDiscoverAspect _c :: Container
_c iid :: ItemId
iid _arItem :: AspectRecord
_arItem -> ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
discoverAspect ItemId
iid
UpdCoverAspect _c :: Container
_c iid :: ItemId
iid _arItem :: AspectRecord
_arItem -> ItemId -> m ()
forall (m :: * -> *). ItemId -> m ()
coverAspect ItemId
iid
UpdDiscoverServer{} -> String -> m ()
forall a. (?callStack::CallStack) => String -> a
error "server command leaked to client"
UpdCoverServer{} -> String -> m ()
forall a. (?callStack::CallStack) => String -> a
error "server command leaked to client"
UpdPerception lid :: LevelId
lid outPer :: Perception
outPer inPer :: Perception
inPer -> LevelId -> Perception -> Perception -> m ()
forall (m :: * -> *).
MonadClient m =>
LevelId -> Perception -> Perception -> m ()
perception LevelId
lid Perception
outPer Perception
inPer
UpdRestart side :: FactionId
side sfper :: PerLid
sfper s :: State
s scurChal :: Challenge
scurChal soptions :: ClientOptions
soptions srandom :: SMGen
srandom -> do
COps{ContentData CaveKind
cocave :: COps -> ContentData CaveKind
cocave :: ContentData CaveKind
cocave} <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
Faction
fact <- (State -> Faction) -> m Faction
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Faction) -> m Faction)
-> (State -> Faction) -> m Faction
forall a b. (a -> b) -> a -> b
$ (EnumMap FactionId Faction -> FactionId -> Faction
forall k a. Enum k => EnumMap k a -> k -> a
EM.! FactionId
side) (EnumMap FactionId Faction -> Faction)
-> (State -> EnumMap FactionId Faction) -> State -> Faction
forall b c a. (b -> c) -> (a -> b) -> a -> c
. State -> EnumMap FactionId Faction
sfactionD
Challenge
snxtChal <- (StateClient -> Challenge) -> m Challenge
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> Challenge
snxtChal
EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories <- (StateClient -> EnumMap (ContentId ModeKind) (Map Challenge Int))
-> m (EnumMap (ContentId ModeKind) (Map Challenge Int))
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories
EnumSet (ContentId ModeKind)
scampings <- (StateClient -> EnumSet (ContentId ModeKind))
-> m (EnumSet (ContentId ModeKind))
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> EnumSet (ContentId ModeKind)
scampings
EnumSet (ContentId ModeKind)
srestarts <- (StateClient -> EnumSet (ContentId ModeKind))
-> m (EnumSet (ContentId ModeKind))
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> EnumSet (ContentId ModeKind)
srestarts
(PrimArray Int, PrimArray Int)
stabs <- (StateClient -> (PrimArray Int, PrimArray Int))
-> m (PrimArray Int, PrimArray Int)
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> (PrimArray Int, PrimArray Int)
stabs
let h :: Level -> Bool
h lvl :: Level
lvl = CaveKind -> Bool
CK.labyrinth (ContentData CaveKind -> ContentId CaveKind -> CaveKind
forall a. ContentData a -> ContentId a -> a
okind ContentData CaveKind
cocave (ContentId CaveKind -> CaveKind) -> ContentId CaveKind -> CaveKind
forall a b. (a -> b) -> a -> b
$ Level -> ContentId CaveKind
lkind Level
lvl)
Bool -> Bool -> Bool
&& Bool -> Bool
not (Player -> Bool
fhasGender (Player -> Bool) -> Player -> Bool
forall a b. (a -> b) -> a -> b
$ Faction -> Player
gplayer Faction
fact)
sexplored :: EnumSet LevelId
sexplored = EnumMap LevelId Level -> EnumSet LevelId
forall k a. Enum k => EnumMap k a -> EnumSet k
EM.keysSet (EnumMap LevelId Level -> EnumSet LevelId)
-> EnumMap LevelId Level -> EnumSet LevelId
forall a b. (a -> b) -> a -> b
$ (Level -> Bool) -> EnumMap LevelId Level -> EnumMap LevelId Level
forall a k. (a -> Bool) -> EnumMap k a -> EnumMap k a
EM.filter Level -> Bool
h (EnumMap LevelId Level -> EnumMap LevelId Level)
-> EnumMap LevelId Level -> EnumMap LevelId Level
forall a b. (a -> b) -> a -> b
$ State -> EnumMap LevelId Level
sdungeon State
s
cli :: StateClient
cli = FactionId -> StateClient
emptyStateClient FactionId
side
StateClient -> m ()
forall (m :: * -> *). MonadClient m => StateClient -> m ()
putClient StateClient
cli { EnumSet LevelId
sexplored :: EnumSet LevelId
sexplored :: EnumSet LevelId
sexplored
, PerLid
sfper :: PerLid
sfper :: PerLid
sfper
, SMGen
srandom :: SMGen
srandom :: SMGen
srandom
, Challenge
scurChal :: Challenge
scurChal :: Challenge
scurChal
, Challenge
snxtChal :: Challenge
snxtChal :: Challenge
snxtChal
, scondInMelee :: EnumMap LevelId Bool
scondInMelee = EnumMap LevelId Bool
forall k a. EnumMap k a
EM.empty
, EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories :: EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories :: EnumMap (ContentId ModeKind) (Map Challenge Int)
svictories
, EnumSet (ContentId ModeKind)
scampings :: EnumSet (ContentId ModeKind)
scampings :: EnumSet (ContentId ModeKind)
scampings
, EnumSet (ContentId ModeKind)
srestarts :: EnumSet (ContentId ModeKind)
srestarts :: EnumSet (ContentId ModeKind)
srestarts
, ClientOptions
soptions :: ClientOptions
soptions :: ClientOptions
soptions
, (PrimArray Int, PrimArray Int)
stabs :: (PrimArray Int, PrimArray Int)
stabs :: (PrimArray Int, PrimArray Int)
stabs }
AlterLid
salter <- (State -> AlterLid) -> m AlterLid
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> AlterLid
createSalter
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli1 :: StateClient
cli1 -> StateClient
cli1 {AlterLid
salter :: AlterLid
salter :: AlterLid
salter}
UpdRestartServer{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdResume _side :: FactionId
_side sfperNew :: PerLid
sfperNew -> do
#ifdef WITH_EXPENSIVE_ASSERTIONS
PerLid
sfperOld <- (StateClient -> PerLid) -> m PerLid
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> PerLid
sfper
let !_A :: ()
_A = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (PerLid
sfperNew PerLid -> PerLid -> Bool
forall a. Eq a => a -> a -> Bool
== PerLid
sfperOld
Bool -> (FactionId, PerLid, PerLid) -> Bool
forall a. Show a => Bool -> a -> Bool
`blame` (FactionId
_side, PerLid
sfperNew, PerLid
sfperOld)) ()
#endif
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {sfper :: PerLid
sfper = PerLid
sfperNew}
AlterLid
salter <- (State -> AlterLid) -> m AlterLid
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> AlterLid
createSalter
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {AlterLid
salter :: AlterLid
salter :: AlterLid
salter}
UpdResumeServer{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
UpdKillExit _fid :: FactionId
_fid -> m ()
forall (m :: * -> *). MonadClient m => m ()
killExit
UpdWriteSave -> m ()
forall (m :: * -> *). MonadClientSetup m => m ()
saveClient
UpdHearFid{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
invalidateInMelee :: MonadClient m => LevelId -> m ()
invalidateInMelee :: LevelId -> m ()
invalidateInMelee lid :: LevelId
lid =
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {scondInMelee :: EnumMap LevelId Bool
scondInMelee = LevelId -> EnumMap LevelId Bool -> EnumMap LevelId Bool
forall k a. Enum k => k -> EnumMap k a -> EnumMap k a
EM.delete LevelId
lid (StateClient -> EnumMap LevelId Bool
scondInMelee StateClient
cli)}
invalidateInMeleeDueToItem :: MonadClient m => ActorId -> CStore -> m ()
invalidateInMeleeDueToItem :: ActorId -> CStore -> m ()
invalidateInMeleeDueToItem aid :: ActorId
aid store :: CStore
store =
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (CStore
store CStore -> [CStore] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [CStore
CEqp, CStore
COrgan]) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ do
Actor
b <- (State -> Actor) -> m Actor
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Actor) -> m Actor) -> (State -> Actor) -> m Actor
forall a b. (a -> b) -> a -> b
$ ActorId -> State -> Actor
getActorBody ActorId
aid
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateInMelee (Actor -> LevelId
blid Actor
b)
wipeBfsIfItemAffectsSkills :: MonadClient m => [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills :: [CStore] -> ActorId -> m ()
wipeBfsIfItemAffectsSkills stores :: [CStore]
stores aid :: ActorId
aid =
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless ([CStore] -> Bool
forall a. [a] -> Bool
null ([CStore] -> Bool) -> [CStore] -> Bool
forall a b. (a -> b) -> a -> b
$ [CStore] -> [CStore] -> [CStore]
forall a. Eq a => [a] -> [a] -> [a]
intersect [CStore]
stores [CStore
CEqp, CStore
COrgan]) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ ActorId -> m ()
forall (m :: * -> *). MonadClient m => ActorId -> m ()
invalidateBfsAid ActorId
aid
tileChangeAffectsBfs :: COps
-> ContentId TileKind -> ContentId TileKind
-> Bool
tileChangeAffectsBfs :: COps -> ContentId TileKind -> ContentId TileKind -> Bool
tileChangeAffectsBfs COps{TileSpeedup
coTileSpeedup :: COps -> TileSpeedup
coTileSpeedup :: TileSpeedup
coTileSpeedup} fromTile :: ContentId TileKind
fromTile toTile :: ContentId TileKind
toTile =
TileSpeedup -> ContentId TileKind -> Int
Tile.alterMinWalk TileSpeedup
coTileSpeedup ContentId TileKind
fromTile
Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
/= TileSpeedup -> ContentId TileKind -> Int
Tile.alterMinWalk TileSpeedup
coTileSpeedup ContentId TileKind
toTile
createActor :: MonadClient m => ActorId -> Actor -> [(ItemId, Item)] -> m ()
createActor :: ActorId -> Actor -> [(ItemId, Item)] -> m ()
createActor aid :: ActorId
aid b :: Actor
b ais :: [(ItemId, Item)]
ais = do
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
Faction
fact <- (State -> Faction) -> m Faction
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Faction) -> m Faction)
-> (State -> Faction) -> m Faction
forall a b. (a -> b) -> a -> b
$ (EnumMap FactionId Faction -> FactionId -> Faction
forall k a. Enum k => EnumMap k a -> k -> a
EM.! FactionId
side) (EnumMap FactionId Faction -> Faction)
-> (State -> EnumMap FactionId Faction) -> State -> Faction
forall b c a. (b -> c) -> (a -> b) -> a -> c
. State -> EnumMap FactionId Faction
sfactionD
let affect3 :: TgtAndPath -> TgtAndPath
affect3 tap :: TgtAndPath
tap@TgtAndPath{..} = case Target
tapTgt of
TPoint (TEnemyPos a :: ActorId
a) _ _ | ActorId
a ActorId -> ActorId -> Bool
forall a. Eq a => a -> a -> Bool
== ActorId
aid ->
let tgt :: Target
tgt | FactionId -> Faction -> FactionId -> Bool
isFoe FactionId
side Faction
fact (Actor -> FactionId
bfid Actor
b) = ActorId -> Target
TEnemy ActorId
a
| Bool
otherwise = TGoal -> LevelId -> Point -> Target
TPoint TGoal
TKnown (Actor -> LevelId
blid Actor
b) (Actor -> Point
bpos Actor
b)
in Target -> Maybe AndPath -> TgtAndPath
TgtAndPath Target
tgt Maybe AndPath
forall a. Maybe a
Nothing
_ -> TgtAndPath
tap
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {stargetD :: EnumMap ActorId TgtAndPath
stargetD = (TgtAndPath -> TgtAndPath)
-> EnumMap ActorId TgtAndPath -> EnumMap ActorId TgtAndPath
forall a b k. (a -> b) -> EnumMap k a -> EnumMap k b
EM.map TgtAndPath -> TgtAndPath
affect3 (StateClient -> EnumMap ActorId TgtAndPath
stargetD StateClient
cli)}
((ItemId, Item) -> m ()) -> [(ItemId, Item)] -> m ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
(a -> m ()) -> t a -> m ()
mapM_ (ItemId -> m ()
forall (m :: * -> *). MonadClient m => ItemId -> m ()
addItemToDiscoBenefit (ItemId -> m ())
-> ((ItemId, Item) -> ItemId) -> (ItemId, Item) -> m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (ItemId, Item) -> ItemId
forall a b. (a, b) -> a
fst) [(ItemId, Item)]
ais
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (Actor -> Bool
bproj Actor
b) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ Actor -> m ()
forall (m :: * -> *). MonadClient m => Actor -> m ()
invalidateBfsPathLid Actor
b
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateInMelee (Actor -> LevelId
blid Actor
b)
destroyActor :: MonadClient m => ActorId -> Actor -> Bool -> m ()
destroyActor :: ActorId -> Actor -> Bool -> m ()
destroyActor aid :: ActorId
aid b :: Actor
b destroy :: Bool
destroy = do
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
destroy (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {stargetD :: EnumMap ActorId TgtAndPath
stargetD = ActorId -> EnumMap ActorId TgtAndPath -> EnumMap ActorId TgtAndPath
forall k a. Enum k => k -> EnumMap k a -> EnumMap k a
EM.delete ActorId
aid (EnumMap ActorId TgtAndPath -> EnumMap ActorId TgtAndPath)
-> EnumMap ActorId TgtAndPath -> EnumMap ActorId TgtAndPath
forall a b. (a -> b) -> a -> b
$ StateClient -> EnumMap ActorId TgtAndPath
stargetD StateClient
cli}
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli { sbfsD :: EnumMap ActorId BfsAndPath
sbfsD = ActorId -> EnumMap ActorId BfsAndPath -> EnumMap ActorId BfsAndPath
forall k a. Enum k => k -> EnumMap k a -> EnumMap k a
EM.delete ActorId
aid (EnumMap ActorId BfsAndPath -> EnumMap ActorId BfsAndPath)
-> EnumMap ActorId BfsAndPath -> EnumMap ActorId BfsAndPath
forall a b. (a -> b) -> a -> b
$ StateClient -> EnumMap ActorId BfsAndPath
sbfsD StateClient
cli
, sfleeD :: EnumMap ActorId (Point, Time)
sfleeD = ActorId
-> EnumMap ActorId (Point, Time) -> EnumMap ActorId (Point, Time)
forall k a. Enum k => k -> EnumMap k a -> EnumMap k a
EM.delete ActorId
aid (EnumMap ActorId (Point, Time) -> EnumMap ActorId (Point, Time))
-> EnumMap ActorId (Point, Time) -> EnumMap ActorId (Point, Time)
forall a b. (a -> b) -> a -> b
$ StateClient -> EnumMap ActorId (Point, Time)
sfleeD StateClient
cli }
Time
localTime <- (State -> Time) -> m Time
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> Time) -> m Time) -> (State -> Time) -> m Time
forall a b. (a -> b) -> a -> b
$ LevelId -> State -> Time
getLocalTime (LevelId -> State -> Time) -> LevelId -> State -> Time
forall a b. (a -> b) -> a -> b
$ Actor -> LevelId
blid Actor
b
EnumMap ActorId (Point, Time)
fleeD <- (StateClient -> EnumMap ActorId (Point, Time))
-> m (EnumMap ActorId (Point, Time))
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> EnumMap ActorId (Point, Time)
sfleeD
let recentlyFled :: ActorId -> Bool
recentlyFled aid3 :: ActorId
aid3 = Bool -> ((Point, Time) -> Bool) -> Maybe (Point, Time) -> Bool
forall b a. b -> (a -> b) -> Maybe a -> b
maybe Bool
False (\(_, time :: Time
time) -> Time -> Time -> Bool
timeRecent5 Time
localTime Time
time)
(ActorId
aid3 ActorId -> EnumMap ActorId (Point, Time) -> Maybe (Point, Time)
forall k a. Enum k => k -> EnumMap k a -> Maybe a
`EM.lookup` EnumMap ActorId (Point, Time)
fleeD)
dummyTarget :: Target
dummyTarget = TGoal -> LevelId -> Point -> Target
TPoint TGoal
TKnown (Actor -> LevelId
blid Actor
b) (Actor -> Point
bpos Actor
b)
affect :: ActorId -> Target -> Target
affect aid3 :: ActorId
aid3 tgt :: Target
tgt = case Target
tgt of
TEnemy a :: ActorId
a | ActorId
a ActorId -> ActorId -> Bool
forall a. Eq a => a -> a -> Bool
== ActorId
aid ->
if Bool
destroy Bool -> Bool -> Bool
|| ActorId -> Bool
recentlyFled ActorId
aid3
then
Target
dummyTarget
else
TGoal -> LevelId -> Point -> Target
TPoint (ActorId -> TGoal
TEnemyPos ActorId
a) (Actor -> LevelId
blid Actor
b) (Actor -> Point
bpos Actor
b)
TNonEnemy a :: ActorId
a | ActorId
a ActorId -> ActorId -> Bool
forall a. Eq a => a -> a -> Bool
== ActorId
aid -> Target
dummyTarget
_ -> Target
tgt
affect3 :: ActorId -> TgtAndPath -> TgtAndPath
affect3 aid3 :: ActorId
aid3 TgtAndPath{..} =
let newMPath :: Maybe AndPath
newMPath = case Maybe AndPath
tapPath of
Just AndPath{Point
pathGoal :: AndPath -> Point
pathGoal :: Point
pathGoal} | Point
pathGoal Point -> Point -> Bool
forall a. Eq a => a -> a -> Bool
/= Actor -> Point
bpos Actor
b -> Maybe AndPath
forall a. Maybe a
Nothing
_ -> Maybe AndPath
tapPath
in Target -> Maybe AndPath -> TgtAndPath
TgtAndPath (ActorId -> Target -> Target
affect ActorId
aid3 Target
tapTgt) Maybe AndPath
newMPath
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {stargetD :: EnumMap ActorId TgtAndPath
stargetD = (ActorId -> TgtAndPath -> TgtAndPath)
-> EnumMap ActorId TgtAndPath -> EnumMap ActorId TgtAndPath
forall k a b. Enum k => (k -> a -> b) -> EnumMap k a -> EnumMap k b
EM.mapWithKey ActorId -> TgtAndPath -> TgtAndPath
affect3 (StateClient -> EnumMap ActorId TgtAndPath
stargetD StateClient
cli)}
Bool -> m () -> m ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (Actor -> Bool
bproj Actor
b) (m () -> m ()) -> m () -> m ()
forall a b. (a -> b) -> a -> b
$ Actor -> m ()
forall (m :: * -> *). MonadClient m => Actor -> m ()
invalidateBfsPathLid Actor
b
LevelId -> m ()
forall (m :: * -> *). MonadClient m => LevelId -> m ()
invalidateInMelee (Actor -> LevelId
blid Actor
b)
addItemToDiscoBenefit :: MonadClient m => ItemId -> m ()
addItemToDiscoBenefit :: ItemId -> m ()
addItemToDiscoBenefit iid :: ItemId
iid = do
COps
cops <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
DiscoveryBenefit
discoBenefit <- (StateClient -> DiscoveryBenefit) -> m DiscoveryBenefit
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> DiscoveryBenefit
sdiscoBenefit
case ItemId -> DiscoveryBenefit -> Maybe Benefit
forall k a. Enum k => k -> EnumMap k a -> Maybe a
EM.lookup ItemId
iid DiscoveryBenefit
discoBenefit of
Just{} -> () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
Nothing -> do
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
EnumMap FactionId Faction
factionD <- (State -> EnumMap FactionId Faction)
-> m (EnumMap FactionId Faction)
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> EnumMap FactionId Faction
sfactionD
ItemFull
itemFull <- (State -> ItemFull) -> m ItemFull
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> ItemFull) -> m ItemFull)
-> (State -> ItemFull) -> m ItemFull
forall a b. (a -> b) -> a -> b
$ ItemId -> State -> ItemFull
itemToFull ItemId
iid
let benefit :: Benefit
benefit = COps
-> FactionId -> EnumMap FactionId Faction -> ItemFull -> Benefit
totalUsefulness COps
cops FactionId
side EnumMap FactionId Faction
factionD ItemFull
itemFull
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli ->
StateClient
cli {sdiscoBenefit :: DiscoveryBenefit
sdiscoBenefit = ItemId -> Benefit -> DiscoveryBenefit -> DiscoveryBenefit
forall k a. Enum k => k -> a -> EnumMap k a -> EnumMap k a
EM.insert ItemId
iid Benefit
benefit (StateClient -> DiscoveryBenefit
sdiscoBenefit StateClient
cli)}
perception :: MonadClient m => LevelId -> Perception -> Perception -> m ()
perception :: LevelId -> Perception -> Perception -> m ()
perception lid :: LevelId
lid outPer :: Perception
outPer inPer :: Perception
inPer = do
let adj :: Maybe Perception -> Maybe Perception
adj Nothing = String -> Maybe Perception
forall a. (?callStack::CallStack) => String -> a
error (String -> Maybe Perception) -> String -> Maybe Perception
forall a b. (a -> b) -> a -> b
$ "no perception to alter" String -> LevelId -> String
forall v. Show v => String -> v -> String
`showFailure` LevelId
lid
adj (Just per :: Perception
per) = Perception -> Maybe Perception
forall a. a -> Maybe a
Just (Perception -> Maybe Perception) -> Perception -> Maybe Perception
forall a b. (a -> b) -> a -> b
$ Perception -> Perception -> Perception
addPer (Perception -> Perception -> Perception
diffPer Perception
per Perception
outPer) Perception
inPer
f :: PerLid -> PerLid
f = (Maybe Perception -> Maybe Perception)
-> LevelId -> PerLid -> PerLid
forall k a.
Enum k =>
(Maybe a -> Maybe a) -> k -> EnumMap k a -> EnumMap k a
EM.alter Maybe Perception -> Maybe Perception
adj LevelId
lid
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {sfper :: PerLid
sfper = PerLid -> PerLid
f (StateClient -> PerLid
sfper StateClient
cli)}
discoverKind :: MonadClient m => ItemKindIx -> m ()
discoverKind :: ItemKindIx -> m ()
discoverKind = ItemKindIx -> m ()
forall (m :: * -> *). MonadClient m => ItemKindIx -> m ()
discoverKindAndAspect
discoverKindAndAspect :: MonadClient m => ItemKindIx -> m ()
discoverKindAndAspect :: ItemKindIx -> m ()
discoverKindAndAspect ix :: ItemKindIx
ix = do
COps
cops <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
m ()
forall (m :: * -> *). MonadClient m => m ()
invalidateBfsAll
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
EnumMap FactionId Faction
factionD <- (State -> EnumMap FactionId Faction)
-> m (EnumMap FactionId Faction)
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> EnumMap FactionId Faction
sfactionD
ItemId -> ItemFull
itemToF <- (State -> ItemId -> ItemFull) -> m (ItemId -> ItemFull)
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> ItemId -> ItemFull) -> m (ItemId -> ItemFull))
-> (State -> ItemId -> ItemFull) -> m (ItemId -> ItemFull)
forall a b. (a -> b) -> a -> b
$ (ItemId -> State -> ItemFull) -> State -> ItemId -> ItemFull
forall a b c. (a -> b -> c) -> b -> a -> c
flip ItemId -> State -> ItemFull
itemToFull
let benefit :: ItemId -> Benefit
benefit iid :: ItemId
iid = COps
-> FactionId -> EnumMap FactionId Faction -> ItemFull -> Benefit
totalUsefulness COps
cops FactionId
side EnumMap FactionId Faction
factionD (ItemId -> ItemFull
itemToF ItemId
iid)
EnumSet ItemId
itemIxMap <- (State -> EnumSet ItemId) -> m (EnumSet ItemId)
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> EnumSet ItemId) -> m (EnumSet ItemId))
-> (State -> EnumSet ItemId) -> m (EnumSet ItemId)
forall a b. (a -> b) -> a -> b
$ (EnumMap ItemKindIx (EnumSet ItemId) -> ItemKindIx -> EnumSet ItemId
forall k a. Enum k => EnumMap k a -> k -> a
EM.! ItemKindIx
ix) (EnumMap ItemKindIx (EnumSet ItemId) -> EnumSet ItemId)
-> (State -> EnumMap ItemKindIx (EnumSet ItemId))
-> State
-> EnumSet ItemId
forall b c a. (b -> c) -> (a -> b) -> a -> c
. State -> EnumMap ItemKindIx (EnumSet ItemId)
sitemIxMap
[ItemId] -> (ItemId -> m ()) -> m ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
t a -> (a -> m ()) -> m ()
forM_ (EnumSet ItemId -> [ItemId]
forall k. Enum k => EnumSet k -> [k]
ES.elems EnumSet ItemId
itemIxMap) ((ItemId -> m ()) -> m ()) -> (ItemId -> m ()) -> m ()
forall a b. (a -> b) -> a -> b
$ \iid :: ItemId
iid -> (StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli ->
StateClient
cli {sdiscoBenefit :: DiscoveryBenefit
sdiscoBenefit = ItemId -> Benefit -> DiscoveryBenefit -> DiscoveryBenefit
forall k a. Enum k => k -> a -> EnumMap k a -> EnumMap k a
EM.insert ItemId
iid (ItemId -> Benefit
benefit ItemId
iid) (StateClient -> DiscoveryBenefit
sdiscoBenefit StateClient
cli)}
coverKind :: ItemKindIx -> m ()
coverKind :: ItemKindIx -> m ()
coverKind = ItemKindIx -> m ()
forall (m :: * -> *). ItemKindIx -> m ()
coverAspectAndKind
coverAspectAndKind :: ItemKindIx -> m ()
coverAspectAndKind :: ItemKindIx -> m ()
coverAspectAndKind _ix :: ItemKindIx
_ix = m ()
forall a. (?callStack::CallStack) => a
undefined
discoverAspect :: MonadClient m => ItemId -> m ()
discoverAspect :: ItemId -> m ()
discoverAspect iid :: ItemId
iid = do
COps
cops <- (State -> COps) -> m COps
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> COps
scops
m ()
forall (m :: * -> *). MonadClient m => m ()
invalidateBfsAll
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
EnumMap FactionId Faction
factionD <- (State -> EnumMap FactionId Faction)
-> m (EnumMap FactionId Faction)
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> EnumMap FactionId Faction
sfactionD
ItemFull
itemFull <- (State -> ItemFull) -> m ItemFull
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState ((State -> ItemFull) -> m ItemFull)
-> (State -> ItemFull) -> m ItemFull
forall a b. (a -> b) -> a -> b
$ ItemId -> State -> ItemFull
itemToFull ItemId
iid
let benefit :: Benefit
benefit = COps
-> FactionId -> EnumMap FactionId Faction -> ItemFull -> Benefit
totalUsefulness COps
cops FactionId
side EnumMap FactionId Faction
factionD ItemFull
itemFull
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli ->
StateClient
cli {sdiscoBenefit :: DiscoveryBenefit
sdiscoBenefit = ItemId -> Benefit -> DiscoveryBenefit -> DiscoveryBenefit
forall k a. Enum k => k -> a -> EnumMap k a -> EnumMap k a
EM.insert ItemId
iid Benefit
benefit (StateClient -> DiscoveryBenefit
sdiscoBenefit StateClient
cli)}
coverAspect :: ItemId -> m ()
coverAspect :: ItemId -> m ()
coverAspect _iid :: ItemId
_iid = m ()
forall a. (?callStack::CallStack) => a
undefined
killExit :: MonadClient m => m ()
killExit :: m ()
killExit = do
FactionId
side <- (StateClient -> FactionId) -> m FactionId
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> FactionId
sside
Text -> m ()
forall (m :: * -> *). MonadClient m => Text -> m ()
debugPossiblyPrint (Text -> m ()) -> Text -> m ()
forall a b. (a -> b) -> a -> b
$ "Client" Text -> Text -> Text
<+> FactionId -> Text
forall a. Show a => a -> Text
tshow FactionId
side Text -> Text -> Text
<+> "quitting."
(StateClient -> StateClient) -> m ()
forall (m :: * -> *).
MonadClient m =>
(StateClient -> StateClient) -> m ()
modifyClient ((StateClient -> StateClient) -> m ())
-> (StateClient -> StateClient) -> m ()
forall a b. (a -> b) -> a -> b
$ \cli :: StateClient
cli -> StateClient
cli {squit :: Bool
squit = Bool
True}
ActorMaxSkills
sactorMaxSkills2 <- (State -> ActorMaxSkills) -> m ActorMaxSkills
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> ActorMaxSkills
sactorMaxSkills
AlterLid
salter <- (StateClient -> AlterLid) -> m AlterLid
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> AlterLid
salter
EnumMap ActorId BfsAndPath
sbfsD <- (StateClient -> EnumMap ActorId BfsAndPath)
-> m (EnumMap ActorId BfsAndPath)
forall (m :: * -> *) a.
MonadClientRead m =>
(StateClient -> a) -> m a
getsClient StateClient -> EnumMap ActorId BfsAndPath
sbfsD
AlterLid
alter <- (State -> AlterLid) -> m AlterLid
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> AlterLid
createSalter
ActorMaxSkills
actorMaxSkills <- (State -> ActorMaxSkills) -> m ActorMaxSkills
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> ActorMaxSkills
maxSkillsInDungeon
let f :: ActorId -> m (ActorId, BfsAndPath)
f aid :: ActorId
aid = do
(canMove :: Bool
canMove, alterSkill :: Word8
alterSkill) <- ActorId -> m (Bool, Word8)
forall (m :: * -> *).
MonadClientRead m =>
ActorId -> m (Bool, Word8)
condBFS ActorId
aid
Array BfsDistance
bfsArr <- Bool -> Word8 -> ActorId -> m (Array BfsDistance)
forall (m :: * -> *).
MonadClientRead m =>
Bool -> Word8 -> ActorId -> m (Array BfsDistance)
createBfs Bool
canMove Word8
alterSkill ActorId
aid
let bfsPath :: EnumMap k a
bfsPath = EnumMap k a
forall k a. EnumMap k a
EM.empty
(ActorId, BfsAndPath) -> m (ActorId, BfsAndPath)
forall (m :: * -> *) a. Monad m => a -> m a
return (ActorId
aid, Array BfsDistance -> EnumMap Point AndPath -> BfsAndPath
BfsAndPath Array BfsDistance
bfsArr EnumMap Point AndPath
forall k a. EnumMap k a
bfsPath)
ActorDict
actorD <- (State -> ActorDict) -> m ActorDict
forall (m :: * -> *) a. MonadStateRead m => (State -> a) -> m a
getsState State -> ActorDict
sactorD
[(ActorId, BfsAndPath)]
lbfsD <- (ActorId -> m (ActorId, BfsAndPath))
-> [ActorId] -> m [(ActorId, BfsAndPath)]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM ActorId -> m (ActorId, BfsAndPath)
forall (m :: * -> *).
MonadClientRead m =>
ActorId -> m (ActorId, BfsAndPath)
f ([ActorId] -> m [(ActorId, BfsAndPath)])
-> [ActorId] -> m [(ActorId, BfsAndPath)]
forall a b. (a -> b) -> a -> b
$ ActorDict -> [ActorId]
forall k a. Enum k => EnumMap k a -> [k]
EM.keys ActorDict
actorD
let bfsD :: EnumMap ActorId BfsAndPath
bfsD = [(ActorId, BfsAndPath)] -> EnumMap ActorId BfsAndPath
forall k a. Enum k => [(k, a)] -> EnumMap k a
EM.fromDistinctAscList [(ActorId, BfsAndPath)]
lbfsD
g :: BfsAndPath -> BfsAndPath -> Bool
g BfsInvalid !BfsAndPath
_ = Bool
True
g _ BfsInvalid = Bool
False
g (BfsAndPath bfsArr1 :: Array BfsDistance
bfsArr1 _) (BfsAndPath bfsArr2 :: Array BfsDistance
bfsArr2 _) = Array BfsDistance
bfsArr1 Array BfsDistance -> Array BfsDistance -> Bool
forall a. Eq a => a -> a -> Bool
== Array BfsDistance
bfsArr2
subBfs :: EnumMap k BfsAndPath -> EnumMap k BfsAndPath -> Bool
subBfs = (BfsAndPath -> BfsAndPath -> Bool)
-> EnumMap k BfsAndPath -> EnumMap k BfsAndPath -> Bool
forall a b k.
(a -> b -> Bool) -> EnumMap k a -> EnumMap k b -> Bool
EM.isSubmapOfBy BfsAndPath -> BfsAndPath -> Bool
g
let !_A1 :: ()
_A1 = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (AlterLid
salter AlterLid -> AlterLid -> Bool
forall a. Eq a => a -> a -> Bool
== AlterLid
alter
Bool -> (String, (FactionId, AlterLid, AlterLid)) -> Bool
forall a. Show a => Bool -> a -> Bool
`blame` "wrong accumulated salter on side"
String
-> (FactionId, AlterLid, AlterLid)
-> (String, (FactionId, AlterLid, AlterLid))
forall v. String -> v -> (String, v)
`swith` (FactionId
side, AlterLid
salter, AlterLid
alter)) ()
!_A2 :: ()
_A2 = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (ActorMaxSkills
sactorMaxSkills2 ActorMaxSkills -> ActorMaxSkills -> Bool
forall a. Eq a => a -> a -> Bool
== ActorMaxSkills
actorMaxSkills
Bool
-> (String, (FactionId, ActorMaxSkills, ActorMaxSkills)) -> Bool
forall a. Show a => Bool -> a -> Bool
`blame` "wrong accumulated sactorMaxSkills on side"
String
-> (FactionId, ActorMaxSkills, ActorMaxSkills)
-> (String, (FactionId, ActorMaxSkills, ActorMaxSkills))
forall v. String -> v -> (String, v)
`swith` (FactionId
side, ActorMaxSkills
sactorMaxSkills2, ActorMaxSkills
actorMaxSkills)) ()
!_A3 :: ()
_A3 = Bool -> () -> ()
forall a. (?callStack::CallStack) => Bool -> a -> a
assert (EnumMap ActorId BfsAndPath
sbfsD EnumMap ActorId BfsAndPath -> EnumMap ActorId BfsAndPath -> Bool
forall k. EnumMap k BfsAndPath -> EnumMap k BfsAndPath -> Bool
`subBfs` EnumMap ActorId BfsAndPath
bfsD
Bool
-> (String,
(FactionId, EnumMap ActorId BfsAndPath,
EnumMap ActorId BfsAndPath))
-> Bool
forall a. Show a => Bool -> a -> Bool
`blame` "wrong accumulated sbfsD on side"
String
-> (FactionId, EnumMap ActorId BfsAndPath,
EnumMap ActorId BfsAndPath)
-> (String,
(FactionId, EnumMap ActorId BfsAndPath,
EnumMap ActorId BfsAndPath))
forall v. String -> v -> (String, v)
`swith` (FactionId
side, EnumMap ActorId BfsAndPath
sbfsD, EnumMap ActorId BfsAndPath
bfsD)) ()
() -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()