Module

Test.PMock.Internal.ParamDivider

Package: purescript-pmock
Repository: pujoheadsoft/purescript-pmock

#ParamDivider Source

class ParamDivider params args return | params -> args, params -> return where

Members

args :: params -> args
return :: params -> return

Instances

ParamDivider (Cons (Param a) (Param r)) (Param a) (Param r)
ParamDivider (Cons (Param a) (Result r)) (Param a) (Result r)
(ParamDivider (Cons (Param b) rest) restArgs result) => ParamDivider (Cons (Param a) (Cons (Param b) rest)) (Cons (Param a) restArgs) result

#ReturnValue Source

class ReturnValue result r | result -> r where

Members

returnValueOf :: result -> r

Instances

ReturnValue (Param r) r
ReturnValue (Result r) r

#returnValue Source

returnValue :: forall params args result r. ParamDivider params args result => ReturnValue result r => params -> r