haskell-tools-demo-0.8.0.0: A web-based demo for Haskell-tools Refactor.

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Tools.Demo

Synopsis

Documentation

type ClientId = Int #

runDemo :: [String] -> IO () #

app :: MVar [Int] -> FilePath -> Application #

The application that is evoked for each incoming request

updateClient :: FilePath -> ClientMessage -> StateT RefactorSessionState Ghc (Maybe ResponseMsg) #

This function does the real job of acting upon client messages in a stateful environment of a client

handleErrors :: FilePath -> ClientMessage -> (ResponseMsg -> IO ()) -> IO () -> IO () #

data ClientMessage #

Instances

Show ClientMessage # 
Generic ClientMessage # 

Associated Types

type Rep ClientMessage :: * -> * #

FromJSON ClientMessage # 
type Rep ClientMessage # 

data ResponseMsg #

Instances

Show ResponseMsg # 
Generic ResponseMsg # 

Associated Types

type Rep ResponseMsg :: * -> * #

ToJSON ResponseMsg # 
type Rep ResponseMsg # 
type Rep ResponseMsg = D1 (MetaData "ResponseMsg" "Language.Haskell.Tools.Demo" "haskell-tools-demo-0.8.0.0-LCp2WcwOfX2GAIAUD1PCKB" False) ((:+:) ((:+:) (C1 (MetaCons "RefactorChanges" PrefixI True) (S1 (MetaSel (Just Symbol "moduleChanges") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(String, Maybe String)]))) (C1 (MetaCons "ASTViewContent" PrefixI True) (S1 (MetaSel (Just Symbol "astContent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "ErrorMessage" PrefixI True) (S1 (MetaSel (Just Symbol "errorMsg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "CompilationProblem" PrefixI True) (S1 (MetaSel (Just Symbol "errorMsg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "Disconnected" PrefixI False) U1))))