cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell

CFLP.Strategies.DepthCounter

Documentation

class DepthCounter c whereSource

Methods

currentDepth :: c -> IntSource

incrementDepth :: c -> c -> cSource

Instances

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

data Depth s a Source

Instances

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