AERN-Net-0.2.1.1: Compositional lazy dataflow networks for exact real number computation

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Control.ERNet.Foundations.Event.Logger

Description

Abstraction of an event logger in the IO monad.

To be imported qualified, usually with the prefix LG.

Documentation

class Logger lg whereSource

Methods

new :: IO lgSource

addEvent :: lg -> ERNetEvent -> IO ()Source

emptyAndDo :: lg -> (ERNetEvent -> IO a) -> IO ()Source

emptyAndGetEvents :: lg -> IO [ERNetEvent]Source

Instances