Safe Haskell	None
Language	GHC2024

System.Process.Quick.CallSpec.Type

Synopsis

data VerificationMethod
- = TrailingHelpValidate
- | SandboxValidate
class (Arbitrary cs, Data cs) => CallSpec cs where
- programName :: Proxy cs -> String
- programArgs :: cs -> [String]
- verificationMethods :: Proxy cs -> [VerificationMethod]

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 #

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.1-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 #

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.1-inplace" 'False) (C1 ('MetaCons "TrailingHelpValidate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SandboxValidate" 'PrefixI 'False) (U1 :: Type -> Type))

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

Methods

programName :: Proxy cs -> String Source #

programArgs :: cs -> [String] Source #

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