4
83%
master: 84%

Ran 16 Jul 2017 03:59AM UTC

Files 7

Run time 0s

Badge

Embed ▾

Committed 16 Jul 2017 03:52AM UTC coverage: 84.486% (+0.4%) from 84.056%

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

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

jbearer / hspl / 86 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 86.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 86 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 86.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 86 / 4
83%
master: 84%

README BADGES
x