| Copyright | (c) 2021-2025 Rudy Matela |
|---|---|
| License | 3-Clause BSD (see the file LICENSE) |
| Maintainer | Rudy Matela <[email protected]> |
| Safe Haskell | None |
| Language | Haskell2010 |
Conjure.Defn.Test
Description
Synopsis
- equalModuloTesting :: Conjurable f => Int -> Int -> String -> f -> Defn -> Defn -> Bool
- erroneousCandidate :: Conjurable f => Int -> Int -> String -> f -> Defn -> Bool
- findDefnError :: Conjurable f => Int -> Int -> String -> f -> Defn -> Maybe Expr
- listDefnErrors :: Conjurable f => Int -> Int -> String -> f -> Defn -> [Expr]
Documentation
equalModuloTesting :: Conjurable f => Int -> Int -> String -> f -> Defn -> Defn -> Bool Source #
erroneousCandidate :: Conjurable f => Int -> Int -> String -> f -> Defn -> Bool Source #
For debugging purposes.
This may be taken out of the API at any moment.
findDefnError :: Conjurable f => Int -> Int -> String -> f -> Defn -> Maybe Expr Source #
For debugging purposes,
finds a set of arguments that triggers an error in the candidate Defn.
Warning: this is an experimental function which may be taken out of the API at any moment.
listDefnErrors :: Conjurable f => Int -> Int -> String -> f -> Defn -> [Expr] Source #