Test.Method.Monitor.Internal

Documentation

newtype Tick

Tick represents call identifier

Constructors

Tick

Fields

• unTick :: Int

Instances

Enum Tick

Defined in Test.Method.Monitor.Internal

Methods

succ :: Tick -> Tick

pred :: Tick -> Tick

toEnum :: Int -> Tick

fromEnum :: Tick -> Int

enumFrom :: Tick -> [Tick]

enumFromThen :: Tick -> Tick -> [Tick]

enumFromTo :: Tick -> Tick -> [Tick]

enumFromThenTo :: Tick -> Tick -> Tick -> [Tick]

Eq Tick

Defined in Test.Method.Monitor.Internal

Methods

(==) :: Tick -> Tick -> Bool

(/=) :: Tick -> Tick -> Bool

Ord Tick

Defined in Test.Method.Monitor.Internal

Methods

compare :: Tick -> Tick -> Ordering

(<) :: Tick -> Tick -> Bool

(<=) :: Tick -> Tick -> Bool

(>) :: Tick -> Tick -> Bool

(>=) :: Tick -> Tick -> Bool

max :: Tick -> Tick -> Tick

min :: Tick -> Tick -> Tick

Show Tick

Defined in Test.Method.Monitor.Internal

Methods

showsPrec :: Int -> Tick -> ShowS

show :: Tick -> String

showList :: [Tick] -> ShowS

data Event args ret

Event args ret is a function call event

Constructors

Enter

Fields

• eventTick :: !Tick
• eventArgs :: !args

Leave

Fields

• eventTick :: !Tick
• eventEnterTick :: !Tick
• eventRet :: !(Either (EqUptoShow SomeException) ret)

Instances

(Eq args, Eq ret) => Eq (Event args ret)

Defined in Test.Method.Monitor.Internal

Methods

(==) :: Event args ret -> Event args ret -> Bool

(/=) :: Event args ret -> Event args ret -> Bool

(Ord args, Ord ret) => Ord (Event args ret)

Defined in Test.Method.Monitor.Internal

Methods

compare :: Event args ret -> Event args ret -> Ordering

(<) :: Event args ret -> Event args ret -> Bool

(<=) :: Event args ret -> Event args ret -> Bool

(>) :: Event args ret -> Event args ret -> Bool

(>=) :: Event args ret -> Event args ret -> Bool

max :: Event args ret -> Event args ret -> Event args ret

min :: Event args ret -> Event args ret -> Event args ret

(Show args, Show ret) => Show (Event args ret)

Defined in Test.Method.Monitor.Internal

Methods

showsPrec :: Int -> Event args ret -> ShowS

show :: Event args ret -> String

showList :: [Event args ret] -> ShowS

type Clock = IORef Tick

newtype ShowType a

newtype to implement show instance which shows its type.

Constructors

ShowType a

Instances

Eq a => Eq (ShowType a)

Defined in Test.Method.Monitor.Internal

Methods

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

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

Ord a => Ord (ShowType a)

Defined in Test.Method.Monitor.Internal

Methods

compare :: ShowType a -> ShowType a -> Ordering

(<) :: ShowType a -> ShowType a -> Bool

(<=) :: ShowType a -> ShowType a -> Bool

(>) :: ShowType a -> ShowType a -> Bool

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

max :: ShowType a -> ShowType a -> ShowType a

min :: ShowType a -> ShowType a -> ShowType a

Typeable a => Show (ShowType a)

Defined in Test.Method.Monitor.Internal

Methods

showsPrec :: Int -> ShowType a -> ShowS

show :: ShowType a -> String

showList :: [ShowType a] -> ShowS

newtype EqUptoShow a

newtype to compare values via show

Constructors

EqUptoShow a

Instances

Show a => Eq (EqUptoShow a)

Defined in Test.Method.Monitor.Internal

Methods

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

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

Show a => Ord (EqUptoShow a)

Defined in Test.Method.Monitor.Internal

Methods

compare :: EqUptoShow a -> EqUptoShow a -> Ordering

(<) :: EqUptoShow a -> EqUptoShow a -> Bool

(<=) :: EqUptoShow a -> EqUptoShow a -> Bool

(>) :: EqUptoShow a -> EqUptoShow a -> Bool

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

max :: EqUptoShow a -> EqUptoShow a -> EqUptoShow a

min :: EqUptoShow a -> EqUptoShow a -> EqUptoShow a

Show a => Show (EqUptoShow a)

Defined in Test.Method.Monitor.Internal

Methods

showsPrec :: Int -> EqUptoShow a -> ShowS

show :: EqUptoShow a -> String

showList :: [EqUptoShow a] -> ShowS

data Monitor args ret

Monitor arg ret is an event monitor of methods, which logs method calls.

Constructors

Monitor

Fields

• monitorTrace :: !(SomeRef [Event args ret])
• monitorClock :: !Clock

newMonitor :: IO (Monitor args ret)

Generate new instance of Monitor

tick :: MonadIO m => Monitor args ret -> m Tick

Increment the clock and return the current tick.

logEvent :: MonadIO m => Monitor args ret -> Event args ret -> m ()

logs an event