Safe Haskell	None
Language	Haskell2010

Language.Haskell.Ghcid

Description

Library for spawning and working with Ghci sessions.

Synopsis

data Ghci
data GhciError = UnexpectedExit String String
data Stream
- = Stdout
- | Stderr
data Load
- = Loading {
  - loadModule :: String
  - loadFile :: FilePath
  }
- | Message {
  - loadSeverity :: Severity
  - loadFile :: FilePath
  - loadFilePos :: (Int, Int)
  - loadFilePosEnd :: (Int, Int)
  - loadMessage :: [String]
  }
- | LoadConfig {
  - loadFile :: FilePath
  }
data Severity
- = Warning
- | Error
startGhci :: String -> Maybe FilePath -> (Stream -> String -> IO ()) -> IO (Ghci, [Load])
startGhciProcess :: CreateProcess -> (Stream -> String -> IO ()) -> IO (Ghci, [Load])
stopGhci :: Ghci -> IO ()
interrupt :: Ghci -> IO ()
process :: Ghci -> ProcessHandle
execStream :: Ghci -> String -> (Stream -> String -> IO ()) -> IO ()
showModules :: Ghci -> IO [(String, FilePath)]
showPaths :: Ghci -> IO (FilePath, [FilePath])
reload :: Ghci -> IO [Load]
exec :: Ghci -> String -> IO [String]
quit :: Ghci -> IO ()

Documentation

data Ghci Source #

A GHCi session. Created with startGhci, closed with stopGhci.

The interactions with a Ghci session must all occur single-threaded, or an error will be raised. The only exception is interrupt, which aborts a running computation, or does nothing if no computation is running.

Instances

Eq Ghci Source #
Instance details Defined in Language.Haskell.Ghcid Methods (==) :: Ghci -> Ghci -> Bool # (/=) :: Ghci -> Ghci -> Bool #

data GhciError Source #

GHCi shut down

Constructors

UnexpectedExit String String

Instances

Eq GhciError Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods (==) :: GhciError -> GhciError -> Bool # (/=) :: GhciError -> GhciError -> Bool #
Data GhciError Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GhciError -> c GhciError # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GhciError # toConstr :: GhciError -> Constr # dataTypeOf :: GhciError -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GhciError) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GhciError) # gmapT :: (forall b. Data b => b -> b) -> GhciError -> GhciError # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GhciError -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GhciError -> r # gmapQ :: (forall d. Data d => d -> u) -> GhciError -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GhciError -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GhciError -> m GhciError # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GhciError -> m GhciError # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GhciError -> m GhciError #
Ord GhciError Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods compare :: GhciError -> GhciError -> Ordering # (<) :: GhciError -> GhciError -> Bool # (<=) :: GhciError -> GhciError -> Bool # (>) :: GhciError -> GhciError -> Bool # (>=) :: GhciError -> GhciError -> Bool # max :: GhciError -> GhciError -> GhciError # min :: GhciError -> GhciError -> GhciError #
Show GhciError Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods showsPrec :: Int -> GhciError -> ShowS # show :: GhciError -> String # showList :: [GhciError] -> ShowS #
Exception GhciError Source #	Make GhciError an exception
Instance details Defined in Language.Haskell.Ghcid.Types Methods toException :: GhciError -> SomeException # fromException :: SomeException -> Maybe GhciError # displayException :: GhciError -> String #

data Stream Source #

The stream Ghci is talking over.

Constructors

Stdout
Stderr

Instances

Bounded Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods minBound :: Stream # maxBound :: Stream #
Enum Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods succ :: Stream -> Stream # pred :: Stream -> Stream # toEnum :: Int -> Stream # fromEnum :: Stream -> Int # enumFrom :: Stream -> [Stream] # enumFromThen :: Stream -> Stream -> [Stream] # enumFromTo :: Stream -> Stream -> [Stream] # enumFromThenTo :: Stream -> Stream -> Stream -> [Stream] #
Eq Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods (==) :: Stream -> Stream -> Bool # (/=) :: Stream -> Stream -> Bool #
Data Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stream -> c Stream # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stream # toConstr :: Stream -> Constr # dataTypeOf :: Stream -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stream) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stream) # gmapT :: (forall b. Data b => b -> b) -> Stream -> Stream # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stream -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stream -> r # gmapQ :: (forall d. Data d => d -> u) -> Stream -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Stream -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stream -> m Stream # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stream -> m Stream # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stream -> m Stream #
Ord Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods compare :: Stream -> Stream -> Ordering # (<) :: Stream -> Stream -> Bool # (<=) :: Stream -> Stream -> Bool # (>) :: Stream -> Stream -> Bool # (>=) :: Stream -> Stream -> Bool # max :: Stream -> Stream -> Stream # min :: Stream -> Stream -> Stream #
Read Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods readsPrec :: Int -> ReadS Stream # readList :: ReadS [Stream] # readPrec :: ReadPrec Stream # readListPrec :: ReadPrec [Stream] #
Show Stream Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods showsPrec :: Int -> Stream -> ShowS # show :: Stream -> String # showList :: [Stream] -> ShowS #

data Load Source #

