libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Safe HaskellNone

CSPM.Evaluator.Profiler

Documentation

data ProfilerOptions Source

Constructors

ProfilerOptions 

Fields

isActive :: Bool
 
flattenRecursiveCalls :: Bool
 

defaultProfilerOptions :: ProfilerOptionsSource

data ProfilerState Source

initialProfilerState :: ProfilerOptions -> IO ProfilerStateSource

maybeRegisterCall :: EvaluationMonad (Name -> EvaluationMonad a -> EvaluationMonad a)Source

registerCall :: Name -> EvaluationMonad a -> EvaluationMonad aSource

data ProfilingData Source

Instances

getProfilingData :: EvaluationMonad ProfilingDataSource

profilerActive :: EvaluationState -> BoolSource