56
83%
master: 84%

Ran 14 May 2017 11:12PM UTC

Jobs 1

Files 6

Run time 0s

Badge

Embed ▾

pending completion

Build # 56

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Provide an interface for strongly typed predicates.

The user can "forward-declare" predicates using the 'decl' syntax
to inform the compiler of the type of a particular predicate.
The compiler can then infer types in the argument whenever that
predicate is applied.

Run Details

450 of 593 relevant lines covered (75.89%)

0.76 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	56.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	14 May 2017 11:12PM UTC	0	75.89	Travis Job 56.4

Source Files on build 56

Detailed source file information is not available for this build.

jbearer / hspl / 56
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 56

jbearer / hspl / 56 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 56

jbearer / hspl / 56
83%
master: 84%

README BADGES
x