>
>
>
>
>
>
>
>
>
>
>
> module Ivor.ShellState(ShellState(..)) where
> import Ivor.TT as TT
> import Text.ParserCombinators.Parsec
> data ShellState = Shell {
> repldata :: Maybe (String, String, String),
> prompt :: String,
> finished :: Bool,
> context :: !Context,
>
> response :: String,
> usertactics :: [(String, String -> Goal -> Context -> TTM Context)],
> usercommands :: [(String, String -> Context -> IO (String, Context))],
> imported :: [String],
> extensions :: Maybe (Parser ViewTerm),
>
> modulePath :: [FilePath]
> }