CFLP.Strategies.DepthCounter

Documentation

class DepthCounter c where

Methods

currentDepth :: c -> Int

incrementDepth :: c -> c -> c

Instances

(DepthCounter c, Transformer t) => DepthCounter (t c)

DepthCounter (DepthCtx c)

data Depth s a

Instances

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

data DepthCtx c

Instances

Transformer DepthCtx

DepthCounter (DepthCtx c)

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

countDepth :: Monad s => s c -> Depth s (DepthCtx c)