« Previous | Next » 

Revision 713d40d1

ID713d40d1ea8bc0d92db783567cff2d1cb8ae0722
Parent c79d19e8
Child 62225cd8, 56cf6efe

Added by Klaus Aehlig almost 10 years ago

Move Statistics data type to a separate submodule of Utils

To avoid further cluttering the already overly long Utils.hs
move the Statistics data type with its related functions into
a separate submodule. This also provides a better encapsulation
of this type where the Constructors are not exported.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences