[all reports]
Package |
logict-sequence-0.2.0.2 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2022-12-06 08:14:45.592309174 UTC
|
Compiler |
ghc-9.2.4 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
base-4.16.3.0, logict-0.7.1.0, mmorph-1.2.0, mtl-2.2.2, sequence-0.9.9.0, transformers-0.5.6.2 |
Flags |
none
|
Code Coverage
expressions | 60% (463/764) |
boolean | guards | 100% (1/1) |
conditions | 100% (0/0) |
qualifiers | 100% (0/0) |
alternatives | 55% (46/83) |
local declarations | 45% (9/20) |
top-level declarations | 56% (74/131) |
Build log
[view raw]
Resolving dependencies...
Starting logict-0.7.1.0
Starting sequence-0.9.9.0
Starting transformers-compat-0.7.2
Building logict-0.7.1.0
Building transformers-compat-0.7.2
Building sequence-0.9.9.0
Completed logict-0.7.1.0
Completed sequence-0.9.9.0
Completed transformers-compat-0.7.2
Starting mmorph-1.2.0
Building mmorph-1.2.0
Completed mmorph-1.2.0
Downloading logict-sequence-0.2.0.2
Downloaded logict-sequence-0.2.0.2
Starting logict-sequence-0.2.0.2
Building logict-sequence-0.2.0.2
Completed logict-sequence-0.2.0.2
Test log
No test log was submitted for this report.