66
84%

Ran 25 May 2017 03:29AM UTC

Jobs 1

Files 6

Run time 1s

Badge

Embed ▾

pending completion

Build # 66

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	66.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	25 May 2017 03:29AM UTC	0	75.89	Travis Job 66.4

Source Files on build 66

Detailed source file information is not available for this build.

jbearer / hspl / 66
84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 66

jbearer / hspl / 66 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 66

jbearer / hspl / 66
84%

README BADGES
x