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

CFLP.Strategies.DepthCounter

Documentation

class DepthCounter c where Source

Methods currentDepth :: c -> Int Source incrementDepth :: c -> c -> c Source Instances DepthCounter (DepthCtx c)

data Depth s a Source

Instances DepthCounter c => StrategyT c Depth Monad s => Monad (Depth s) MonadPlus s => MonadPlus (Depth s) Enumerable s => Enumerable (Depth s)

data DepthCtx c Source

Instances Transformer DepthCtx DepthCounter (DepthCtx c)

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

Produced by Haddock version 2.4.2