124
85%
master: 84%

Ran 17 Sep 2017 07:00AM UTC

Jobs 1

Files 12

Run time 1s

Badge

Embed ▾

pending completion

Build # 124

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

Jobs

ID	Job ID	Ran	Files	Coverage
4	124.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	17 Sep 2017 07:00AM UTC	0	85.0	Travis Job 124.4

Source Files on build 124

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

jbearer / hspl / 124
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 124

jbearer / hspl / 124 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 124

jbearer / hspl / 124
85%
master: 84%

README BADGES
x