Safe Haskell	None
Language	Haskell2010

Game.Antisplice.Monad.Dungeon

Contents

Context quantifiers
Utilities
Rooms
Objects
Factions
Currencies
Fight
Players
Stereotypes
Dungeons

Description

Provides the basic data types and monads for Antisplice.

Synopsis

Context quantifiers

type DungeonM a = forall m. SomeDungeon m => m a Source

Matches any SomeDungeon context

type ChattyDungeonM a = forall m. SomeChattyDungeon m => m a Source

Matches any SomeChattyDungeon context

type Handler = ChattyDungeonM () Source

The common type of all event handlers.

newtype HandlerBox Source

A boxed Handler to avoid ImpredicativeTypes

Constructors

Handler
Fields runHandler :: Handler

Instances

None HandlerBox
ToConsumer HandlerBox

type Prerequisite = ChattyDungeonM Bool Source

The common type of all prerequisites.

newtype PrerequisiteBox Source

A boxed Prerequisite to avoid ImpredicativeTypes

Constructors

Prerequisite
Fields runPrerequisite :: Prerequisite

Instances

Monoid PrerequisiteBox
None PrerequisiteBox
IsAction PrerequisiteBox
Gatifiable PrerequisiteBox
PredMask (x -> PrerequisiteBox, String) x

type Predicate = ChattyDungeonM (Maybe ReError) Source

The common type for all predicates.

newtype PredicateBox Source

A boxed Predicate to avoid ImpredicativeTypes

Constructors

Predicate
Fields runPredicate :: ChattyDungeonM (Maybe ReError)

Instances

Monoid PredicateBox
None PredicateBox
IsAction PredicateBox
ToConsumer PredicateBox

Utilities

class IsText t where Source

Typeclass for all types that are convertible to or from Text

Methods

toText :: t -> Text Source

fromText :: Text -> t Source

Instances

IsText String
IsText Text

data Direction Source

10 directions to go

Constructors

North
NorthEast
East
SouthEast
South
SouthWest
West
NorthWest
Up
Down

Instances

Eq Direction
Show Direction
Tuplify Direction Direction

Rooms

data RoomState Source

State type for RoomT

Constructors

RoomState
Fields roomTitleOf :: !Text roomObjectsOf :: AVL ObjectState roomTriggerOnFirstEnterOf :: Handler roomTriggerOnEachEnterOf :: Handler roomTriggerOnLeaveOf :: Handler roomTriggerOnLookOf :: Handler roomTriggerOnAnnounceOf :: Handler

Instances

Tuplify RoomState RoomState

newtype RoomT m a Source

The room monad. Used to create or modify room data.

Constructors

Room
Fields runRoomT :: RoomState -> m (a, RoomState)

Instances

