Test.MockCat.Cons

Documentation

data a :> b infixr 8

Constructors

a :> b infixr 8

Instances

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

Defined in Test.MockCat.Cons

Methods

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

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

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

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

Defined in Test.MockCat.Cons

Methods

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

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

ParamDivider (Param a :> Param r) (Param a) (Param r)

Defined in Test.MockCat.ParamDivider

Methods

args :: (Param a :> Param r) -> Param a

return :: (Param a :> Param r) -> Param r

(Show a, Eq a) => MockBuilder (Param a :> Param r) (a -> r) (Param a)

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> Param r) -> m (Mock (a -> r) (Param a))

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)

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)))))))

return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> (Param i :> Param r))))))))) -> Param r

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)

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))))))

return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param r)))))))) -> Param r

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)

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)))))

return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param r))))))) -> Param r

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)

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))))

return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param r)))))) -> Param r

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)

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)))

return :: (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param r))))) -> Param r

ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) (Param a :> (Param b :> (Param c :> Param d))) (Param r)

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))

return :: (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) -> Param r

ParamDivider (Param a :> (Param b :> (Param c :> Param r))) (Param a :> (Param b :> Param c)) (Param r)

Defined in Test.MockCat.ParamDivider

Methods

args :: (Param a :> (Param b :> (Param c :> Param r))) -> Param a :> (Param b :> Param c)

return :: (Param a :> (Param b :> (Param c :> Param r))) -> Param r

ParamDivider (Param a :> (Param b :> Param r)) (Param a :> Param b) (Param r)

Defined in Test.MockCat.ParamDivider

Methods

args :: (Param a :> (Param b :> Param r)) -> Param a :> Param b

return :: (Param a :> (Param b :> Param r)) -> Param r

(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 (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> (Param i :> Param r))))))))) (a -> b -> c -> d -> e -> f -> g -> h -> i -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param i))))))))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> (Param i :> Param r))))))))) -> m (Mock (a -> b -> c -> d -> e -> f -> g -> h -> i -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (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 (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param r)))))))) (a -> b -> c -> d -> e -> f -> g -> h -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param h)))))))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> (Param h :> Param r)))))))) -> m (Mock (a -> b -> c -> d -> e -> f -> g -> h -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (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 (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param r))))))) (a -> b -> c -> d -> e -> f -> g -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param g))))))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> (Param g :> Param r))))))) -> m (Mock (a -> b -> c -> d -> e -> f -> g -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (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 (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param r)))))) (a -> b -> c -> d -> e -> f -> r) (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param f)))))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> (Param f :> Param r)))))) -> m (Mock (a -> b -> c -> d -> e -> f -> r) (Param a :> (Param b :> (Param c :> (Param d :> (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 (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param r))))) (a -> b -> c -> d -> e -> r) (Param a :> (Param b :> (Param c :> (Param d :> Param e))))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> (Param d :> (Param e :> Param r))))) -> m (Mock (a -> b -> c -> d -> e -> r) (Param a :> (Param b :> (Param c :> (Param d :> Param e)))))

(Show a, Eq a, Show b, Eq b, Show c, Eq c, Show d, Eq d) => MockBuilder (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) (a -> b -> c -> d -> r) (Param a :> (Param b :> (Param c :> Param d)))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) -> m (Mock (a -> b -> c -> d -> r) (Param a :> (Param b :> (Param c :> Param d))))

(Show a, Eq a, Show b, Eq b, Show c, Eq c) => MockBuilder (Param a :> (Param b :> (Param c :> Param r))) (a -> b -> c -> r) (Param a :> (Param b :> Param c))

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> (Param c :> Param r))) -> m (Mock (a -> b -> c -> r) (Param a :> (Param b :> Param c)))

(Show a, Eq a, Show b, Eq b) => MockBuilder (Param a :> (Param b :> Param r)) (a -> b -> r) (Param a :> Param b)

Defined in Test.MockCat.Mock

Methods

build :: MonadIO m => Maybe MockName -> (Param a :> (Param b :> Param r)) -> m (Mock (a -> b -> r) (Param a :> Param b))