monadiccp-0.7.7: Constraint Programming

Safe HaskellNone
LanguageHaskell98

Control.Search.Stat

Contents

Documentation

appStat :: (Value -> Value) -> Stat -> Stat Source #

constStat :: IValue -> Stat Source #

depthStat :: Stat Source #

nodesStat :: Stat Source #

discrepancyStat :: Stat Source #

solutionsStat :: Stat Source #

failsStat :: Stat Source #

timeStat :: Stat Source #

notStat :: Stat -> Stat Source #

data Stat Source #

Constructors

Stat (forall m. Evalable m => Eval m -> Eval m) (forall m. Evalable m => m IValue) 

Instances

Bounded Stat Source # 
Eq Stat Source # 

Methods

(==) :: Stat -> Stat -> Bool #

(/=) :: Stat -> Stat -> Bool #

Num Stat Source # 

Methods

(+) :: Stat -> Stat -> Stat #

(-) :: Stat -> Stat -> Stat #

(*) :: Stat -> Stat -> Stat #

negate :: Stat -> Stat #

abs :: Stat -> Stat #

signum :: Stat -> Stat #

fromInteger :: Integer -> Stat #

Show Stat Source # 

Methods

showsPrec :: Int -> Stat -> ShowS #

show :: Stat -> String #

showList :: [Stat] -> ShowS #

type IValue = Info -> Value Source #

varStat :: VarId -> Stat Source #

(#>) :: Stat -> Stat -> Stat Source #

(#<) :: Stat -> Stat -> Stat Source #

(#>=) :: Stat -> Stat -> Stat Source #

(#<=) :: Stat -> Stat -> Stat Source #

(#=) :: Stat -> Stat -> Stat Source #

(#/) :: Stat -> Stat -> Stat Source #

readStat :: Evalable m => Stat -> m IValue Source #

evalStat :: Evalable m => Stat -> Eval m -> Eval m Source #

Orphan instances

Eq (Info -> Value) Source # 

Methods

(==) :: (Info -> Value) -> (Info -> Value) -> Bool #

(/=) :: (Info -> Value) -> (Info -> Value) -> Bool #

Num (Info -> Value) Source # 

Methods

(+) :: (Info -> Value) -> (Info -> Value) -> Info -> Value #

(-) :: (Info -> Value) -> (Info -> Value) -> Info -> Value #

(*) :: (Info -> Value) -> (Info -> Value) -> Info -> Value #

negate :: (Info -> Value) -> Info -> Value #

abs :: (Info -> Value) -> Info -> Value #

signum :: (Info -> Value) -> Info -> Value #

fromInteger :: Integer -> Info -> Value #

Show (Info -> Value) Source # 

Methods

showsPrec :: Int -> (Info -> Value) -> ShowS #

show :: (Info -> Value) -> String #

showList :: [Info -> Value] -> ShowS #