Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.MockCat.Param

Description

This module is a parameter of the mock function.

This parameter can be used when creating and verifying the mock.

Synopsis

data Param v
value :: Param v -> v
param :: v -> Param v
(|>) :: ConsGen a b r => a -> b -> r
expect :: (a -> Bool) -> String -> Param a
expect_ :: (a -> Bool) -> Param a
expectByExpr :: Q Exp -> Q Exp
any :: Param a

Documentation

data Param v Source #

Instances

Instances details

ShowParam (Param a) => Show (Param a) Source #
Instance details Defined in Test.MockCat.Param Methods showsPrec :: Int -> Param a -> ShowS # show :: Param a -> String # showList :: [Param a] -> ShowS #
Eq a => Eq (Param a) Source #
Instance details Defined in Test.MockCat.Param Methods (==) :: Param a -> Param a -> Bool # (/=) :: Param a -> Param a -> Bool #
ParamDivider (Param a :> Param r) (Param a) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> Param r) -> Param a Source # return :: (Param a :> Param r) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> (Param i :> Param r))))))))) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param i)))))))) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> (Param i :> Param r))))))))) -> Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param i))))))) Source # return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> (Param i :> Param r))))))))) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param r)))))))) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param h))))))) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param r)))))))) -> Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param h)))))) Source # return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param r)))))))) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param r))))))) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param g)))))) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param r))))))) -> Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param g))))) Source # return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param r))))))) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param r)))))) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param f))))) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param r)))))) -> Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param f)))) Source # return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param r)))))) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param r))))) (Param a :> (Param b :> (Param c :> (Param d :> Param e)))) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param r))))) -> Param a :> (Param b :> (Param c :> (Param d :> Param e))) Source # return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param r))))) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) (Param a :> (Param b :> (Param c :> Param d))) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) -> Param a :> (Param b :> (Param c :> Param d)) Source # return :: (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) -> Param r Source #
ParamDivider (Param a :> (Param b :> (Param c :> Param r))) (Param a :> (Param b :> Param c)) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> (Param c :> Param r))) -> Param a :> (Param b :> Param c) Source # return :: (Param a :> (Param b :> (Param c :> Param r))) -> Param r Source #
ParamDivider (Param a :> (Param b :> Param r)) (Param a :> Param b) (Param r) Source #
Instance details Defined in Test.MockCat.ParamDivider Methods args :: (Param a :> (Param b :> Param r)) -> Param a :> Param b Source # return :: (Param a :> (Param b :> Param r)) -> Param r Source #

value :: Param v -> v Source #

param :: v -> Param v Source #

(|>) :: ConsGen a b r => a -> b -> r infixr 8 Source #

expect :: (a -> Bool) -> String -> Param a Source #

Create a conditional parameter.

When applying a mock function, if the argument does not satisfy this condition, an error occurs.

In this case, the specified label is included in the error message.

expect_ :: (a -> Bool) -> Param a Source #

Create a conditional parameter.

In applied a mock function, if the argument does not satisfy this condition, an error occurs.

Unlike expect, it does not require a label, but the error message is displayed as [some condition].

expectByExpr :: Q Exp -> Q Exp Source #

Create a conditional parameter based on Q Exp.

In applying a mock function, if the argument does not satisfy this condition, an error is raised.

The conditional expression is displayed in the error message.

any :: Param a Source #

Make a parameter to which any value is expected to apply.