Control.Search.Stat

Documentation

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

constStat :: IValue -> Stat

depthStat :: Stat

nodesStat :: Stat

discrepancyStat :: Stat

solutionsStat :: Stat

failsStat :: Stat

timeStat :: Stat

notStat :: Stat -> Stat

data Stat

Constructors

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

Instances

Bounded Stat

Methods

minBound :: Stat

maxBound :: Stat

Eq Stat

Methods

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

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

Num Stat

Methods

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

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

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

negate :: Stat -> Stat

abs :: Stat -> Stat

signum :: Stat -> Stat

fromInteger :: Integer -> Stat

Show Stat

Methods

showsPrec :: Int -> Stat -> ShowS

show :: Stat -> String

showList :: [Stat] -> ShowS

type IValue = Info -> Value

varStat :: VarId -> Stat

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

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

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

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

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

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

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

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

Orphan instances

Eq (Info -> Value)

Methods

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

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

Num (Info -> Value)

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)

Methods

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

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

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