Roboservant.Direct

Documentation

fuzz' :: ReifiedApi -> Config -> IO (Maybe Report)

data Config

Constructors

Config

Fields

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

data RoboservantException

Constructors

RoboservantException

Fields

• failureReason :: FailureType
• serverException :: Maybe SomeException
• fuzzState :: FuzzState

Instances

Exception RoboservantException

Defined in Roboservant.Direct

Methods

toException :: RoboservantException -> SomeException

fromException :: SomeException -> Maybe RoboservantException

displayException :: RoboservantException -> String

Show RoboservantException

Defined in Roboservant.Direct

Methods

showsPrec :: Int -> RoboservantException -> ShowS

show :: RoboservantException -> String

showList :: [RoboservantException] -> ShowS

data FuzzState

Constructors

FuzzState

Fields

• path :: [FuzzOp]
• stash :: Stash
• currentRng :: StdGen

Instances

Show FuzzState

Defined in Roboservant.Direct

Methods

showsPrec :: Int -> FuzzState -> ShowS

show :: FuzzState -> String

showList :: [FuzzState] -> ShowS

data FuzzOp

Constructors

FuzzOp

Fields

• apiOffset :: ApiOffset
• provenance :: [Provenance]

Instances

Show FuzzOp

Defined in Roboservant.Direct

Methods

showsPrec :: Int -> FuzzOp -> ShowS

show :: FuzzOp -> String

showList :: [FuzzOp] -> ShowS

Eq FuzzOp

Defined in Roboservant.Direct

Methods

(==) :: FuzzOp -> FuzzOp -> Bool

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

data FailureType

Constructors

ServerCrashed

CheckerFailed

NoPossibleMoves

InsufficientCoverage Double

Instances

Show FailureType

Defined in Roboservant.Direct

Methods

showsPrec :: Int -> FailureType -> ShowS

show :: FailureType -> String

showList :: [FailureType] -> ShowS

Eq FailureType

Defined in Roboservant.Direct

Methods

(==) :: FailureType -> FailureType -> Bool

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

data Report

Constructors

Report

Fields

• textual :: String
• rsException :: RoboservantException

Instances

Show Report

Defined in Roboservant.Direct

Methods

showsPrec :: Int -> Report -> ShowS

show :: Report -> String

showList :: [Report] -> ShowS