CFLP.Strategies.CallTimeChoice

Documentation

data CTC s a

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 (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m)))))

(MonadPlus m, Enumerable m) => CFLP (CTC (Rnd (Monadic (UpdateT (StoreCTC (RndCtx ())) m))))

data StoreCTC c

Instances

Transformer StoreCTC

ChoiceStore (StoreCTC c)

(MonadPlus m, Enumerable m) => CFLP (CTC (Monadic (UpdateT (StoreCTC ()) m)))

(MonadPlus m, Enumerable m) => CFLP (CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m)))))

(MonadPlus m, Enumerable m) => CFLP (CTC (Rnd (Monadic (UpdateT (StoreCTC (RndCtx ())) m))))

callTimeChoice :: Monad s => s c -> CTC s (StoreCTC c)