Documentation
class DepthLimiter c whereSource
depthLimit :: c -> IntSource
resetDepthLimit :: c -> Int -> c -> cSource
(DepthLimiter c, Transformer t) => DepthLimiter (t c) | |
DepthLimiter (DepthLimCtx c) |
(DepthCounter c, DepthLimiter c) => StrategyT c DepthLim | |
Monad s => Monad (DepthLim s) | |
MonadPlus s => MonadPlus (DepthLim s) | |
Enumerable s => Enumerable (DepthLim s) | |
(MonadPlus m, Enumerable m) => CFLP (CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m))))) |
data DepthLimCtx c Source
Transformer DepthLimCtx | |
DepthLimiter (DepthLimCtx c) | |
(MonadPlus m, Enumerable m) => CFLP (CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m))))) |
limitDepth :: Monad s => Int -> s c -> DepthLim s (DepthLimCtx c)Source
setDepthLimit :: (Monad s, DepthLimiter c, MonadUpdate c s) => c -> Int -> s ()Source