quick-process
Safe HaskellNone
LanguageGHC2024

System.Process.Quick.CallSpec.Verify.Type

Documentation

type FailureReport = Doc Source #

data CallSpecViolation Source #

Constructors

HelpKeyIgnored 
HelpKeyNotSupported FailureReport 
ProgramNotFound FailureReport [FilePath] 
HelpKeyExitNonZero FailureReport 
ExceptionThrown SomeException 
UnexpectedCallEffect [CallEffect] 

Instances

Instances details
Show CallSpecViolation Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

showsPrec :: Int -> CallSpecViolation -> ShowS #

show :: CallSpecViolation -> String #

showList :: [CallSpecViolation] -> ShowS #

data CsViolationWithCtx Source #

Constructors

CallSpec cs => CsViolationWithCtx 

Fields

Instances

Instances details
Exception CsViolationWithCtx Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

toException :: CsViolationWithCtx -> SomeException #

fromException :: SomeException -> Maybe CsViolationWithCtx #

displayException :: CsViolationWithCtx -> String #

backtraceDesired :: CsViolationWithCtx -> Bool #

Show CsViolationWithCtx Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

showsPrec :: Int -> CsViolationWithCtx -> ShowS #

show :: CsViolationWithCtx -> String #

showList :: [CsViolationWithCtx] -> ShowS #

data CsPerf Source #

Constructors

CsPerf 

Fields

Instances

Instances details
Monoid CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

mempty :: CsPerf #

mappend :: CsPerf -> CsPerf -> CsPerf #

mconcat :: [CsPerf] -> CsPerf #

Semigroup CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

(<>) :: CsPerf -> CsPerf -> CsPerf #

sconcat :: NonEmpty CsPerf -> CsPerf #

stimes :: Integral b => b -> CsPerf -> CsPerf #

Generic CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Associated Types

type Rep CsPerf 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

type Rep CsPerf = D1 ('MetaData "CsPerf" "System.Process.Quick.CallSpec.Verify.Type" "quick-process-0.0.3-inplace" 'False) (C1 ('MetaCons "CsPerf" 'PrefixI 'True) (S1 ('MetaSel ('Just "csGenerationTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sum NominalDiffTime)) :*: (S1 ('MetaSel ('Just "csTotalTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sum NominalDiffTime)) :*: S1 ('MetaSel ('Just "csExeTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sum NominalDiffTime)))))

Methods

from :: CsPerf -> Rep CsPerf x #

to :: Rep CsPerf x -> CsPerf #

Show CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

showsPrec :: Int -> CsPerf -> ShowS #

show :: CsPerf -> String #

showList :: [CsPerf] -> ShowS #

Eq CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

(==) :: CsPerf -> CsPerf -> Bool #

(/=) :: CsPerf -> CsPerf -> Bool #

Ord CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

Methods

compare :: CsPerf -> CsPerf -> Ordering #

(<) :: CsPerf -> CsPerf -> Bool #

(<=) :: CsPerf -> CsPerf -> Bool #

(>) :: CsPerf -> CsPerf -> Bool #

(>=) :: CsPerf -> CsPerf -> Bool #

max :: CsPerf -> CsPerf -> CsPerf #

min :: CsPerf -> CsPerf -> CsPerf #

type Rep CsPerf Source # 
Instance details

Defined in System.Process.Quick.CallSpec.Verify.Type

type Rep CsPerf = D1 ('MetaData "CsPerf" "System.Process.Quick.CallSpec.Verify.Type" "quick-process-0.0.3-inplace" 'False) (C1 ('MetaCons "CsPerf" 'PrefixI 'True) (S1 ('MetaSel ('Just "csGenerationTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sum NominalDiffTime)) :*: (S1 ('MetaSel ('Just "csTotalTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sum NominalDiffTime)) :*: S1 ('MetaSel ('Just "csExeTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Sum NominalDiffTime)))))

type CsPerfT (m :: Type -> Type) = StateT (Table VerificationMethod TypeRep CsPerf) m Source #