| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.DocTest.Internal.Property
Synopsis
- data PropertyResult
- runProperty :: Interpreter -> Expression -> IO PropertyResult
- freeVariables :: Interpreter -> String -> IO [String]
- parseNotInScope :: String -> [String]
Documentation
data PropertyResult Source #
The result of evaluating an interaction.
Instances
| Show PropertyResult Source # | |
Defined in Test.DocTest.Internal.Property Methods showsPrec :: Int -> PropertyResult -> ShowS # show :: PropertyResult -> String # showList :: [PropertyResult] -> ShowS # | |
| Eq PropertyResult Source # | |
Defined in Test.DocTest.Internal.Property Methods (==) :: PropertyResult -> PropertyResult -> Bool # (/=) :: PropertyResult -> PropertyResult -> Bool # | |
runProperty :: Interpreter -> Expression -> IO PropertyResult Source #
freeVariables :: Interpreter -> String -> IO [String] Source #
Find all free variables in given term.
GHCi is used to detect free variables.
parseNotInScope :: String -> [String] Source #
Parse and return all variables that are not in scope from a ghc error message.