BuildBox.Data.Detail

The detail is the name of an Aspect seprate from its data.

Documentation

data Detail

Constructors

DetailTimed Timed

DetailUsed Used

DetailSized Sized

Instances

Eq Detail

Ord Detail

Read Detail

Show Detail

data Timed

Something that takes time to evaluate.

Constructors

TotalWall

TotalCpu

TotalSys

KernelWall

KernelCpu

KernelSys

Instances

Enum Timed

Eq Timed

Ord Timed

Read Timed

Show Timed

Pretty Timed

data Used

Some resource used during execution.

Constructors

HeapMax

HeapAlloc

Instances

Enum Used

Eq Used

Ord Used

Read Used

Show Used

Pretty Used

data Sized

Some static size of the benchmark that isn't affected during the run.

Constructors

ExeSize

Instances

Enum Sized

Eq Sized

Ord Sized

Read Sized

Show Sized

Pretty Sized