Game.Antisplice.Monad.Dungeon

Contents

• Context quantifiers
• Utilities
• Rooms
• Objects
• Factions
• Currencies
• Fight
• Players
• Stereotypes
• Dungeons

Description

Synopsis

• type DungeonM a = forall m. MonadDungeon m => m a
• type ChattyDungeonM a = forall m. (Functor m, ExtendedPrinter m, MonadExpand m, ExpanderEnv m, MonadDungeon m, MonadError SplErr m, MonadAtoms m, MonadClock m, MonadVocab m, MonadRandom m) => m a
• type Handler = ChattyDungeonM ()
• newtype HandlerBox = Handler {
  • runHandler :: Handler
  }
• type Prerequisite = ChattyDungeonM Bool
• newtype PrerequisiteBox = Prerequisite {
  • runPrerequisite :: Prerequisite
  }
• class IsText t where
  • toText :: t -> Text
  • fromText :: Text -> t
• data Direction
  • = North
  • | NorthEast
  • | East
  • | SouthEast
  • | South
  • | SouthWest
  • | West
  • | NorthWest
  • | Up
  • | Down
• data RoomState = RoomState {
  • roomTitleOf :: !Text
  • roomObjectsOf :: AVL ObjectState
  • roomTriggerOnFirstEnterOf :: Handler
  • roomTriggerOnEachEnterOf :: Handler
  • roomTriggerOnLeaveOf :: Handler
  • roomTriggerOnLookOf :: Handler
  • roomTriggerOnAnnounceOf :: Handler
  }
• newtype RoomT m a = Room {
  • runRoomT :: RoomState -> m (a, RoomState)
  }
• class Monad m => MonadRoom m where
  • getRoomState :: m RoomState
  • putRoomState :: RoomState -> m ()
• data PathState = PathState {
  • pathPrerequisiteOf :: Prerequisite
  • pathTriggerBeforeWalkOf :: Handler
  • pathTriggerAfterWalkOf :: Handler
  }
• data StatKey
  • = Strength
  • | Agility
  • | Stamina
  • | Intelligence
  • | Spirit
  • | Armor
  • | Haste
  • | CooldownDuration
  • | AttackPower
• data EquipKey
  • = MainHand
  • | OffHand
  • | Chest
  • | Feet
  • | Wrists
  • | Waist
  • | Head
  • | Legs
  • | Back
  • | Hands
  • | Neck
  • | Finger1
  • | Finger2
• data Relation
  • = Near
  • | Carried
  • | Worn
• data Feature
  • = Damagable
  • | Acquirable
  • | Equipable EquipKey
  • | Redeemable Currency Int
  • | AutoRedeem Currency Int
  • | Weighty Int
  • | Played PlayerId
  • | Mobile
  • | Stereo Relation (Atom PlayerStereo)
  • | Described (Atom String)
• data ObjectId
  • = ObjectId Int
  • | FalseObject
• data ObjectState = ObjectState {
  • objectIdOf :: !ObjectId
  • objectTitleOf :: !Text
  • objectDescOf :: !Text
  • objectNamesOf :: ![String]
  • objectAttributesOf :: ![String]
  • objectOnceSeenOf :: !Bool
  • objectOnceAcquiredOf :: !Bool
  • objectOnceInspectedOf :: !Bool
  • objectOnceEquippedOf :: !Bool
  • objectMaxHealthOf :: !Int
  • objectCurHealthOf :: !Int
  • objectRouteOf :: ![NodeId]
  • objectFeaturesOf :: AVL Feature
  • objectFactionOf :: !(Maybe (Atom Faction))
  • objectTriggerOnFirstSightOf :: Handler
  • objectTriggerOnEachSightOf :: Handler
  • objectTriggerOnFirstAcquireOf :: Handler
  • objectTriggerOnEachAcquireOf :: Handler
  • objectTriggerOnFirstInspectionOf :: Handler
  • objectTriggerOnEachInspectionOf :: Handler
  • objectTriggerOnLookAtOf :: Handler
  • objectTriggerOnLookIntoOf :: Handler
  • objectTriggerOnReadOf :: Handler
  • objectTriggerOnEnterOf :: Handler
  • objectTriggerOnRoomEnterOf :: Handler
  • objectTriggerOnRoomLeaveOf :: Handler
  • objectTriggerOnAnnounceOf :: Handler
  • objectTriggerOnDropOf :: Handler
  • objectTriggerOnFirstEquipOf :: Handler
  • objectTriggerOnEachEquipOf :: Handler
  • objectTriggerOnUnequipOf :: Handler
  • objectTriggerOnDieOf :: Handler
  • objectTriggerOnTakeDamageOf :: Handler
  }
