35
83%
master: 84%

Ran 26 Apr 2017 04:05AM UTC

Jobs 1

Files 1

Run time 0s

Badge

Embed ▾

pending completion

Build # 35

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Redesign term representation to encode type at compile time.

The representation of terms is now a type 'Term (f :: * -> *) :: *',
where 'f' is the representation of the contained type; that is, if
a term of type 'Term f' represents a value of type 'a', then
'f = Rep a'. This has two benefits:

* Terms (and the compiler) are aware of their type. We don't need a
separate wrapper structure which stores a runtime representation of
the type.

* All of the metadata of 'Rep a' is encoded in the type of the term,
so we can reconstruct the original Haskell value from a 'Term'
representing that value.

The downsides of this are twofold:

* It is horrendously non-portable (then again, so was the prior
implementation)

* It is horrendously complicated.

Both of these problems will be mitigated by an abstraction layer
which allows plugin implementations, a portable one and a non-portable
one with extra features. Coming soon.

Run Details

57 of 78 relevant lines covered (73.08%)

0.73 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
3	35.3 (BUILD=stack ARGS="" TESTARGS="--coverage")	26 Apr 2017 04:05AM UTC	0	73.08	Travis Job 35.3

Source Files on build 35

Detailed source file information is not available for this build.

jbearer / hspl / 35
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 35

jbearer / hspl / 35 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 35

jbearer / hspl / 35
83%
master: 84%

README BADGES
x