Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.Programming.Tests.Fuzz

Description

Fuzz testing for math programming backends.

Synopsis

newtype Variable = Variable Int
newtype Constraint = Constraint Int
newtype Objective = Objective Int
data LPAction
- = AddVariable Variable
- | AddThenRemoveVariable Variable
- | AddConstraint Constraint
- | AddThenRemoveConstraint Constraint
- | AddObjective Objective
- | AddThenRemoveObjective Objective
- | Optimize
newtype LPActions = LPActions [LPAction]
data LPState v c o = LPState {
- _variables :: Map Variable v
- _variableNames :: Map Variable Text
- _constraints :: Map Constraint c
- _constraintNames :: Map Constraint Text
- _objectives :: Map Objective o
- _objectiveNames :: Map Objective Text
- _pending :: [LPAction]
- _randomGen :: IOGenM StdGen
}
variables :: forall v c o v. Lens (LPState v c o) (LPState v c o) (Map Variable v) (Map Variable v)
variableNames :: forall v c o. Lens' (LPState v c o) (Map Variable Text)
randomGen :: forall v c o. Lens' (LPState v c o) (IOGenM StdGen)
pending :: forall v c o. Lens' (LPState v c o) [LPAction]
objectives :: forall v c o o. Lens (LPState v c o) (LPState v c o) (Map Objective o) (Map Objective o)
objectiveNames :: forall v c o. Lens' (LPState v c o) (Map Objective Text)
constraints :: forall v c o c. Lens (LPState v c o) (LPState v c o) (Map Constraint c) (Map Constraint c)
constraintNames :: forall v c o. Lens' (LPState v c o) (Map Constraint Text)
initLPState :: Int -> [LPAction] -> IO (LPState v c o)
type LPFuzz v c o m = (MonadState (LPState v c o) m, MonadLP v c o m, MonadWriter (Seq String) m, MonadIO m)
evalPending :: LPFuzz v c o m => m ()
evalAction :: LPFuzz v c o m => LPAction -> m ()
evalAction' :: LPFuzz v c o m => LPAction -> m ()
add :: (LPFuzz v c o m, Ord k) => k -> m a -> ASetter' (LPState v c o) (Map k a) -> m ()
addThenRemove :: (LPFuzz v c o m, Ord k) => k -> m a -> (a -> m ()) -> Lens' (LPState v c o) (Map k a) -> m ()
makeConstraint :: LPFuzz v c o m => m c
chooseExpr :: LPFuzz v c o m => m (Expr v)
chooseInequality :: LPFuzz v c o m => m (Expr v -> Expr v -> m c)
makeObjective :: LPFuzz v c o m => m o
makeFuzzTests :: (MonadIO m, MonadLP v c o m) => (m (Seq String) -> IO ()) -> Spec

Documentation

newtype Variable Source #

Constructors

Variable Int

Instances

Instances details

Show Variable Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #
Eq Variable Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods (==) :: Variable -> Variable -> Bool # (/=) :: Variable -> Variable -> Bool #
Ord Variable Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods compare :: Variable -> Variable -> Ordering # (<) :: Variable -> Variable -> Bool # (<=) :: Variable -> Variable -> Bool # (>) :: Variable -> Variable -> Bool # (>=) :: Variable -> Variable -> Bool # max :: Variable -> Variable -> Variable # min :: Variable -> Variable -> Variable #

newtype Constraint Source #

Constructors

Constraint Int

Instances

Instances details

Show Constraint Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Eq Constraint Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Ord Constraint Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint #

newtype Objective Source #

Constructors

Objective Int

Instances

Instances details

Show Objective Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods showsPrec :: Int -> Objective -> ShowS # show :: Objective -> String # showList :: [Objective] -> ShowS #
Eq Objective Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods (==) :: Objective -> Objective -> Bool # (/=) :: Objective -> Objective -> Bool #
Ord Objective Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods compare :: Objective -> Objective -> Ordering # (<) :: Objective -> Objective -> Bool # (<=) :: Objective -> Objective -> Bool # (>) :: Objective -> Objective -> Bool # (>=) :: Objective -> Objective -> Bool # max :: Objective -> Objective -> Objective # min :: Objective -> Objective -> Objective #

data LPAction Source #

The types of actions we can perform on a linear program

Constructors

AddVariable Variable
AddThenRemoveVariable Variable
AddConstraint Constraint
AddThenRemoveConstraint Constraint
AddObjective Objective
AddThenRemoveObjective Objective
Optimize

Instances

Instances details

Show LPAction Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods showsPrec :: Int -> LPAction -> ShowS # show :: LPAction -> String # showList :: [LPAction] -> ShowS #

newtype LPActions Source #

Constructors

LPActions [LPAction]

Instances

Instances details

Arbitrary LPActions Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods arbitrary :: Gen LPActions # shrink :: LPActions -> [LPActions] #
Show LPActions Source #
Instance details Defined in Math.Programming.Tests.Fuzz Methods showsPrec :: Int -> LPActions -> ShowS # show :: LPActions -> String # showList :: [LPActions] -> ShowS #

data LPState v c o Source #

Constructors

LPState
Fields _variables :: Map Variable v _variableNames :: Map Variable Text _constraints :: Map Constraint c _constraintNames :: Map Constraint Text _objectives :: Map Objective o _objectiveNames :: Map Objective Text _pending :: [LPAction] _randomGen :: IOGenM StdGen

variables :: forall v c o v. Lens (LPState v c o) (LPState v c o) (Map Variable v) (Map Variable v) Source #

variableNames :: forall v c o. Lens' (LPState v c o) (Map Variable Text) Source #

randomGen :: forall v c o. Lens' (LPState v c o) (IOGenM StdGen) Source #

pending :: forall v c o. Lens' (LPState v c o) [LPAction] Source #

objectives :: forall v c o o. Lens (LPState v c o) (LPState v c o) (Map Objective o) (Map Objective o) Source #

objectiveNames :: forall v c o. Lens' (LPState v c o) (Map Objective Text) Source #

constraints :: forall v c o c. Lens (LPState v c o) (LPState v c o) (Map Constraint c) (Map Constraint c) Source #

constraintNames :: forall v c o. Lens' (LPState v c o) (Map Constraint Text) Source #

initLPState :: Int -> [LPAction] -> IO (LPState v c o) Source #

type LPFuzz v c o m = (MonadState (LPState v c o) m, MonadLP v c o m, MonadWriter (Seq String) m, MonadIO m) Source #

evalPending :: LPFuzz v c o m => m () Source #

evalAction :: LPFuzz v c o m => LPAction -> m () Source #

evalAction' :: LPFuzz v c o m => LPAction -> m () Source #

add :: (LPFuzz v c o m, Ord k) => k -> m a -> ASetter' (LPState v c o) (Map k a) -> m () Source #

addThenRemove :: (LPFuzz v c o m, Ord k) => k -> m a -> (a -> m ()) -> Lens' (LPState v c o) (Map k a) -> m () Source #

makeConstraint :: LPFuzz v c o m => m c Source #

chooseExpr :: LPFuzz v c o m => m (Expr v) Source #

chooseInequality :: LPFuzz v c o m => m (Expr v -> Expr v -> m c) Source #

makeObjective :: LPFuzz v c o m => m o Source #

makeFuzzTests Source #

Arguments

:: (MonadIO m, MonadLP v c o m)
=> (m (Seq String) -> IO ())	The runner for the API being tested.
-> Spec	The resulting test suite.