MonadTrans RoomT
ChChannelPrinter Bool m0 => ChChannelPrinter Bool (RoomT m)
ChChannelPrinter Int m0 => ChChannelPrinter Int (RoomT m)
ChChannelPrinter Handle m0 => ChChannelPrinter Handle (RoomT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (RoomT m)
MonadError SplErr m0 => MonadError SplErr (RoomT m)
Monad m => Monad (RoomT m)
Functor m => Functor (RoomT m)
(Functor m, Monad m) => Applicative (RoomT m)
ChHistoryEnv m0 => ChHistoryEnv (RoomT m)
ChExpanderEnv m0 => ChExpanderEnv (RoomT m)
ChExpand m0 => ChExpand (RoomT m)
ChExtendedPrinter m0 => ChExtendedPrinter (RoomT m)
(ChAtoms (RoomT m0), ChFilesystem m0) => ChFilesystem (RoomT m)
ChSpawn m0 => ChSpawn (RoomT m)
ChPrinter m0 => ChPrinter (RoomT m)
ChBufferedScanner m0 => ChBufferedScanner (RoomT m)
ChScanner m0 => ChScanner (RoomT m)
ChFinalizer m0 => ChFinalizer (RoomT m)
ChClock m0 => ChClock (RoomT m)
ChRandom m0 => ChRandom (RoomT m)
ChAtoms m0 => ChAtoms (RoomT m)
ChCounter m0 => ChCounter (RoomT m)
MonadIO m0 => MonadIO (RoomT m)
MonadVocab m0 => MonadVocab (RoomT m)
Monad m => MonadRoom (RoomT m)
Monad m => OnAnnounce (RoomT m)
Monad m => OnLook (RoomT m)
Monad m => OnFirstEnter (RoomT m)
Monad m => OnEnter (RoomT m)
CanLoad m0 n0 => CanLoad (RoomT m) n
CanSave m0 n0 => CanSave (RoomT m) n
CanMount m0 n0 => CanMount (RoomT m) n

class Monad m => MonadRoom m where Source

Typeclass for all room monads.

Methods

getRoomState :: m RoomState Source

Get the room state

putRoomState :: RoomState -> m () Source

Put the room state

Instances

MonadRoom m0 => MonadRoom (AnsiPrinterT m)
MonadRoom m0 => MonadRoom (HtmlPrinterT m)
MonadRoom m0 => MonadRoom (ExpanderT m)
MonadRoom m0 => MonadRoom (NullExpanderT m)
MonadRoom m0 => MonadRoom (RecorderT m)
MonadRoom m0 => MonadRoom (AtomStoreT m)
MonadRoom m0 => MonadRoom (CounterT m)
MonadRoom m0 => MonadRoom (SplErrT m)
MonadRoom m0 => MonadRoom (VocabT m)
Monad m => MonadRoom (DungeonT m)
Monad m => MonadRoom (RoomT m)
MonadRoom m0 => MonadRoom (StereoBuilderT m)

data PathState Source

State type for a path from one room to another

Constructors

PathState
Fields pathPrerequisiteOf :: Prerequisite pathTriggerBeforeWalkOf :: Handler pathTriggerAfterWalkOf :: Handler

Instances

None PathState
Gatifiable PathState

Objects

data StatKey Source

Key for item or player statistics

Constructors

Strength
Agility
Stamina
Intelligence
Spirit
Armor
Haste
CooldownDuration
AttackPower

Instances

Eq StatKey
Ord StatKey
Tuplify StatKey StatKey

data EquipKey Source

Key for equipment slot

Constructors

MainHand
OffHand
Chest
Feet
Wrists
Waist
Head
Legs
Back
Hands
Neck
Finger1
Finger2

Instances

Eq EquipKey
Ord EquipKey
Tuplify EquipKey EquipKey
Indexable EquipKey EquipKey EquipKey

data Relation Source

Relation between the player and the object.

Constructors

Near
Carried
Worn

Instances

Eq Relation
Ord Relation
Tuplify Relation Relation

data Feature Source

Object features.

Constructors

Damagable	May take damage.
Acquirable	May be acquired.
Usable	May be used.
Drinkable	May be drunk.
Eatable	May be eaten.
Equipable EquipKey	May be equipped at the given slot.
Redeemable Currency Int	May be redeemed for the given currency.
AutoRedeem Currency Int	Redeem automatically for a given currency.
Weighty Int	Has a known weight.
Played PlayerId	Is connected to a real player.
Mobile	May move around.
Stereo Relation (Atom PlayerStereo)	Implies an additional stereotype for the nearcarryingwearing player
Described (Atom String)	Implies an additional particle for the room description

Instances

Eq Feature
Ord Feature
Tuplify Feature Feature
Indexable Feature Feature Feature
PredMask Feature (Titled ObjectState)

data ObjectId Source

Phantom ID type for objects.

Constructors

ObjectId Int
FalseObject

Instances

Eq ObjectId
Ord ObjectId
None ObjectId
Tuplify ObjectId ObjectId
Indexable ObjectState ObjectId ObjectState

data KindId Source

Phantom ID type for object kinds.

Constructors

KindId Int
FalseKind

Instances

Eq KindId
Ord KindId
None KindId
Tuplify KindId KindId

data ObjectState Source

State type for ObjectT

Constructors

ObjectState

Fields

objectIdOf :: !ObjectId
objectKindOf :: !KindId
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
objectTriggerOnUseOf :: Handler
objectTriggerOnEatOf :: Handler
objectTriggerOnDrinkOf :: Handler

Instances

Typeable * ObjectState
Tuplify ObjectState ObjectState
Indexable ObjectState ObjectId ObjectState
PredMask Feature (Titled ObjectState)
CallMask CatchObj (Cons (Titled ObjectState) Nil)

newtype ObjectT m a Source

The object monad. Used to create or modify objects.

Constructors

Object
Fields runObjectT :: ObjectState -> m (a, ObjectState)

Instances

MonadTrans ObjectT
ChChannelPrinter Bool m0 => ChChannelPrinter Bool (ObjectT m)
ChChannelPrinter Int m0 => ChChannelPrinter Int (ObjectT m)
ChChannelPrinter Handle m0 => ChChannelPrinter Handle (ObjectT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (ObjectT m)
MonadError SplErr m0 => MonadError SplErr (ObjectT m)
Monad m => Monad (ObjectT m)
Functor m => Functor (ObjectT m)
(Functor m, Monad m) => Applicative (ObjectT m)
ChHistoryEnv m0 => ChHistoryEnv (ObjectT m)
ChExpanderEnv m0 => ChExpanderEnv (ObjectT m)
ChExpand m0 => ChExpand (ObjectT m)
ChExtendedPrinter m0 => ChExtendedPrinter (ObjectT m)
(ChAtoms (ObjectT m0), ChFilesystem m0) => ChFilesystem (ObjectT m)
ChSpawn m0 => ChSpawn (ObjectT m)
ChPrinter m0 => ChPrinter (ObjectT m)
ChBufferedScanner m0 => ChBufferedScanner (ObjectT m)
ChScanner m0 => ChScanner (ObjectT m)
ChFinalizer m0 => ChFinalizer (ObjectT m)
ChClock m0 => ChClock (ObjectT m)
ChRandom m0 => ChRandom (ObjectT m)
ChAtoms m0 => ChAtoms (ObjectT m)
ChCounter m0 => ChCounter (ObjectT m)
MonadIO m0 => MonadIO (ObjectT m)
MonadVocab m0 => MonadVocab (ObjectT m)
Monad m => MonadObject (ObjectT m)
Monad m => OnUse (ObjectT m)
Monad m => OnEat (ObjectT m)
Monad m => OnDrink (ObjectT m)
Monad m => OnDie (ObjectT m)
Monad m => OnTakeDamage (ObjectT m)
Monad m => OnRoomLeave (ObjectT m)
Monad m => OnRoomEnter (ObjectT m)
Monad m => OnRead (ObjectT m)
Monad m => OnFirstInspection (ObjectT m)
Monad m => OnInspection (ObjectT m)
Monad m => OnFirstAcquire (ObjectT m)
Monad m => OnAcquire (ObjectT m)
Monad m => OnFirstSight (ObjectT m)
Monad m => OnSight (ObjectT m)
Monad m => OnAnnounce (ObjectT m)
Monad m => OnLookInto (ObjectT m)
Monad m => OnLook (ObjectT m)
Monad m => OnEnter (ObjectT m)
CanLoad m0 n0 => CanLoad (ObjectT m) n
CanSave m0 n0 => CanSave (ObjectT m) n
CanMount m0 n0 => CanMount (ObjectT m) n

class Monad m => MonadObject m where Source

Typeclass for all object monads

Methods

getObjectState :: m ObjectState Source

Get the object state

putObjectState :: ObjectState -> m () Source

Put the object state

Instances

MonadObject m0 => MonadObject (CounterT m)
MonadObject m0 => MonadObject (SplErrT m)
Monad m => MonadObject (ObjectT m)
MonadObject m0 => MonadObject (StereoBuilderT m)

Factions

data Faction Source

A faction

Constructors

Faction
Fields factionName :: !Text factionTriggerOnHostileOf :: Handler factionTriggerOnFriendlyOf :: Handler factionTriggerOnExaltedOf :: Handler

Instances

Tuplify Faction Faction

data Attitude Source

Constructors

Hostile
Friendly
Exalted

Instances

Eq Attitude
Ord Attitude
Tuplify Attitude Attitude

Currencies

data Currency Source

Currency descriptor (description and expander name)

Constructors

Currency
Fields currencyIdOf :: CurrencyId currencyDescOf :: String currencyNameOf :: String

Instances

Eq Currency
Ord Currency
Indexable Currency CurrencyId Currency

data CurrencyId Source

Phantom ID type for currencies

Constructors

Health
CurrencyId Int

Instances

Eq CurrencyId
Ord CurrencyId
Indexable Currency CurrencyId Currency

Fight

data DamageTarget Source

Target for attacks. May be a player or an object.

Constructors

TargetPlayer PlayerId
TargetObject ObjectId

Players

newtype PlayerId Source

Phantom ID type for players

Constructors

PlayerId Int

Instances

Eq PlayerId
Ord PlayerId
Tuplify PlayerId PlayerId
Indexable PlayerState PlayerId PlayerState
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (AnsiPrinterT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (HtmlPrinterT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (ExpanderT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (NullExpanderT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (RecorderT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (AtomStoreT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (CounterT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (SplErrT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (VocabT m)
ChChannelPrinter PlayerId m => ChBroadcaster PlayerId (DungeonT m)
(MonadDungeon m0, ChChannelPrinter PlayerId m0) => ChBroadcaster PlayerId (StereoBuilderT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (AnsiPrinterT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (HtmlPrinterT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (ExpanderT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (NullExpanderT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (RecorderT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (AtomStoreT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (CounterT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (SplErrT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (VocabT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (DungeonT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (PlayerT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (ObjectT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (RoomT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (StereoBuilderT m)
ChHistoryEnv m0 => ChHistoryEnv (PlayerFilterT m)
ChExpanderEnv m0 => ChExpanderEnv (PlayerFilterT m)
ChExpand m0 => ChExpand (PlayerFilterT m)
(ChAtoms (PlayerFilterT m0), ChFilesystem m0) => ChFilesystem (PlayerFilterT m)
ChSpawn m0 => ChSpawn (PlayerFilterT m)
ChScanner m0 => ChScanner (PlayerFilterT m)
ChFinalizer m0 => ChFinalizer (PlayerFilterT m)
ChClock m0 => ChClock (PlayerFilterT m)
ChRandom m0 => ChRandom (PlayerFilterT m)
ChAtoms m0 => ChAtoms (PlayerFilterT m)
ChCounter m0 => ChCounter (PlayerFilterT m)
MonadVocab m0 => MonadVocab (PlayerFilterT m)
CanLoad m0 n0 => CanLoad (PlayerFilterT m) n
CanSave m0 n0 => CanSave (PlayerFilterT m) n
CanMount m0 n0 => CanMount (PlayerFilterT m) n

data PlayerState Source

State type for PlayerT

Constructors

PlayerState

Fields

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
playerActiveQuestsOf :: AVL (Atom Quest, QuestRel)
playerAlcoholOf :: Int
playerSoberingActiveOf :: Bool

Instances

HasStats PlayerState
Indexable PlayerState PlayerId PlayerState

newtype PlayerT m a Source

The player monad. Used to create or modify players.

Constructors

Player
Fields runPlayerT :: PlayerState -> m (a, PlayerState)

Instances

MonadTrans PlayerT
ChChannelPrinter Bool m0 => ChChannelPrinter Bool (PlayerT m)
ChChannelPrinter Int m0 => ChChannelPrinter Int (PlayerT m)
ChChannelPrinter Handle m0 => ChChannelPrinter Handle (PlayerT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (PlayerT m)
MonadError SplErr m0 => MonadError SplErr (PlayerT m)
Monad m => Monad (PlayerT m)
Functor m => Functor (PlayerT m)
(Functor m, Monad m) => Applicative (PlayerT m)
ChHistoryEnv m0 => ChHistoryEnv (PlayerT m)
ChExpanderEnv m0 => ChExpanderEnv (PlayerT m)
ChExpand m0 => ChExpand (PlayerT m)
ChExtendedPrinter m0 => ChExtendedPrinter (PlayerT m)
(ChAtoms (PlayerT m0), ChFilesystem m0) => ChFilesystem (PlayerT m)
ChSpawn m0 => ChSpawn (PlayerT m)
ChPrinter m0 => ChPrinter (PlayerT m)
ChBufferedScanner m0 => ChBufferedScanner (PlayerT m)
ChScanner m0 => ChScanner (PlayerT m)
ChFinalizer m0 => ChFinalizer (PlayerT m)
ChClock m0 => ChClock (PlayerT m)
ChRandom m0 => ChRandom (PlayerT m)
ChAtoms m0 => ChAtoms (PlayerT m)
ChCounter m0 => ChCounter (PlayerT m)
MonadIO m0 => MonadIO (PlayerT m)
MonadVocab m0 => MonadVocab (PlayerT m)
Monad m => MonadPlayer (PlayerT m)
Monad m => HasStatsM (PlayerT m)
CanLoad m0 n0 => CanLoad (PlayerT m) n
CanSave m0 n0 => CanSave (PlayerT m) n
CanMount m0 n0 => CanMount (PlayerT m) n

class Monad m => MonadPlayer m where Source

Typeclass for all player monads.

Minimal complete definition

getPlayerState, putPlayerState

Methods

getPlayerState :: m PlayerState Source

Get the player state.

putPlayerState :: PlayerState -> m () Source

Put the player state.

modifyPlayerState :: (PlayerState -> PlayerState) -> m () Source

Modify the player state.

Instances

MonadPlayer m0 => MonadPlayer (AnsiPrinterT m)
MonadPlayer m0 => MonadPlayer (HtmlPrinterT m)
MonadPlayer m0 => MonadPlayer (ExpanderT m)
MonadPlayer m0 => MonadPlayer (NullExpanderT m)
MonadPlayer m0 => MonadPlayer (RecorderT m)
MonadPlayer m0 => MonadPlayer (AtomStoreT m)
MonadPlayer m0 => MonadPlayer (CounterT m)
MonadPlayer m0 => MonadPlayer (SplErrT m)
MonadPlayer m0 => MonadPlayer (VocabT m)
Monad m => MonadPlayer (DungeonT m)
Monad m => MonadPlayer (PlayerT m)
MonadPlayer m0 => MonadPlayer (StereoBuilderT m)

Stereotypes

data PlayerStereo Source

A player stereotype

Constructors

PlayerStereo
Fields stereoCalcStatBonus :: (StatKey -> Int) -> StatKey -> Int stereoSkillBonus :: String -> Maybe Invokable stereoRecipeBonus :: String -> Maybe (RecipeMethod -> Invokable)

Instances

Monoid PlayerStereo
None PlayerStereo
Typeable * PlayerStereo

data CooldownId Source

Phantom ID type for cooldowns

Constructors

GlobalCooldown
CooldownId Int

Instances

Eq CooldownId
Ord CooldownId
Indexable CooldownId CooldownId CooldownId

data GetterResponse Source

Response of an object getter

Constructors

Found ObjectState
TooMany
NoneFound

Instances

None GetterResponse

type Invokable = [String] -> HandlerBox Source

Some handler that may be invoked by the user

type InvokableP = [String] -> PredicateBox Source

Some prerequisite that may be invoked by the user

data RecipeMethod Source

Method of using recipes

Constructors

RecipeMethod Int

Instances

Eq RecipeMethod
Ord RecipeMethod

Dungeons

data DungeonState Source

State type for DungeonT

Constructors

DungeonState
Fields roomsOf :: Graph RoomState Direction PathState playersOf :: Focus PlayerState timeTriggersOf :: AVL (NominalDiffTime, HandlerBox) currenciesOf :: AVL Currency

Instances

None DungeonState

currentRoomOf :: DungeonState -> Maybe NodeId Source

For compatibility. Earlier versions of DungeonT had a field for that.

playerOf :: DungeonState -> Maybe PlayerState Source

For compatibility. Earlier versions of DungeonT had a field for that.

newtype DungeonT m a Source

The dungeon monad. Everything runs inside this.

Constructors

Dungeon
Fields runDungeonT :: DungeonState -> m (a, DungeonState)

Instances

MonadTrans DungeonT
ChChannelPrinter PlayerId m => ChBroadcaster PlayerId (DungeonT m)
ChChannelPrinter Bool m0 => ChChannelPrinter Bool (DungeonT m)
ChChannelPrinter Int m0 => ChChannelPrinter Int (DungeonT m)
ChChannelPrinter Handle m0 => ChChannelPrinter Handle (DungeonT m)
ChChannelPrinter PlayerId m0 => ChChannelPrinter PlayerId (DungeonT m)
MonadError SplErr m0 => MonadError SplErr (DungeonT m)
Monad m => Monad (DungeonT m)
Functor m => Functor (DungeonT m)
(Functor m, Monad m) => Applicative (DungeonT m)
ChHistoryEnv m0 => ChHistoryEnv (DungeonT m)
ChExpanderEnv m0 => ChExpanderEnv (DungeonT m)
(Functor m, ChExpand m) => ChExpand (DungeonT m)
ChExtendedPrinter m0 => ChExtendedPrinter (DungeonT m)
ChPrinter m0 => ChPrinter (DungeonT m)
ChScanner m0 => ChScanner (DungeonT m)
ChFinalizer m0 => ChFinalizer (DungeonT m)
ChClock m0 => ChClock (DungeonT m)
ChRandom m0 => ChRandom (DungeonT m)
ChAtoms m0 => ChAtoms (DungeonT m)
ChCounter m0 => ChCounter (DungeonT m)
MonadIO m0 => MonadIO (DungeonT m)
MonadVocab m0 => MonadVocab (DungeonT m)
Monad m => MonadDungeon (DungeonT m)
Monad m => MonadPlayer (DungeonT m)
Monad m => MonadRoom (DungeonT m)

class (MonadRoom m, MonadPlayer m) => MonadDungeon m where Source

Typeclass for all dungeon monads.

Minimal complete definition

getDungeonState, putDungeonState

Methods

getDungeonState :: m DungeonState Source

Get the dungeon state.

putDungeonState :: DungeonState -> m () Source

Put the dungeon state.

lowerDungeon :: DungeonT m a -> m a Source

Lower a given DungeonT function

Instances

MonadDungeon m0 => MonadDungeon (AnsiPrinterT m)
MonadDungeon m0 => MonadDungeon (HtmlPrinterT m)
MonadDungeon m0 => MonadDungeon (ExpanderT m)
MonadDungeon m0 => MonadDungeon (NullExpanderT m)
MonadDungeon m0 => MonadDungeon (RecorderT m)
MonadDungeon m0 => MonadDungeon (AtomStoreT m)
MonadDungeon m0 => MonadDungeon (CounterT m)
MonadDungeon m0 => MonadDungeon (SplErrT m)
MonadDungeon m0 => MonadDungeon (VocabT m)
Monad m => MonadDungeon (DungeonT m)
MonadDungeon m0 => MonadDungeon (StereoBuilderT m)