Documentation
class DepthCounter c whereSource
currentDepth :: c -> IntSource
incrementDepth :: c -> c -> cSource
(DepthCounter c, Transformer t) => DepthCounter (t c) | |
DepthCounter (DepthCtx c) |
DepthCounter c => StrategyT c Depth | |
Monad s => Monad (Depth s) | |
MonadPlus s => MonadPlus (Depth s) | |
Enumerable s => Enumerable (Depth s) | |
(MonadPlus m, Enumerable m) => CFLP (CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m))))) |
Transformer DepthCtx | |
DepthCounter (DepthCtx c) | |
(MonadPlus m, Enumerable m) => CFLP (CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) m))))) |
countDepth :: s a -> Depth s aSource