cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell
Source code
Contents
Index
CFLP.Tests.CallTimeChoice
Contents
failure* in this test case.
Synopsis
tests
::
Test
ignoreFirstNarrowSecond
::
Assertion
ignot
::
CFLP
s =>
Data
s a ->
Data
s
Bool
->
Context
(
Ctx
s) ->
Data
s
Bool
sharedVarsAreEqual
::
Assertion
two
:: (
Monad
m,
Generic
a) =>
Nondet
cs m a ->
Nondet
cs m [a]
noDemandOnSharedVar
::
Assertion
sharedCompoundTerms
::
Assertion
negHeads
::
CFLP
s =>
Data
s [
Bool
] ->
Context
(
Ctx
s) ->
Data
s [
Bool
]
Documentation
tests
::
Test
Source
failure* in this test case.
ignoreFirstNarrowSecond
::
Assertion
Source
ignot
::
CFLP
s =>
Data
s a ->
Data
s
Bool
->
Context
(
Ctx
s) ->
Data
s
Bool
Source
sharedVarsAreEqual
::
Assertion
Source
two
:: (
Monad
m,
Generic
a) =>
Nondet
cs m a ->
Nondet
cs m [a]
Source
noDemandOnSharedVar
::
Assertion
Source
sharedCompoundTerms
::
Assertion
Source
negHeads
::
CFLP
s =>
Data
s [
Bool
] ->
Context
(
Ctx
s) ->
Data
s [
Bool
]
Source
Produced by
Haddock
version 2.4.2