Test.Method.Matcher

Documentation

anything :: Matcher a

Matcher that matches anything

when :: Matcher a -> Matcher a

synonym of id function. Use this function for improving readability

type Matcher a = a -> Bool

class TupleLike a where

Associated Types

type AsTuple a

Methods

fromTuple :: AsTuple a -> a

toTuple :: a -> AsTuple a

Instances

TupleLike Nil

Defined in Control.Method.Internal

Associated Types

type AsTuple Nil

Methods

fromTuple :: AsTuple Nil -> Nil

toTuple :: Nil -> AsTuple Nil

TupleLike (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil)))))))

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil)))))))

Methods

fromTuple :: AsTuple (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil))))))) -> a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil))))))

toTuple :: (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil))))))) -> AsTuple (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil)))))))

TupleLike (a :* (b :* (c :* (d :* (e :* (f :* Nil))))))

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* (b :* (c :* (d :* (e :* (f :* Nil))))))

Methods

fromTuple :: AsTuple (a :* (b :* (c :* (d :* (e :* (f :* Nil)))))) -> a :* (b :* (c :* (d :* (e :* (f :* Nil)))))

toTuple :: (a :* (b :* (c :* (d :* (e :* (f :* Nil)))))) -> AsTuple (a :* (b :* (c :* (d :* (e :* (f :* Nil))))))

TupleLike (a :* (b :* (c :* (d :* (e :* Nil)))))

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* (b :* (c :* (d :* (e :* Nil)))))

Methods

fromTuple :: AsTuple (a :* (b :* (c :* (d :* (e :* Nil))))) -> a :* (b :* (c :* (d :* (e :* Nil))))

toTuple :: (a :* (b :* (c :* (d :* (e :* Nil))))) -> AsTuple (a :* (b :* (c :* (d :* (e :* Nil)))))

TupleLike (a :* (b :* (c :* (d :* Nil))))

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* (b :* (c :* (d :* Nil))))

Methods

fromTuple :: AsTuple (a :* (b :* (c :* (d :* Nil)))) -> a :* (b :* (c :* (d :* Nil)))

toTuple :: (a :* (b :* (c :* (d :* Nil)))) -> AsTuple (a :* (b :* (c :* (d :* Nil))))

TupleLike (a :* (b :* (c :* Nil)))

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* (b :* (c :* Nil)))

Methods

fromTuple :: AsTuple (a :* (b :* (c :* Nil))) -> a :* (b :* (c :* Nil))

toTuple :: (a :* (b :* (c :* Nil))) -> AsTuple (a :* (b :* (c :* Nil)))

TupleLike (a :* (b :* Nil))

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* (b :* Nil))

Methods

fromTuple :: AsTuple (a :* (b :* Nil)) -> a :* (b :* Nil)

toTuple :: (a :* (b :* Nil)) -> AsTuple (a :* (b :* Nil))

TupleLike (a :* Nil)

Defined in Control.Method.Internal

Associated Types

type AsTuple (a :* Nil)

Methods

fromTuple :: AsTuple (a :* Nil) -> a :* Nil

toTuple :: (a :* Nil) -> AsTuple (a :* Nil)

class TupleLike a => ArgsMatcher a where

Matcher for Args

>>> args ((==2), (>3)) (2 :* 4 :* Nil)
True
>>> args even (1 :* Nil)
False
>>> args () Nil
True

Associated Types

type EachMatcher a

Methods

args :: EachMatcher a -> Matcher a

Convert a tuple of matchers to a matcher of tuples

Instances

ArgsMatcher Nil

Defined in Test.Method.Matcher

Associated Types

type EachMatcher Nil

Methods

args :: EachMatcher Nil -> Matcher Nil

ArgsMatcher (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil)))))))

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil)))))))

Methods

args :: EachMatcher (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil))))))) -> Matcher (a :* (b :* (c :* (d :* (e :* (f :* (g :* Nil)))))))

ArgsMatcher (a :* (b :* (c :* (d :* (e :* (f :* Nil))))))

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* (b :* (c :* (d :* (e :* (f :* Nil))))))

Methods

args :: EachMatcher (a :* (b :* (c :* (d :* (e :* (f :* Nil)))))) -> Matcher (a :* (b :* (c :* (d :* (e :* (f :* Nil))))))

ArgsMatcher (a :* (b :* (c :* (d :* (e :* Nil)))))

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* (b :* (c :* (d :* (e :* Nil)))))

Methods

args :: EachMatcher (a :* (b :* (c :* (d :* (e :* Nil))))) -> Matcher (a :* (b :* (c :* (d :* (e :* Nil)))))

ArgsMatcher (a :* (b :* (c :* (d :* Nil))))

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* (b :* (c :* (d :* Nil))))

Methods

args :: EachMatcher (a :* (b :* (c :* (d :* Nil)))) -> Matcher (a :* (b :* (c :* (d :* Nil))))

ArgsMatcher (a :* (b :* (c :* Nil)))

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* (b :* (c :* Nil)))

Methods

args :: EachMatcher (a :* (b :* (c :* Nil))) -> Matcher (a :* (b :* (c :* Nil)))

ArgsMatcher (a :* (b :* Nil))

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* (b :* Nil))

Methods

args :: EachMatcher (a :* (b :* Nil)) -> Matcher (a :* (b :* Nil))

ArgsMatcher (a :* Nil)

Defined in Test.Method.Matcher

Associated Types

type EachMatcher (a :* Nil)

Methods

args :: EachMatcher (a :* Nil) -> Matcher (a :* Nil)

args' :: TupleLike a => Matcher (AsTuple a) -> Matcher a

Convert a tuple matcher to a tuple-like matcher.

>>> args' (\(a, b) -> a * b == 10) (2 :* 5 :* Nil)
True
>>> args' (\(a, b) -> a * b == 10) (2 :* 4 :* Nil)
False