-- | The detail is the name of an `Aspect` seprate from its data.moduleBuildBox.Data.Detail(Detail(..),Timed(..),Used(..),Sized(..))whereimportBuildBox.PrettydataDetail=DetailTimedTimed|DetailUsedUsed|DetailSizedSizedderiving(Eq,Ord,Show,Read)-- | Something that takes time to evaluate.dataTimed=TotalWall|TotalCpu|TotalSys|KernelWall|KernelCpu|KernelSysderiving(Eq,Ord,Show,Read,Enum)instancePrettyTimedwherepprtimed=casetimedofTotalWall->text"runtime (wall clock)"TotalCpu->text"runtime (cpu usage)"TotalSys->text"runtime (sys usage)"KernelWall->text"kernel runtime (wall clock)"KernelCpu->text"kernel runtime (cpu usage)"KernelSys->text"kernel runtime (sys usage)"-- | Some resource used during execution.dataUsed=HeapMax|HeapAllocderiving(Eq,Ord,Show,Read,Enum)instancePrettyUsedwherepprused=caseusedofHeapMax->text"maximum heap usage"HeapAlloc->text"heap allocation"-- | Some static size of the benchmark that isn't affected during the run.dataSized=ExeSizederiving(Eq,Ord,Show,Read,Enum)instancePrettySizedwherepprsized=casesizedofExeSize->text"executable size"