module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
% | covered / total | % | covered / total | % | covered / total | ||||||||||
module Infer | 20% | 1/5 | 100% | 4/4 | 7% | 9/124 | |||||||||
module InferMonad | 93% | 14/15 | 100% | 4/4 | 81% | 99/122 | |||||||||
module MaybeM | 100% | 10/10 | 100% | 12/12 | 86% | 26/30 | |||||||||
module MyList | 100% | 2/2 | 100% | 4/4 | 93% | 14/15 | |||||||||
module Parse | 100% | 35/35 | 100% | 10/10 | 97% | 193/198 | |||||||||
module Shows | 100% | 10/10 | 100% | 4/4 | 57% | 26/45 | |||||||||
module Substitution | 100% | 14/14 | 72% | 8/11 | 69% | 72/103 | |||||||||
module Type | 75% | 12/16 | 50% | 4/8 | 50% | 73/145 | |||||||||
module Term | 72% | 8/11 | 0% | 0/6 | 28% | 44/153 | |||||||||
module Environment | 80% | 12/15 | - | 0/0 | 75% | 54/72 | |||||||||
module FiniteMap | 100% | 14/14 | - | 0/0 | 90% | 60/66 | |||||||||
module Main | 100% | 4/4 | - | 0/0 | 47% | 22/46 | |||||||||
module State | 100% | 7/7 | - | 0/0 | 92% | 35/38 | |||||||||
module StateX | 100% | 8/8 | - | 0/0 | 87% | 48/55 | |||||||||
Program Coverage Total | 90% | 151/166 | 79% | 50/63 | 63% | 775/1212 |