Control.Method.Internal

Documentation

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)

data Nil

Nullary tuple

Constructors

Nil

Instances

Eq Nil

Defined in Control.Method.Internal

Methods

(==) :: Nil -> Nil -> Bool

(/=) :: Nil -> Nil -> Bool

Ord Nil

Defined in Control.Method.Internal

Methods

compare :: Nil -> Nil -> Ordering

(<) :: Nil -> Nil -> Bool

(<=) :: Nil -> Nil -> Bool

(>) :: Nil -> Nil -> Bool

(>=) :: Nil -> Nil -> Bool

max :: Nil -> Nil -> Nil

min :: Nil -> Nil -> Nil

Show Nil

Defined in Control.Method.Internal

Methods

showsPrec :: Int -> Nil -> ShowS

show :: Nil -> String

showList :: [Nil] -> ShowS

TupleLike Nil

Defined in Control.Method.Internal

Associated Types

type AsTuple Nil

Methods

fromTuple :: AsTuple Nil -> Nil

toTuple :: Nil -> AsTuple Nil

ArgsMatcher Nil

Defined in Test.Method.Matcher

Associated Types

type EachMatcher Nil

Methods

args :: EachMatcher Nil -> Matcher 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)

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)

type AsTuple Nil

Defined in Control.Method.Internal

type AsTuple Nil = ()

type EachMatcher Nil

Defined in Test.Method.Matcher

type EachMatcher Nil = ()

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

type AsTuple (a :* Nil)

Defined in Control.Method.Internal

type AsTuple (a :* Nil) = a

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

Defined in Test.Method.Matcher

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

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

Defined in Test.Method.Matcher

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

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

Defined in Test.Method.Matcher

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

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

Defined in Test.Method.Matcher

type EachMatcher (a :* (b :* (c :* (d :* Nil)))) = (Matcher a, Matcher b, Matcher c, Matcher d)

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

Defined in Test.Method.Matcher

type EachMatcher (a :* (b :* (c :* Nil))) = (Matcher a, Matcher b, Matcher c)

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

Defined in Test.Method.Matcher

type EachMatcher (a :* (b :* Nil)) = (Matcher a, Matcher b)

type EachMatcher (a :* Nil)

Defined in Test.Method.Matcher

type EachMatcher (a :* Nil) = Matcher a

data a :* b infixr 1

Tuple constructor

Constructors

a :* !b infixr 1

Instances

(Eq a, Eq b) => Eq (a :* b)

Defined in Control.Method.Internal

Methods

(==) :: (a :* b) -> (a :* b) -> Bool

(/=) :: (a :* b) -> (a :* b) -> Bool

(Ord a, Ord b) => Ord (a :* b)

Defined in Control.Method.Internal

Methods

compare :: (a :* b) -> (a :* b) -> Ordering

(<) :: (a :* b) -> (a :* b) -> Bool

(<=) :: (a :* b) -> (a :* b) -> Bool

(>) :: (a :* b) -> (a :* b) -> Bool

(>=) :: (a :* b) -> (a :* b) -> Bool

max :: (a :* b) -> (a :* b) -> a :* b

min :: (a :* b) -> (a :* b) -> a :* b

(Show a, Show b) => Show (a :* b)

Defined in Control.Method.Internal

Methods

showsPrec :: Int -> (a :* b) -> ShowS

show :: (a :* b) -> String

showList :: [a :* b] -> ShowS

Generic (a :* b)

Defined in Control.Method.Internal

Associated Types

type Rep (a :* b) :: Type -> Type

Methods

from :: (a :* b) -> Rep (a :* b) x

to :: Rep (a :* b) x -> a :* b

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)

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)

(ToDyn a b, ToDyn c d) => ToDyn (a :* c) (b :* d)

Defined in Test.Method.Dynamic

Methods

toDyn :: (b :* d) -> a :* c

(FromDyn a b, FromDyn c d) => FromDyn (a :* c) (b :* d)

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a :* c) -> b :* d

type Rep (a :* b)

Defined in Control.Method.Internal

type Rep (a :* b) = D1 ('MetaData ":*" "Control.Method.Internal" "method-0.3.0.0-6CkksrBc7g3m8UEuW7eQN" 'False) (C1 ('MetaCons ":*" ('InfixI 'RightAssociative 1) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)))

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

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

Defined in Control.Method.Internal

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

type AsTuple (a :* Nil)

Defined in Control.Method.Internal

type AsTuple (a :* Nil) = a

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

Defined in Test.Method.Matcher

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

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

Defined in Test.Method.Matcher

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

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

Defined in Test.Method.Matcher

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

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

Defined in Test.Method.Matcher

type EachMatcher (a :* (b :* (c :* (d :* Nil)))) = (Matcher a, Matcher b, Matcher c, Matcher d)

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

Defined in Test.Method.Matcher

type EachMatcher (a :* (b :* (c :* Nil))) = (Matcher a, Matcher b, Matcher c)

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

Defined in Test.Method.Matcher

type EachMatcher (a :* (b :* Nil)) = (Matcher a, Matcher b)

type EachMatcher (a :* Nil)

Defined in Test.Method.Matcher

type EachMatcher (a :* Nil) = Matcher a