cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell
Source code
Contents
Index
CFLP.Strategies.CallTimeChoice
Documentation
data
CTC
s a
Source
Instances
ChoiceStore c => StrategyT c
CTC
Monad
s =>
Monad
(
CTC
s)
MonadPlus
s =>
MonadPlus
(
CTC
s)
Enumerable
s =>
Enumerable
(
CTC
s)
(
MonadPlus
m,
Enumerable
m) =>
CFLP
(
CTC
(
Monadic
(
UpdateT
(
StoreCTC
()
) m)))
(
MonadPlus
m,
Enumerable
m) =>
CFLP
(
CTC
(
Rnd
(
Monadic
(
UpdateT
(
StoreCTC
(
RndCtx
()
)) m))))
(
MonadPlus
m,
Enumerable
m) =>
CFLP
(
CTC
(
Rnd
(
Sat
(
Monadic
(
UpdateT
(
StoreCTC
(
RndCtx
(
SatCtx
()
))) m)))))
(
MonadPlus
m,
Enumerable
m) =>
CFLP
(
CTC
(
Depth
(
DepthLim
(
Monadic
(
UpdateT
(
StoreCTC
(
DepthCtx
(
DepthLimCtx
()
))) m)))))
(
MonadPlus
m,
Enumerable
m) =>
CFLP
(
CTC
(
Depth
(
DepthLim
(
Sat
(
Monadic
(
UpdateT
(
StoreCTC
(
DepthCtx
(
DepthLimCtx
(
SatCtx
()
)))) m))))))
(
MonadPlus
m,
Enumerable
m) =>
CFLP
(
CTC
(
Sat
(
Monadic
(
UpdateT
(
StoreCTC
(
SatCtx
()
)) m))))
data
StoreCTC
c
Source
Instances
Transformer
StoreCTC
ChoiceStore (
StoreCTC
c)
callTimeChoice
::
Monad
s => s c ->
CTC
s (
StoreCTC
c)
Source
Produced by
Haddock
version 2.4.2