cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell Source code Contents Index

CFLP.Strategies.DepthLimit

Documentation

class DepthLimiter c where Source

Methods depthLimit :: c -> Int Source resetDepthLimit :: c -> Int -> c -> c Source Instances DepthLimiter (DepthLimCtx c)

data DepthLim s a Source

Instances (DepthCounter c, DepthLimiter c) => StrategyT c DepthLim Monad s => Monad (DepthLim s) MonadPlus s => MonadPlus (DepthLim s) Enumerable s => Enumerable (DepthLim s)

data DepthLimCtx c Source

Instances Transformer DepthLimCtx DepthLimiter (DepthLimCtx c)

limitDepth :: Monad s => Int -> s c -> DepthLim s (DepthLimCtx c) Source

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

Produced by Haddock version 2.4.2