-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Test interactive Haskell examples
--   
--   The doctest program checks examples in source code comments. It is
--   modeled after doctest for Python
--   (<a>https://docs.python.org/3/library/doctest.html</a>).
--   
--   Documentation is at
--   <a>https://github.com/martijnbastiaan/doctest-parallel#readme</a>.
@package doctest-parallel
@version 0.2

module Language.Haskell.GhciWrapper
data Interpreter
data Config
Config :: String -> Bool -> Bool -> Config
[configGhci] :: Config -> String
[configVerbose] :: Config -> Bool
[configIgnoreDotGhci] :: Config -> Bool
defaultConfig :: Config
new :: Config -> [String] -> IO Interpreter
close :: Interpreter -> IO ()

-- | Evaluate an expression
eval :: Interpreter -> String -> IO String

-- | Like <a>eval</a>, but try to preserve the <tt>it</tt> variable
evalIt :: Interpreter -> String -> IO String

-- | Evaluate an expression
evalEcho :: Interpreter -> String -> IO String
instance GHC.Show.Show Language.Haskell.GhciWrapper.Config
instance GHC.Classes.Eq Language.Haskell.GhciWrapper.Config

module Test.DocTest.Helpers
data Library
Library :: [FilePath] -> [ModuleName] -> [Extension] -> Library
[libSourceDirectories] :: Library -> [FilePath]
[libModules] :: Library -> [ModuleName]
[libDefaultExtensions] :: Library -> [Extension]

-- | Convert a <a>Library</a> to arguments suitable to be passed to GHCi.
libraryToGhciArgs :: Library -> ([String], [String], [String])

-- | Drop a number of elements from the end of the list.
--   
--   <pre>
--   dropEnd 3 "hello"  == "he"
--   dropEnd 5 "bye"    == ""
--   dropEnd (-1) "bye" == "bye"
--   \i xs -&gt; dropEnd i xs `isPrefixOf` xs
--   \i xs -&gt; length (dropEnd i xs) == max 0 (length xs - max 0 i)
--   \i -&gt; take 3 (dropEnd 5 [i..]) == take 3 [i..]
--   </pre>
dropEnd :: Int -> [a] -> [a]
findCabalPackage :: HasCallStack => String -> IO FilePath
compatPrettyShow :: FilePath -> FilePath
extractSpecificCabalLibrary :: Maybe String -> FilePath -> IO Library
extractCabalLibrary :: FilePath -> IO Library
instance GHC.Show.Show Test.DocTest.Helpers.Library

module Test.DocTest.Internal.GhcUtil

-- | Run a GHC action in Haddock mode
withGhc :: [String] -> ([String] -> Ghc a) -> IO a

module Test.DocTest.Internal.Interpreter
data Interpreter

-- | Evaluate an expression; return a Left value on exceptions.
--   
--   An exception may e.g. be caused on unterminated multiline expressions.
safeEval :: Interpreter -> String -> IO (Either String String)
safeEvalIt :: Interpreter -> String -> IO (Either String String)

-- | Run an interpreter session.
--   
--   Example:
--   
--   <pre>
--   &gt;&gt;&gt; withInterpreter [] $ \i -&gt; eval i "23 + 42"
--   "65\n"
--   </pre>
withInterpreter :: [String] -> (Interpreter -> IO a) -> IO a
ghc :: FilePath
interpreterSupported :: IO Bool
ghcInfo :: IO [(String, String)]
haveInterpreterKey :: String

module Test.DocTest.Internal.Location

-- | A thing with a location attached.
data Located a
Located :: Location -> a -> Located a

-- | Convert a GHC located thing to a located thing.
toLocated :: Located a -> Located a

-- | Discard location information.
unLoc :: Located a -> a

-- | Add dummy location information.
noLocation :: a -> Located a

-- | A line number.
type Line = Int

-- | A combination of file name and line number.
data Location
UnhelpfulLocation :: String -> Location
Location :: FilePath -> Line -> Location

-- | Create a list from a location, by repeatedly increasing the line
--   number by one.
enumerate :: Location -> [Location]

-- | Convert a GHC source span to a location.
toLocation :: SrcSpan -> Location
instance GHC.Classes.Eq Test.DocTest.Internal.Location.Location
instance GHC.Base.Functor Test.DocTest.Internal.Location.Located
instance GHC.Show.Show a => GHC.Show.Show (Test.DocTest.Internal.Location.Located a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Test.DocTest.Internal.Location.Located a)
instance Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Test.DocTest.Internal.Location.Located a)
instance GHC.Show.Show Test.DocTest.Internal.Location.Location
instance Control.DeepSeq.NFData Test.DocTest.Internal.Location.Location

