73
83%
master: 84%

Ran 09 Jun 2017 03:57AM UTC

Jobs 1

Files 7

Run time 1s

Badge

Embed ▾

pending completion

Build # 73

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Add a default 'toTerm' instance for ADTs.

Uses GHC.Generics to construct a generic implementation of 'toTerm'
for algebraic data types. Because all types that we may want to put
in a term now have a 'toTerm', 'Termable' (the class of 'toTerm') is
a super class of 'TermEntry'. This required some shuffling around of
the Term-related classes. We can't have TermData => TermEntry and vice
versa, so we have a new class Termable containing the method toTerm,
and a class TermData which is a subclass of 'Termable a' and
'TermEntry (HSPLType a)'. For the purposes of writing constraints in
type annotations, 'TermData' is roughly equivalent to the old version.
Now, users can provide instances of Termable (not TermData) to use
ADTs with HSPL.

Run Details

517 of 656 relevant lines covered (78.81%)

0.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	73.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	09 Jun 2017 03:57AM UTC	0	78.81	Travis Job 73.4

Source Files on build 73

Detailed source file information is not available for this build.

jbearer / hspl / 73
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 73

jbearer / hspl / 73 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 73

jbearer / hspl / 73
83%
master: 84%

README BADGES
x