Load messages

Constructors

Loading	A module/file was being loaded.
Fields loadModule :: String The module that was being loaded, `Foo.Bar`. loadFile :: FilePath The file that was being loaded, `Foo/Bar.hs`.
Message	An error/warning was emitted.
Fields loadSeverity :: Severity The severity of the message, either `Warning` or `Error`. loadFile :: FilePath The file that was being loaded, `Foo/Bar.hs`. loadFilePos :: (Int, Int) The position in the file, `(line,col)`, both 1-based. Uses `(0,0)` for no position information. loadFilePosEnd :: (Int, Int) The end position in the file, `(line,col)`, both 1-based. If not present will be the same as `loadFilePos`. loadMessage :: [String] The message, split into separate lines, may contain ANSI Escape codes.
LoadConfig	A config file was loaded, usually a .ghci file (GHC 8.2 and above only)
Fields loadFile :: FilePath The file that was being loaded, `Foo/Bar.hs`.

Instances

Eq Load Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods (==) :: Load -> Load -> Bool # (/=) :: Load -> Load -> Bool #
Ord Load Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods compare :: Load -> Load -> Ordering # (<) :: Load -> Load -> Bool # (<=) :: Load -> Load -> Bool # (>) :: Load -> Load -> Bool # (>=) :: Load -> Load -> Bool # max :: Load -> Load -> Load # min :: Load -> Load -> Load #
Show Load Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods showsPrec :: Int -> Load -> ShowS # show :: Load -> String # showList :: [Load] -> ShowS #

data Severity Source #

Severity of messages

Constructors

Warning
Error

Instances

Bounded Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods minBound :: Severity # maxBound :: Severity #
Enum Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods succ :: Severity -> Severity # pred :: Severity -> Severity # toEnum :: Int -> Severity # fromEnum :: Severity -> Int # enumFrom :: Severity -> [Severity] # enumFromThen :: Severity -> Severity -> [Severity] # enumFromTo :: Severity -> Severity -> [Severity] # enumFromThenTo :: Severity -> Severity -> Severity -> [Severity] #
Eq Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods (==) :: Severity -> Severity -> Bool # (/=) :: Severity -> Severity -> Bool #
Data Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Severity -> c Severity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Severity # toConstr :: Severity -> Constr # dataTypeOf :: Severity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Severity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Severity) # gmapT :: (forall b. Data b => b -> b) -> Severity -> Severity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Severity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Severity -> r # gmapQ :: (forall d. Data d => d -> u) -> Severity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Severity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Severity -> m Severity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Severity -> m Severity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Severity -> m Severity #
Ord Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods compare :: Severity -> Severity -> Ordering # (<) :: Severity -> Severity -> Bool # (<=) :: Severity -> Severity -> Bool # (>) :: Severity -> Severity -> Bool # (>=) :: Severity -> Severity -> Bool # max :: Severity -> Severity -> Severity # min :: Severity -> Severity -> Severity #
Read Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods readsPrec :: Int -> ReadS Severity # readList :: ReadS [Severity] # readPrec :: ReadPrec Severity # readListPrec :: ReadPrec [Severity] #
Show Severity Source #
Instance details Defined in Language.Haskell.Ghcid.Types Methods showsPrec :: Int -> Severity -> ShowS # show :: Severity -> String # showList :: [Severity] -> ShowS #

startGhci Source #

Arguments

:: String	Shell command
-> Maybe FilePath	Working directory
-> (Stream -> String -> IO ())	Output callback
-> IO (Ghci, [Load])

Start GHCi by running the given shell command, a helper around startGhciProcess.

startGhciProcess :: CreateProcess -> (Stream -> String -> IO ()) -> IO (Ghci, [Load]) Source #

Start GHCi by running the described process, returning the result of the initial loading. If you do not call stopGhci then the underlying process may be leaked. The callback will be given the messages produced while loading, useful if invoking something like "cabal repl" which might compile dependent packages before really loading.

To create a CreateProcess use the functions in System.Process, particularly shell and proc.

Since: 0.6.11

stopGhci :: Ghci -> IO () Source #

Stop GHCi. Attempts to interrupt and execute :quit:, but if that doesn't complete within 5 seconds it just terminates the process.

interrupt :: Ghci -> IO () Source #

Interrupt Ghci, stopping the current computation (if any), but leaving the process open to new input.

process :: Ghci -> ProcessHandle Source #

Obtain the progress handle behind a GHCi instance.

execStream :: Ghci -> String -> (Stream -> String -> IO ()) -> IO () Source #

Execute a command, calling a callback on each response. The callback will be called single threaded.

showModules :: Ghci -> IO [(String, FilePath)] Source #

List the modules currently loaded, with module name and source file.

showPaths :: Ghci -> IO (FilePath, [FilePath]) Source #

Return the current working directory, and a list of module import paths

reload :: Ghci -> IO [Load] Source #

Perform a reload, list the messages that reload generated.

exec :: Ghci -> String -> IO [String] Source #

Send a command, get lines of result. Must be called single-threaded.

quit :: Ghci -> IO () Source #

Send :quit and wait for the process to quit.