module Test.DocTest.Internal.Options
usage :: String
version :: String
ghcVersion :: String
versionInfo :: String
info :: String
data Result a
ResultStderr :: String -> Result a
ResultStdout :: String -> Result a
Result :: a -> Result a
type Warning = String
type ModuleName = String
data Config
Config :: Bool -> Bool -> [ModuleName] -> Maybe Int -> Config

-- | Preserve the <tt>it</tt> variable between examples (default:
--   <tt>False</tt>)
[cfgPreserveIt] :: Config -> Bool

-- | Verbose output (default: <tt>False</tt>)
[cfgVerbose] :: Config -> Bool

-- | Module names to test
[cfgModules] :: Config -> [ModuleName]

-- | Number of threads to use. Defaults to autodetection based on the
--   number of cores.
[cfgThreads] :: Config -> Maybe Int
defaultConfig :: Config
parseOptions :: [String] -> Result Config
parseThreads :: String -> Maybe Int

-- | Parse a flag into its flag and argument component.
--   
--   Example:
--   
--   <pre>
--   &gt;&gt;&gt; parseFlag "--optghc=foo"
--   ("--optghc",Just "foo")
--   
--   &gt;&gt;&gt; parseFlag "--optghc="
--   ("--optghc",Nothing)
--   
--   &gt;&gt;&gt; parseFlag "--fast"
--   ("--fast",Nothing)
--   </pre>
parseFlag :: String -> (String, Maybe String)
instance GHC.Base.Functor Test.DocTest.Internal.Options.Result
instance GHC.Show.Show a => GHC.Show.Show (Test.DocTest.Internal.Options.Result a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Test.DocTest.Internal.Options.Result a)
instance GHC.Classes.Eq Test.DocTest.Internal.Options.Config
instance GHC.Show.Show Test.DocTest.Internal.Options.Config

module Test.DocTest.Internal.Util
convertDosLineEndings :: String -> String

-- | Return the longest suffix of elements that satisfy a given predicate.
takeWhileEnd :: (a -> Bool) -> [a] -> [a]

-- | Remove trailing white space from a string.
--   
--   <pre>
--   &gt;&gt;&gt; stripEnd "foo   "
--   "foo"
--   </pre>
stripEnd :: String -> String

module Test.DocTest.Internal.Extract

-- | Documentation for a module grouped together with the modules name.
data Module a
Module :: String -> Maybe a -> [a] -> Module a
[moduleName] :: Module a -> String
[moduleSetup] :: Module a -> Maybe a
[moduleContent] :: Module a -> [a]

-- | Extract all docstrings from given list of files/modules.
--   
--   This includes the docstrings of all local modules that are imported
--   from those modules (possibly indirect).
extract :: [String] -> IO [Module (Located String)]
instance GHC.Show.Show a => GHC.Show.Show (Test.DocTest.Internal.Extract.Module a)
instance GHC.Base.Functor Test.DocTest.Internal.Extract.Module
instance GHC.Classes.Eq a => GHC.Classes.Eq (Test.DocTest.Internal.Extract.Module a)
instance Control.DeepSeq.NFData a => Control.DeepSeq.NFData (Test.DocTest.Internal.Extract.Module a)
instance GHC.Show.Show Test.DocTest.Internal.Extract.ExtractError
instance GHC.Exception.Type.Exception Test.DocTest.Internal.Extract.ExtractError

module Test.DocTest.Internal.Parse

