Game.Antisplice.Call

Provides a powerful language for user input evaluation

Using call masks

processMask :: (Append m (Cons EnsureLineEnd Nil) s, CallMask s r, Append r Nil r, Tuplify r t) => m -> [String] -> DungeonM t

Use a mask on a list of tokens and tuplify the result. Dispatch errors to the underlying monad.

tryMask :: (Append m (Cons EnsureLineEnd Nil) s, Append r Nil r, CallMask s r) => m -> [String] -> DungeonM (Either ReError r)

Try to use a mask on a list of tokens.

Mask classes

class CallMask cm l | cm -> l where

Typeclass for input masks (either single modules or lists of modules)

Methods

usemask :: (MonadRoom m, MonadPlayer m) => cm -> StateT [(String, Token)] m (Either ReError l)

verbosemask :: cm -> String

Instances

CallMask String Nil

CallMask Nil Nil

CallMask Token Nil

CallMask Ignore Nil

CallMask EnsureLineEnd Nil

CallMask CatchObj (Cons (Titled ObjectState) Nil)

CallMask Remaining (Cons [String] Nil)

CallMask CatchOrd (Cons Int Nil)

CallMask CatchToken (Cons Token Nil)

CallMask CatchByType (Cons String Nil)

(CallMask a ar, IntoMaybe ar am, Append am Nil am) => CallMask (Optional a) am

(CallMask a r, Append (Cons a Nil) r ar) => CallMask (Which a) ar

(CallMask x r, CallMask xs rs, Append r rs rx) => CallMask (Cons x xs) rx

class PredMask rm im where

Typeclass for evaluation result predicate masks

Methods

usepmask :: rm -> im -> ChattyDungeonM (Maybe ReError)

Instances

PredMask String String

PredMask Nil Nil

PredMask Ignore a

PredMask Feature (Titled ObjectState)

PredMask (x -> Maybe ReError) x

PredMask (x -> PrerequisiteBox, String) x

PredMask (x -> Bool, String) x

(PredMask r i, PredMask rs is) => PredMask (Cons r rs) (Cons i is)

class PostMask pm im rm | pm im -> rm where

Typeclass for evaluation result post-processing masks

Methods

usepost :: pm -> im -> ChattyDungeonM rm

Instances

PostMask Nil Nil Nil

PostMask Ignore a Nil

PostMask Pass a (Cons a Nil)

PostMask (a -> b) a (Cons b Nil)

PostMask (a -> b) (Titled a) (Cons b Nil)

(PostMask m i r, PostMask ms is rs, Append r rs rx) => PostMask (Cons m ms) (Cons i is) rx

class CombiMask cm rm pm pom | cm rm -> pm pom where

Typeclass for evaluation result combi masks

Methods

ctopred :: cm -> rm -> pm

ctopost :: cm -> rm -> pom

Instances

CombiMask Nil Nil Nil Nil

CombiMask Pass a Ignore Pass

CombiMask Ignore a Ignore Ignore

CombiMask (a -> Either ReError b) a (a -> Maybe ReError) (a -> b)

CombiMask (a -> Maybe b, String) a (a -> Bool, String) (a -> b)

(CombiMask m i p po, CombiMask ms is ps pos) => CombiMask (Cons m ms) (Cons i is) (Cons p ps) (Cons po pos)

Mask segments

data EnsureLineEnd

Ensures that the end of the input is reached

Constructors

EnsureLineEnd

Instances

CallMask EnsureLineEnd Nil

data CatchByType

Catches the string of a token matching the given token type

Constructors

CatchVerb

CatchPrep

CatchNoun

CatchAdj

CatchOrdn Int

CatchFixe

CatchSkilln

CatchUnint

CatchAny

Instances

CallMask CatchByType (Cons String Nil)

data CatchToken

Catches an entire token

Constructors

CatchToken

CatchNounc

Instances

CallMask CatchToken (Cons Token Nil)

data CatchOrd

Catches the number of an Ordn token

Constructors

CatchOrd

Instances

CallMask CatchOrd (Cons Int Nil)

data Remaining

Catches the remaining part of the line

Constructors

Remaining

Instances

CallMask Remaining (Cons [String] Nil)

data CatchObj

Catches an available, carried or seen object

Constructors

AvailableObject

SeenObject

CarriedObject

Instances

CallMask CatchObj (Cons (Titled ObjectState) Nil)

data Which a

Provide multiple alternatives and catch the first matching one as well as its result

Constructors

Which [a]

Instances

(CallMask a r, Append (Cons a Nil) r ar) => CallMask (Which a) ar

data Optional a

Provide an optional mask part

Constructors

Optional a

Instances

(CallMask a ar, IntoMaybe ar am, Append am Nil am) => CallMask (Optional a) am

data Ignore

Ignore a token or result

Constructors

Ignore

Instances

PredMask Ignore a

CallMask Ignore Nil

PostMask Ignore a Nil

CombiMask Pass a Ignore Pass

CombiMask Ignore a Ignore Ignore

data Pass

Pass-through a result

Constructors

Pass

Instances

CombiMask Pass a Ignore Pass

PostMask Pass a (Cons a Nil)