cflp-2009.1.28: Constraint Functional-Logic Programming in Haskell Source code Contents Index

CFLP.Tests

Documentation

assertResults :: (Generic a, Show a, Eq a) => Computation a -> [a] -> Assertion Source

assertResultsN :: (Generic a, Show a, Eq a) => Int -> Computation a -> [a] -> Assertion Source

assertResultsLimit :: (Generic a, Show a, Eq a) => Maybe Int -> Computation a -> [a] -> Assertion Source

Produced by Haddock version 2.4.2