Test.PMock

data CountVerifyMethod

Constructors

• Equal Int
• LessThanEqual Int
• GreaterThanEqual Int
• LessThan Int
• GreaterThan Int

Instances

• Show CountVerifyMethod
• (Eq a) => VerifyCount CountVerifyMethod (Param a) a
• VerifyCount CountVerifyMethod a a

data Mock fun params

data VerifyMatchType a

Constructors

• MatchAny a
• MatchAll a

Instances

• (Eq a, Show a) => Verify (Param a) (VerifyMatchType (Param a))
• (Eq a, Show a) => Verify a (VerifyMatchType a)

class MockBuilder params fun verifyParams | params -> fun, params -> verifyParams where

Members

• build :: Maybe MockName -> params -> Mock fun verifyParams

Instances

• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f, Show g, Eq g, Show h, Eq h, Show i, Eq i) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Cons (Param h) (Cons (Param i) (Param r))))))))))) (a -> b -> c -> d -> e -> f -> g -> h -> i -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Cons (Param h) (Param i)))))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f, Show g, Eq g, Show h, Eq h) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Cons (Param h) (Param r)))))))))) (a -> b -> c -> d -> e -> f -> g -> h -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Param h))))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f, Show g, Eq g) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Param r))))))))) (a -> b -> c -> d -> e -> f -> g -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Param g)))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Param r)))))))) (a -> b -> c -> d -> e -> f -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Param f))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Param r))))))) (a -> b -> c -> d -> e -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Param e)))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Param r)))))) (a -> b -> c -> d -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Param d))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Cons (Param c) (Param r))))) (a -> b -> c -> r) (Cons (Param a) (Cons (Param b) (Param c)))
• (Show a, Eq a, Show b, Eq b) => MockBuilder (Array (Cons (Param a) (Cons (Param b) (Param r)))) (a -> b -> r) (Cons (Param a) (Param b))
• (Show a, Eq a) => MockBuilder (Array (Cons (Param a) (Param r))) (a -> r) (Param a)
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f, Show g, Eq g, Show h, Eq h, Show i, Eq i) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Cons (Param h) (Cons (Param i) (Param r)))))))))) (a -> b -> c -> d -> e -> f -> g -> h -> i -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Cons (Param h) (Param i)))))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f, Show g, Eq g, Show h, Eq h) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Cons (Param h) (Param r))))))))) (a -> b -> c -> d -> e -> f -> g -> h -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Param h))))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f, Show g, Eq g) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Cons (Param g) (Param r)))))))) (a -> b -> c -> d -> e -> f -> g -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Param g)))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e, Show f, Eq f) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Cons (Param f) (Param r))))))) (a -> b -> c -> d -> e -> f -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Param f))))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d, Show e, Eq e) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Cons (Param e) (Param r)))))) (a -> b -> c -> d -> e -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Param e)))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Cons (Param d) (Param r))))) (a -> b -> c -> d -> r) (Cons (Param a) (Cons (Param b) (Cons (Param c) (Param d))))
• (Show a, Eq a, Show b, Eq b, Show c, Eq c) => MockBuilder (Cons (Param a) (Cons (Param b) (Cons (Param c) (Param r)))) (a -> b -> c -> r) (Cons (Param a) (Cons (Param b) (Param c)))
• (Show a, Eq a, Show b, Eq b) => MockBuilder (Cons (Param a) (Cons (Param b) (Param r))) (a -> b -> r) (Cons (Param a) (Param b))
• (Show a, Eq a) => MockBuilder (Cons (Param a) (Param r)) (a -> r) (Param a)

class Verify params input  where

Members

• verify :: forall fun m. MonadThrow Error m => Mock fun params -> input -> m Unit

Instances

• (Eq a, Show a) => Verify (Param a) (VerifyMatchType (Param a))
• (Eq a, Show a) => Verify (Param a) a
• (Eq a, Show a) => Verify a (VerifyMatchType a)
• (Eq a, Show a) => Verify a a

class VerifyCount countType params a  where

Members

• verifyCount :: forall fun m. MonadThrow Error m => Eq params => Mock fun params -> countType -> a -> m Unit

Instances

• (Eq a) => VerifyCount CountVerifyMethod (Param a) a
• (Eq a) => VerifyCount Int (Param a) a
• VerifyCount CountVerifyMethod a a
• VerifyCount Int a a

class VerifyOrder params input  where

Members

• verifySequence :: forall fun m. MonadThrow Error m => Mock fun params -> Array input -> m Unit
• verifyPartiallySequence :: forall fun m. MonadThrow Error m => Mock fun params -> Array input -> m Unit

Instances

• (Eq a, Show a) => VerifyOrder (Param a) a
• (Eq a, Show a) => VerifyOrder a a

fun :: forall fun v. Mock fun v -> fun

mock :: forall params fun verifyParams. MockBuilder params fun verifyParams => params -> Mock fun verifyParams

namedMock :: forall params fun verifyParams. MockBuilder params fun verifyParams => MockName -> params -> Mock fun verifyParams

mockFun :: forall params fun verifyParams. MockBuilder params fun verifyParams => params -> fun

namedMockFun :: forall params fun verifyParams. MockBuilder params fun verifyParams => String -> params -> fun

showCalledParams :: forall fun params. Show params => Mock fun params -> String

data Cons a b

Constructors

• Cons a b

Instances

• (Show a, Show b) => Show (Cons a b)
• (Eq a, Eq b) => Eq (Cons a b)

Operator alias for Test.PMock.Cons.Cons (right-associative / precedence 8)

Operator alias for Test.PMock.Cons.Cons (right-associative / precedence 8)

data Param v

Constructors

• Param v (Maybe (Matcher v))

Instances

• (Eq a) => Eq (Param a)
• (Show a) => Show (Param a)
• ConsGen (Cons a b) (Param b) (Cons (Cons a b) (Param b))
• ConsGen (Param a) (Cons b c) (Cons (Param a) (Cons b c))
• ConsGen a (Cons b c) (Cons (Param a) (Cons b c))
• ConsGen (Cons a b) c (Cons (Cons a b) (Param c))
• ConsGen (Param a) (Param b) (Cons (Param a) (Param b))
• ConsGen a (Param b) (Cons (Param a) (Param b))
• ConsGen (Param a) b (Cons (Param a) (Param b))
• ConsGen a b (Cons (Param a) (Param b))
• (Eq a, Show a) => NotMatcher (Param a) (Param a)
• (Eq a, Show a) => NotMatcher a (Param a)
• (Eq a, Show a) => LogicalMatcher (Param a) (Param a) (Param a)
• (Eq a, Show a) => LogicalMatcher (Param a) a (Param a)
• (Eq a, Show a) => LogicalMatcher a a (Param a)

and :: forall a b r. LogicalMatcher a b r => a -> b -> r

cons :: forall a b r. ConsGen a b r => a -> b -> r

not :: forall a r. NotMatcher a r => a -> r

or :: forall a b r. LogicalMatcher a b r => a -> b -> r

value :: forall v. Param v -> v

param :: forall a. a -> Param a

matcher :: forall a. (a -> Boolean) -> String -> Param a

any :: forall @a. Param a

Operator alias for Test.PMock.Param.cons (right-associative / precedence 8)