Documentation

callProcessAndReport :: (CallSpec cs, M m) => cs -> m CsExecReport Source #

normalizeOutcomeChecks :: CallSpec cs => cs -> [OutcomeChecker] Source #

_trace_if_flag_on_line_40_on_col_8 :: IORef (Maybe Bool) Source #

_trace_if_flag_on_line_44_on_col_8 :: IORef (Maybe Bool) Source #

measureX :: forall {k} (m :: Type -> Type) (cs :: k) a. (Typeable cs, M m) => Proxy cs -> VerificationMethod -> Lens' CsPerf (Sum NominalDiffTime) -> CsPerfT m a -> CsPerfT m a Source #

validateInSandbox :: forall w (m :: Type -> Type) cs. (M m, CallSpec cs, WriterT [FilePath] (CsPerfT m) ~ w) => ArgCollector w -> ArgCollector w -> IO cs -> Int -> CsPerfT m (Maybe CsViolationWithCtx) Source #

validateInSandboxOne :: forall w (m :: Type -> Type) cs. (M m, CallSpec cs, WriterT [FilePath] (CsPerfT m) ~ w) => FilePath -> ArgCollector w -> ArgCollector w -> IO cs -> CsPerfT m (Maybe CsViolationWithCtx) Source #