86
83%
master: 84%

Ran 16 Jul 2017 03:59AM UTC

Jobs 1

Files 7

Run time 1s

Badge

Embed ▾

pending completion

Build # 86

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Provie a mechanism for creating semi-determinitic goals.

A semi-deterministic goal is one which succeeds at most once. We
have two interfaces for creating these goals:

1. once. Analagous to Prolog's once/1. Converts a possibly
   nondeterministic goal into a semi-deterministic goal.
2. semiDetPredicate. Used in exactly the same manner as predicate,
   but implicitly applies once whenever the predicate is invoked.

Run Details

806 of 954 relevant lines covered (84.49%)

0.84 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	86.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	16 Jul 2017 03:59AM UTC	0	84.49	Travis Job 86.4

Source Files on build 86

Detailed source file information is not available for this build.

jbearer / hspl / 86
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 86

jbearer / hspl / 86 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 86

jbearer / hspl / 86
83%
master: 84%

README BADGES
x