Synopsis
Simple profiling library with operations to access run-time data
Category
Debugging
Versions
3.0.0 1.1.0 1.0.0
Dependencies
base >= 3.0.0, < 4.0.0
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 3.0.0, < 4.0.0 kics2 >= 3.0.0, < 4.0.0 curry2go >= 1.0.0 kmcc >= 0.1.0
Exported modules
Debug.Profile
License
BSD-3-Clause / License file
Further infos:

Uploaded at Jul 3 08:19:06 2024 (UTC)

Succesfully tested at Apr 19 03:26:18 2025

Curry Package profiling

profiling: Support for simple profiling

This package contains a simple profiling library containing operations to access run-time data.

Download

Checkout with CPM:: cypm checkout profiling 3.0.0
Package source:: profiling-3.0.0.tar.gz [browse]
Source repository:: https://github.com/curry-packages/profiling.git