code-conjure-0.5.10: synthesize Haskell functions out of partial definitions
Copyright(c) 2021-2024 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Conjure.Defn.Test

Description

This module is part of Conjure.

This module exports functions that test Defns using ground values.

You are probably better off importing Conjure.

Synopsis

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.