mockcat-0.5.2.0: Mock library for test in Haskell.
Safe HaskellNone
LanguageHaskell2010

Test.MockCat.ParamDivider

Documentation

class ParamDivider params args return | params -> args, params -> return Source #

Minimal complete definition

args, return

Instances

Instances details
ParamDivider (Param a :> Param r) (Param a) (Param r) Source # 
Instance details

Defined in Test.MockCat.ParamDivider

Methods

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

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

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) Source # 
Instance details

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

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

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) Source # 
Instance details

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

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

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) Source # 
Instance details

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

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

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) Source # 
Instance details

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

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

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) Source # 
Instance details

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

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

ParamDivider (Param a :> (Param b :> (Param c :> (Param d :> Param r)))) (Param a :> (Param b :> (Param c :> Param d))) (Param r) Source # 
Instance details

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

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

ParamDivider (Param a :> (Param b :> (Param c :> Param r))) (Param a :> (Param b :> Param c)) (Param r) Source # 
Instance details

Defined in Test.MockCat.ParamDivider

Methods

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

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

ParamDivider (Param a :> (Param b :> Param r)) (Param a :> Param b) (Param r) Source # 
Instance details

Defined in Test.MockCat.ParamDivider

Methods

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

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

args :: ParamDivider params args return => params -> args Source #

return :: ParamDivider params args return => params -> return Source #

returnValue :: ParamDivider params args (Param r) => params -> r Source #