Roboservant.Types.Config

Documentation

data Config

Constructors

Config

Fields

• seed :: [(Dynamic, Int)]
• maxRuntime :: Double
• maxReps :: Integer
• rngSeed :: Int
• coverageThreshold :: Double
• logInfo :: String -> IO ()
• healthCheck :: IO ()

defaultConfig :: Config

noisyConfig :: Config