Safe Haskell	Safe-Inferred
Language	Haskell2010

Roboservant.Direct

Documentation

Constructors

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

Constructors

RoboservantException
Fields failureReason :: FailureType serverException :: Maybe SomeException fuzzState :: FuzzState

Instances details

Exception RoboservantException Source #
Instance details Defined in Roboservant.Direct Methods toException :: RoboservantException -> SomeException # fromException :: SomeException -> Maybe RoboservantException # displayException :: RoboservantException -> String #
Show RoboservantException Source #
Instance details Defined in Roboservant.Direct Methods showsPrec :: Int -> RoboservantException -> ShowS # show :: RoboservantException -> String # showList :: [RoboservantException] -> ShowS #

Constructors

FuzzState
Fields path :: [FuzzOp] stash :: Stash currentRng :: StdGen

Instances details

Show FuzzState Source #
Instance details Defined in Roboservant.Direct Methods showsPrec :: Int -> FuzzState -> ShowS # show :: FuzzState -> String # showList :: [FuzzState] -> ShowS #

Constructors

FuzzOp
Fields apiOffset :: ApiOffset provenance :: [Provenance]

Instances details

Show FuzzOp Source #
Instance details Defined in Roboservant.Direct Methods showsPrec :: Int -> FuzzOp -> ShowS # show :: FuzzOp -> String # showList :: [FuzzOp] -> ShowS #
Eq FuzzOp Source #
Instance details Defined in Roboservant.Direct Methods (==) :: FuzzOp -> FuzzOp -> Bool # (/=) :: FuzzOp -> FuzzOp -> Bool #

Constructors

ServerCrashed
CheckerFailed
NoPossibleMoves
InsufficientCoverage Double

Instances details

Show FailureType Source #
Instance details Defined in Roboservant.Direct Methods showsPrec :: Int -> FailureType -> ShowS # show :: FailureType -> String # showList :: [FailureType] -> ShowS #
Eq FailureType Source #
Instance details Defined in Roboservant.Direct Methods (==) :: FailureType -> FailureType -> Bool # (/=) :: FailureType -> FailureType -> Bool #

Constructors

Report
Fields textual :: String rsException :: RoboservantException

Instances details

Show Report Source #
Instance details Defined in Roboservant.Direct Methods showsPrec :: Int -> Report -> ShowS # show :: Report -> String # showList :: [Report] -> ShowS #