-- | Documentation for a module grouped together with the modules name.
data Module a
Module :: String -> Maybe a -> [a] -> Module a
[moduleName] :: Module a -> String
[moduleSetup] :: Module a -> Maybe a
[moduleContent] :: Module a -> [a]
data DocTest
Example :: Expression -> ExpectedResult -> DocTest
Property :: Expression -> DocTest
type Interaction = (Expression, ExpectedResult)
type Expression = String
type ExpectedResult = [ExpectedLine]
data ExpectedLine
ExpectedLine :: [LineChunk] -> ExpectedLine
WildCardLine :: ExpectedLine
data LineChunk
LineChunk :: String -> LineChunk
WildCardChunk :: LineChunk

-- | Extract <a>DocTest</a>s from all given modules and all modules
--   included by the given modules.
getDocTests :: [String] -> IO [Module [Located DocTest]]

-- | Extract all interactions from given Haddock comment.
parseInteractions :: Located String -> [Located Interaction]

-- | Extract all properties from given Haddock comment.
parseProperties :: Located String -> [Located Expression]
mkLineChunks :: String -> [LineChunk]
instance GHC.Classes.Eq Test.DocTest.Internal.Parse.LineChunk
instance GHC.Show.Show Test.DocTest.Internal.Parse.LineChunk
instance GHC.Classes.Eq Test.DocTest.Internal.Parse.ExpectedLine
instance GHC.Show.Show Test.DocTest.Internal.Parse.ExpectedLine
instance GHC.Show.Show Test.DocTest.Internal.Parse.DocTest
instance GHC.Classes.Eq Test.DocTest.Internal.Parse.DocTest
instance Data.String.IsString Test.DocTest.Internal.Parse.ExpectedLine
instance Data.String.IsString Test.DocTest.Internal.Parse.LineChunk

module Test.DocTest.Internal.Runner.Example
data Result
Equal :: Result
NotEqual :: [String] -> Result
mkResult :: ExpectedResult -> [String] -> Result
instance GHC.Show.Show Test.DocTest.Internal.Runner.Example.Result
instance GHC.Classes.Eq Test.DocTest.Internal.Runner.Example.Result
instance GHC.Show.Show a => GHC.Show.Show (Test.DocTest.Internal.Runner.Example.Match a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Test.DocTest.Internal.Runner.Example.Match a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Test.DocTest.Internal.Runner.Example.Match a)
instance GHC.Show.Show Test.DocTest.Internal.Runner.Example.ChunksDivergence
instance GHC.Show.Show Test.DocTest.Internal.Runner.Example.LinesDivergence
instance GHC.Base.Functor Test.DocTest.Internal.Runner.Example.Match

module Test.DocTest.Internal.Property

-- | The result of evaluating an interaction.
data PropertyResult
Success :: PropertyResult
Failure :: String -> PropertyResult
Error :: String -> PropertyResult
runProperty :: Interpreter -> Expression -> IO PropertyResult

-- | Find all free variables in given term.
--   
--   GHCi is used to detect free variables.
freeVariables :: Interpreter -> String -> IO [String]

-- | Parse and return all variables that are not in scope from a ghc error
--   message.
parseNotInScope :: String -> [String]
instance GHC.Show.Show Test.DocTest.Internal.Property.PropertyResult
instance GHC.Classes.Eq Test.DocTest.Internal.Property.PropertyResult

module Test.DocTest.Internal.Runner

-- | Whether an "example" is part of setup block
data FromSetup
FromSetup :: FromSetup
NotFromSetup :: FromSetup

-- | Summary of a test run.
data Summary
Summary :: Int -> Int -> Int -> Int -> Summary

-- | Total number of lines of examples (excluding setup)
[sExamples] :: Summary -> Int

-- | Executed <i>sTried</i> lines so far
[sTried] :: Summary -> Int

-- | Couldn't execute <i>sErrors</i> examples
[sErrors] :: Summary -> Int

-- | Got unexpected output for <i>sFailures</i> examples
[sFailures] :: Summary -> Int
emptySummary :: Summary

-- | Run all examples from a list of modules.
runModules :: Maybe Int -> Bool -> Bool -> Bool -> [String] -> [Module [Located DocTest]] -> IO Summary

-- | Count number of expressions in given module.
count :: Module [Located DocTest] -> Int

