Game.Antisplice.Call

Provides a powerful language for user input evaluation

Heterogenous list

data Cons a b

The Cons type for a heterogenous list

Constructors

:-: a b

Instances

CallMask CatchObj (Cons ObjectState Nil)

CallMask Remaining (Cons [String] Nil)

CallMask CatchOrd (Cons Int Nil)

CallMask CatchToken (Cons Token Nil)

CallMask CatchByType (Cons String Nil)

Tuplify (Cons a Nil) a

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

Append b c bc => Append (Cons a b) c (Cons a bc)

Tuplify (Cons a (Cons b Nil)) (a, b)

Tuplify (Cons a (Cons b (Cons c Nil))) (a, b, c)

Tuplify (Cons a (Cons b (Cons c (Cons d Nil)))) (a, b, c, d)

Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e Nil))))) (a, b, c, d, e)

Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil)))))) (a, b, c, d, e, f)

data Nil

The empty list

Constructors

Nil

Instances

Tuplify Nil ()

CallMask String Nil

CallMask Token Nil

CallMask EnsureLineEnd Nil

CallMask Nil Nil

Append Nil b b

CallMask CatchObj (Cons ObjectState Nil)

CallMask Remaining (Cons [String] Nil)

CallMask CatchOrd (Cons Int Nil)

CallMask CatchToken (Cons Token Nil)

CallMask CatchByType (Cons String Nil)

Tuplify (Cons a Nil) a

Tuplify (Cons a (Cons b Nil)) (a, b)

Tuplify (Cons a (Cons b (Cons c Nil))) (a, b, c)

Tuplify (Cons a (Cons b (Cons c (Cons d Nil)))) (a, b, c, d)

Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e Nil))))) (a, b, c, d, e)

Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil)))))) (a, b, c, d, e, f)

class Append a b ab | a b -> ab where

Typeclass for appending one heterogenous list to another one

Methods

tappend :: a -> b -> ab

Instances

Append Nil b b

Append b c bc => Append (Cons a b) c (Cons a bc)

class Tuplify l t | l -> t where

Typeclass for everything that may be converted to a tuple

Methods

tuplify :: l -> t

Instances

Tuplify Int Int

Tuplify String String

Tuplify ObjectState ObjectState

Tuplify Nil ()

Tuplify (Cons a Nil) a

Tuplify (Cons a (Cons b Nil)) (a, b)

Tuplify (Cons a (Cons b (Cons c Nil))) (a, b, c)

Tuplify (Cons a (Cons b (Cons c (Cons d Nil)))) (a, b, c, d)

Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e Nil))))) (a, b, c, d, e)

Tuplify (Cons a (Cons b (Cons c (Cons d (Cons e (Cons f Nil)))))) (a, b, c, d, e, f)

Using call masks

processMask :: (CallMask m 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 r Nil r, CallMask m r) => m -> [String] -> DungeonM Bool

Try to use a mask on a list of tokens. Only return whether it succeeded.

Call mask segments

class CallMask cm l | cm -> l where

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

Methods

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

Instances

CallMask String Nil

CallMask Token Nil

CallMask EnsureLineEnd Nil

CallMask Nil Nil

CallMask CatchObj (Cons ObjectState Nil)

CallMask Remaining (Cons [String] Nil)

CallMask CatchOrd (Cons Int Nil)

CallMask CatchToken (Cons Token Nil)

CallMask CatchByType (Cons String Nil)

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

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 ObjectState Nil)