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)))

data StoreCTC c

Instances

Transformer StoreCTC

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

ChoiceStore (StoreCTC c)

callTimeChoice :: s a -> CTC s a