Safe Haskell	None
Language	GHC2024

System.Process.Quick.CallSpec.Type

Synopsis

data VerificationMethod
- = TrailingHelpValidate
- | SandboxValidate
class (Show cs, Arbitrary cs, Data cs) => CallSpec cs where
- programName :: Proxy cs -> String
- programArgs :: cs -> [String]
- verificationMethods :: Proxy cs -> [VerificationMethod]
- outcomeCheckers :: cs -> [OutcomeChecker]
- initCallSpecs :: MonadIO m => cs -> m [CsBox]
data CsBox = CallSpec cs => CsBox {
- unCsBox :: cs
}

Documentation

data VerificationMethod Source #

DC definition order defines validation order

Constructors

TrailingHelpValidate
SandboxValidate

Instances

Instances details

Data VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerificationMethod -> c VerificationMethod #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerificationMethod #

toConstr :: VerificationMethod -> Constr #

dataTypeOf :: VerificationMethod -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerificationMethod) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerificationMethod) #

gmapT :: (forall b. Data b => b -> b) -> VerificationMethod -> VerificationMethod #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerificationMethod -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerificationMethod -> r #

gmapQ :: (forall d. Data d => d -> u) -> VerificationMethod -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> VerificationMethod -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerificationMethod -> m VerificationMethod #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationMethod -> m VerificationMethod #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationMethod -> m VerificationMethod #

Bounded VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

minBound :: VerificationMethod #

maxBound :: VerificationMethod #

Enum VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

succ :: VerificationMethod -> VerificationMethod #

pred :: VerificationMethod -> VerificationMethod #

toEnum :: Int -> VerificationMethod #

fromEnum :: VerificationMethod -> Int #

enumFrom :: VerificationMethod -> [VerificationMethod] #

enumFromThen :: VerificationMethod -> VerificationMethod -> [VerificationMethod] #

enumFromTo :: VerificationMethod -> VerificationMethod -> [VerificationMethod] #

enumFromThenTo :: VerificationMethod -> VerificationMethod -> VerificationMethod -> [VerificationMethod] #

Generic VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Associated Types

type Rep VerificationMethod
Instance details Defined in System.Process.Quick.CallSpec.Type type Rep VerificationMethod = D1 ('MetaData "VerificationMethod" "System.Process.Quick.CallSpec.Type" "quick-process-0.0.3-inplace" 'False) (C1 ('MetaCons "TrailingHelpValidate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SandboxValidate" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: VerificationMethod -> Rep VerificationMethod x #

to :: Rep VerificationMethod x -> VerificationMethod #

Show VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

showsPrec :: Int -> VerificationMethod -> ShowS #

show :: VerificationMethod -> String #

showList :: [VerificationMethod] -> ShowS #

Eq VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

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

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

Ord VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

compare :: VerificationMethod -> VerificationMethod -> Ordering #

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

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

(>) :: VerificationMethod -> VerificationMethod -> Bool #

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

max :: VerificationMethod -> VerificationMethod -> VerificationMethod #

min :: VerificationMethod -> VerificationMethod -> VerificationMethod #

Pretty VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

pretty :: VerificationMethod -> Doc #

prettyList :: [VerificationMethod] -> Doc #

Lift VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

Methods

lift :: Quote m => VerificationMethod -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => VerificationMethod -> Code m VerificationMethod #

type Rep VerificationMethod Source #

Instance details

Defined in System.Process.Quick.CallSpec.Type

type Rep VerificationMethod = D1 ('MetaData "VerificationMethod" "System.Process.Quick.CallSpec.Type" "quick-process-0.0.3-inplace" 'False) (C1 ('MetaCons "TrailingHelpValidate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SandboxValidate" 'PrefixI 'False) (U1 :: Type -> Type))

class (Show cs, Arbitrary cs, Data cs) => CallSpec cs where Source #

Methods

programName :: Proxy cs -> String Source #

programArgs :: cs -> [String] Source #

verificationMethods :: Proxy cs -> [VerificationMethod] Source #

outcomeCheckers :: cs -> [OutcomeChecker] Source #

initCallSpecs :: MonadIO m => cs -> m [CsBox] Source #

data CsBox Source #

Constructors

CallSpec cs => CsBox
Fields unCsBox :: cs