Safe Haskell | None |
---|
Data structures for collecting CPU usage.
- data Phase
- = Parsing
- | Import
- | Deserialization
- | Scoping
- | Typing
- | Termination
- | Positivity
- | Injectivity
- | ProjectionLikeness
- | Coverage
- | Highlighting
- | Serialization
- | Graph
- | RecCheck
- | Reduce
- | Level
- | Compare
- | With
- | ModuleName
- | Sort
- | Operators
- | BuildParser
- type Account = [Phase]
- type CPUTime = Integer
- type Benchmark = Trie Phase CPUTime
- empty :: Benchmark
- addCPUTime :: Account -> CPUTime -> Benchmark -> Benchmark
Documentation
Phases to allocate CPU time to.
Parsing | Happy parsing and operator parsing. |
Import | Import chasing. |
Deserialization | Reading interface files. |
Scoping | Scope checking and translation to abstract syntax. |
Typing | Type checking and translation to internal syntax. |
Termination | Termination checking. |
Positivity | Positivity checking and polarity computation. |
Injectivity | Injectivity checking. |
ProjectionLikeness | Checking for projection likeness. |
Coverage | Coverage checking and compilation to case trees. |
Highlighting | Generating highlighting info. |
Serialization | Writing interface files. |
Graph | Subphase for |
RecCheck | Subphase for |
Reduce | Subphase for |
Level | Subphase for |
Compare | Subphase for |
With | Subphase for |
ModuleName | Subphase for |
Sort | Subphase for |
Operators | Subphase for |
BuildParser | Subphase for |