Language.Atom.Example.Probes

This demonstrates the usage of Atom's probe functionality. In this case, it simply uses printf to log a probe's value. Most POSIX systems should be able to build and run the generated C code.

Documentation

main :: IO ()

Invoke the Atom compiler

probeStr :: (Name, Type) -> String

Generate a code comment about the given probe.

logProbe :: (String, UE) -> Atom ()

Use action to call PROBE_PRINTF on a probe given as (name, value). This will work only on integer-valued probes.

example :: Atom ()

Top-level rule

prePostCode :: [Name] -> [Name] -> [(Name, Type)] -> (String, String)

tickSecond :: Atom (V Word64)

Count up seconds of runtime, assuming our base rate is 1 millisecond: