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

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