Test.Method.Behavior

Documentation

class Behave x where

A type class whose behavior is specified by a method

Associated Types

type Condition x

Type of the first argument of thenMethod, representing the condition when the method is called

type MethodOf x

Type of the second argument of thenMethod, representing a method to be called.

Methods

thenMethod :: Condition x -> MethodOf x -> x

Specify behavior from a pair of a condition and a method.

Instances

a ~ () => Behave (MockM method a)

Defined in Test.Method.Mock

Associated Types

type Condition (MockM method a)

type MethodOf (MockM method a)

Methods

thenMethod :: Condition (MockM method a) -> MethodOf (MockM method a) -> MockM method a

Behave (Call f m)

Defined in Test.Method.Protocol

Associated Types

type Condition (Call f m)

type MethodOf (Call f m)

Methods

thenMethod :: Condition (Call f m) -> MethodOf (Call f m) -> Call f m

thenReturn :: (Behave x, Method (MethodOf x)) => Condition x -> Ret (MethodOf x) -> x

Specify behavior that return a constant value for a call

thenAction :: (Behave x, Method (MethodOf x)) => Condition x -> Base (MethodOf x) (Ret (MethodOf x)) -> x

Specify behavior that executes an action for a call