-- | A monad for generating test reports.
type Report = StateT ReportState IO
data ReportState
ReportState :: Int -> Bool -> Bool -> Summary -> ReportState

-- | characters on the current line
[reportStateCount] :: ReportState -> Int

-- | should intermediate results be printed?
[reportStateInteractive] :: ReportState -> Bool
[reportStateVerbose] :: ReportState -> Bool

-- | test summary
[reportStateSummary] :: ReportState -> Summary

-- | Add output to the report.
report :: String -> Report ()

-- | Add intermediate output to the report.
--   
--   This will be overwritten by subsequent calls to
--   <a>report</a>/<a>report_</a>. Intermediate out may not contain any
--   newlines.
report_ :: String -> Report ()

-- | Add output to the report, overwrite any intermediate out.
overwrite :: String -> Report ()

-- | Run all examples from given module.
runModule :: Bool -> Bool -> [String] -> Chan ReportUpdate -> Module [Located DocTest] -> IO ()
data ReportUpdate

-- | Test succeeded
UpdateSuccess :: FromSetup -> Location -> ReportUpdate

-- | Test failed with unexpected result
UpdateFailure :: FromSetup -> Location -> Expression -> [String] -> ReportUpdate

-- | Test failed with an error
UpdateError :: FromSetup -> Location -> Expression -> String -> ReportUpdate

-- | Message to send when verbose output is activated
UpdateVerbose :: String -> ReportUpdate

-- | All examples tested in module
UpdateModuleDone :: ReportUpdate

-- | Indicate test has started executing (verbose output)
UpdateStart :: Location -> Expression -> String -> ReportUpdate

-- | Exception caught while executing internal code
UpdateInternalError :: FromSetup -> Module [Located DocTest] -> SomeException -> ReportUpdate

-- | Could not import module
UpdateImportError :: ModuleName -> ReportUpdate
makeThreadPool :: Int -> (Chan ReportUpdate -> Module [Located DocTest] -> IO ()) -> IO (Chan (Module [Located DocTest]), Chan ReportUpdate)
reportStart :: Location -> Expression -> String -> Report ()
reportFailure :: FromSetup -> Location -> Expression -> [String] -> Report ()
reportError :: FromSetup -> Location -> Expression -> String -> Report ()
reportInternalError :: FromSetup -> Module a -> SomeException -> Report ()
reportImportError :: ModuleName -> Report ()
reportSuccess :: FromSetup -> Location -> Report ()
verboseReport :: String -> Report ()
updateSummary :: FromSetup -> Summary -> Report ()
reportProgress :: Report ()

-- | Run given test group.
--   
--   The interpreter state is zeroed with <tt>:reload</tt> first. This
--   means that you can reuse the same <a>Interpreter</a> for several test
--   groups.
runTestGroup :: FromSetup -> Bool -> Interpreter -> IO () -> Chan ReportUpdate -> [Located DocTest] -> IO Bool

-- | Execute all expressions from given example in given <a>Interpreter</a>
--   and verify the output.
runExampleGroup :: FromSetup -> Bool -> Interpreter -> Chan ReportUpdate -> [Located Interaction] -> IO Bool
safeEvalWith :: Bool -> Interpreter -> String -> IO (Either String String)
instance GHC.Classes.Eq Test.DocTest.Internal.Runner.Summary
instance GHC.Show.Show Test.DocTest.Internal.Runner.Summary
instance GHC.Base.Monoid Test.DocTest.Internal.Runner.Summary
instance GHC.Base.Semigroup Test.DocTest.Internal.Runner.Summary

module Test.DocTest

-- | Run doctest with given list of arguments.
--   
--   Example:
--   
--   mainFromCabal "my-project" =&lt;&lt; getArgs
mainFromCabal :: String -> [String] -> IO ()
mainFromLibrary :: Library -> [String] -> IO ()
isSuccess :: Summary -> Bool

-- | Filter modules to be tested against a list of modules to be tested
--   (specified by the user on the command line). If list is empty, test
--   all modules. Throws and error if a non-existing module was specified.
filterModules :: [ModuleName] -> [Module a] -> [Module a]
main :: Library -> Config -> IO Summary