4
85%
master: 84%

Ran 17 Sep 2017 05:39AM UTC

Files 12

Run time 0s

Badge

Embed ▾

Committed 17 Sep 2017 05:31AM UTC coverage: 85.052%. First build

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

1064 of 1251 relevant lines covered (85.05%)

0.85 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x