• newtype ObjectT m a = Object {
  • runObjectT :: ObjectState -> m (a, ObjectState)
  }
• class Monad m => MonadObject m where
  • getObjectState :: m ObjectState
  • putObjectState :: ObjectState -> m ()
• data Faction = Faction {
  • factionName :: !Text
  • factionTriggerOnHostileOf :: Handler
  • factionTriggerOnFriendlyOf :: Handler
  • factionTriggerOnExaltedOf :: Handler
  }
• data Attitude
  • = Hostile
  • | Friendly
  • | Exalted
• data Currency = Currency {
  • currencyIdOf :: CurrencyId
  • currencyDescOf :: String
  • currencyNameOf :: String
  }
• data CurrencyId
  • = Health
  • | CurrencyId Int
• data DamageTarget
  • = TargetPlayer PlayerId
  • | TargetObject ObjectId
• newtype PlayerId = PlayerId Int
• data PlayerState = PlayerState {
  • playerIdOf :: !PlayerId
  • playerRoomOf :: !NodeId
  • playerMaxHealthOf :: !Int
  • playerInventoryOf :: AVL ObjectState
  • playerEquipOf :: AVL (EquipKey, ObjectState)
  • playerBaseStatsOf :: AVL (StatKey, Int)
  • playerStereosOf :: [Atom PlayerStereo]
  • playerReputationOf :: AVL (Atom Faction, Int)
  • playerCurrenciesOf :: AVL (CurrencyId, Int)
  • playerCooldownsOf :: AVL CooldownId
  • playerOpponentOf :: !ObjectId
  }
• newtype PlayerT m a = Player {
  • runPlayerT :: PlayerState -> m (a, PlayerState)
  }
• class Monad m => MonadPlayer m where
  • getPlayerState :: m PlayerState
  • putPlayerState :: PlayerState -> m ()
  • modifyPlayerState :: (PlayerState -> PlayerState) -> m ()
• data PlayerStereo = PlayerStereo {
  • stereoCalcStatBonus :: (StatKey -> Int) -> StatKey -> Int
  • stereoSkillBonus :: String -> Maybe (SkillParam -> HandlerBox)
  }
• data CooldownId
  • = GlobalCooldown
  • | CooldownId Int
• data SkillParam = SkillParam {
  • paramDirectOf :: Maybe ObjectState
  • paramAtOf :: Maybe ObjectState
  • paramOnOf :: Maybe ObjectState
  }
• data DungeonState = DungeonState {
  • roomsOf :: Graph RoomState Direction PathState
  • playersOf :: Focus PlayerState
  • timeTriggersOf :: AVL (NominalDiffTime, HandlerBox)
  • currenciesOf :: AVL Currency
  }
• currentRoomOf :: DungeonState -> Maybe NodeId
• playerOf :: DungeonState -> Maybe PlayerState
• newtype DungeonT m a = Dungeon {
  • runDungeonT :: DungeonState -> m (a, DungeonState)
  }
• class (MonadRoom m, MonadPlayer m) => MonadDungeon m where
  • getDungeonState :: m DungeonState
  • putDungeonState :: DungeonState -> m ()

Context quantifiers

Utilities

Rooms

Objects

Factions

Currencies

Fight

Players

Stereotypes

Dungeons