cflp-2009.2.1: 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