121
85%
master: 84%

Ran 17 Sep 2017 05:39AM UTC

Jobs 1

Files 12

Run time 1s

Badge

Embed ▾

pending completion

Build # 121

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

Jobs

ID	Job ID	Ran	Files	Coverage
4	121.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	17 Sep 2017 05:39AM UTC	0	85.05	Travis Job 121.4

Source Files on build 121

Detailed source file information is not available for this build.

jbearer / hspl / 121
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 121

jbearer / hspl / 121 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 121

jbearer / hspl / 121
85%
master: 84%

README BADGES
x