4
85%
master: 84%

Ran 17 Sep 2017 07:00AM UTC

Files 12

Run time 0s

Badge

Embed ▾

Committed 17 Sep 2017 05:53AM UTC coverage: 84.996% (-0.06%) from 85.052%

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Clean up public interface.

* Move some implementation details into an internal module
* Rename/provide aliases so that the user sees names like 'Goal'
  rather than the more cryptic 'GoalWriter'
* Provide wrappers in terms of the new types, e.g. getTheorem
  wrapper that returns the external goal rather than the internal
  goal.

Closes #3 and #15

Run Details

1065 of 1253 relevant lines covered (85.0%)

0.85 hits per line

jbearer / hspl / 124 / 4
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 124.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 124 / 4 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 124.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 124 / 4
85%
master: 84%

README BADGES
x