Documentation

data Message Source

tMessage :: Type a Message Source

accept :: Message -> Maybe Bool Source

text :: Message -> Text Source

onefirsttext :: Script -> State a -> Maybe String -> (Message, Maybe (State a)) Source

submittext :: Script -> State a -> String -> (Message, State a) Source

derivationtext :: Script -> State a -> Either String (Derivation String (Context a)) Source

feedbacktext :: Script -> State a -> Context a -> Maybe Id -> (Message, State a) Source