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