cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell

CFLP.Strategies.DepthLimit

Documentation

class DepthLimiter c whereSource

Methods

depthLimit :: c -> IntSource

resetDepthLimit :: c -> Int -> c -> cSource

Instances

(DepthLimiter c, Transformer t) => DepthLimiter (t c) 
DepthLimiter (DepthLimCtx c) 

setDepthLimit :: (Monad s, DepthLimiter c, MonadUpdate c s) => c -> Int -> s ()Source