cflp-2009.1.28: Constraint Functional-Logic Programming in Haskell
Source code
Contents
Index
CFLP.Tests.HigherOrder
Documentation
tests
::
Test
Source
applyNotFunction
::
Assertion
Source
applyBinCons
::
Assertion
Source
applyChoice
::
Assertion
Source
callTimeChoice
::
Assertion
Source
two
:: (
Monad
m,
Generic
a) =>
Nondet
cs m a ->
Nondet
cs m [a]
Source
mapSharedUnknowns
::
Assertion
Source
memberWithFold
::
Assertion
Source
after
::
CFLP
s =>
Data
s (b -> c) ->
Data
s (a -> b) ->
Data
s (a -> c)
Source
overApplication
::
Assertion
Source
reverseWithFoldr
::
Assertion
Source
flip
::
CFLP
s =>
Data
s (a -> b -> c) ->
Data
s b ->
Data
s a ->
Context
(
Ctx
s) ->
ID
->
Data
s c
Source
id
::
Data
s a ->
Data
s a
Source
pointfreeReverse
::
Assertion
Source
functionConversion
::
Assertion
Source
Produced by
Haddock
version 2.4.2