Rob Rix
|
dbbada55da
|
Construct bounded terms.
|
2015-12-11 11:00:18 -05:00 |
|
Rob Rix
|
e6bddf1cf1
|
Bound arbitrary Keyed nodes.
I really hope we can clean this up.
|
2015-12-11 11:00:06 -05:00 |
|
Rob Rix
|
a7c959db6c
|
Use the ordinary ArbitraryTerm constructor.
|
2015-12-11 10:34:43 -05:00 |
|
Rob Rix
|
2cbe8959fe
|
We don’t need to use ArbitrarySyntax for this.
|
2015-12-11 10:33:46 -05:00 |
|
Rob Rix
|
fd0c1e7abe
|
Attempt to define the selection of an arbitrary bounded term.
|
2015-12-11 10:32:31 -05:00 |
|
Rob Rix
|
fda61b074f
|
ArbitraryTerm → Term eliminator.
|
2015-12-11 09:14:54 -05:00 |
|
Rob Rix
|
bc47d2743f
|
Represent ArbitraryTerm as an annotation/Term pair.
Capturing the recursive structure in `ArbitraryTerm` instead of
deferring it to `Term` allows us to simplify construction of arbitrary
inhabitants.
|
2015-12-11 09:14:43 -05:00 |
|
Rob Rix
|
6799d5eba1
|
Use record notation to unwrap ArbitrarySyntax.
|
2015-12-11 09:12:49 -05:00 |
|
Rob Rix
|
0c23f11d01
|
Abstract ArbitraryTerm over its annotation type.
|
2015-12-11 00:35:00 -05:00 |
|
Rob Rix
|
de9aa14da4
|
ArbitraryTerm is parameterized by its leaf type.
|
2015-12-11 00:33:43 -05:00 |
|
Rob Rix
|
2f744cd769
|
ArbitrarySyntax is Arbitrary.
|
2015-12-11 00:32:59 -05:00 |
|
Rob Rix
|
c7dbd6e79b
|
Add an ArbitrarySyntax type.
|
2015-12-11 00:32:46 -05:00 |
|
Rob Rix
|
a71a4d2e36
|
Adjoining onto no rows is also identity.
|
2015-12-11 00:24:37 -05:00 |
|
Rob Rix
|
de75e838d0
|
Test that adjoining onto empty rows is identity.
|
2015-12-11 00:23:57 -05:00 |
|
Rob Rix
|
390fa5ee73
|
Test that adjoining mempty is idempotent.
|
2015-12-11 00:22:21 -05:00 |
|
Rob Rix
|
9d71aefd04
|
Add an Arbitrary instance for Row.
|
2015-12-11 00:20:25 -05:00 |
|
Rob Rix
|
91140aa8fa
|
Add an Arbitrary instance for Line.
|
2015-12-11 00:19:48 -05:00 |
|
Rob Rix
|
e84d8804bf
|
Add an Arbitrary instance for HTML.
|
2015-12-11 00:19:07 -05:00 |
|
Rob Rix
|
06d9a7ef04
|
mempty!
|
2015-12-11 00:13:17 -05:00 |
|
Rob Rix
|
23d11c1cc8
|
adjoin2 is idempotent for additions of and onto empty rows.
|
2015-12-11 00:12:28 -05:00 |
|
Rob Rix
|
bec2f01f02
|
Reflexivity requires a == a.
|
2015-12-11 00:05:23 -05:00 |
|
Rob Rix
|
873441efde
|
Generate an arbitrary leaf.
|
2015-12-11 00:05:01 -05:00 |
|
Rob Rix
|
f59f92e1d4
|
Use the prop shorthand.
|
2015-12-10 23:59:19 -05:00 |
|
Rob Rix
|
9b2fda2a49
|
Test that equality is reflexive.
|
2015-12-10 23:55:31 -05:00 |
|
Rob Rix
|
aa9f1d6b23
|
Derive Show and Eq.
|
2015-12-10 23:55:21 -05:00 |
|
Rob Rix
|
9589264745
|
ArbitraryTerm is an instance of Arbitrary.
|
2015-12-10 23:45:14 -05:00 |
|
Rob Rix
|
54166e7662
|
Add an ArbitraryTerm newtype.
|
2015-12-10 23:45:05 -05:00 |
|
Rob Rix
|
60791ffc15
|
import QuickCheck.
|
2015-12-10 23:40:42 -05:00 |
|
Rob Rix
|
a9bb3583e7
|
Fix a faulty test.
|
2015-12-10 16:47:10 -05:00 |
|
Rob Rix
|
85d141e924
|
Test that openLine returns Nothing for closed lines.
|
2015-12-10 16:31:00 -05:00 |
|
Rob Rix
|
d9e63c0331
|
Clarify a test name.
|
2015-12-10 16:30:52 -05:00 |
|
Rob Rix
|
6a73248a46
|
Test that openLine will produce open lines.
|
2015-12-10 16:29:18 -05:00 |
|
Rob Rix
|
15f27c5faa
|
We have a leaf for the purposes of this test.
|
2015-12-10 15:48:23 -05:00 |
|
Rob Rix
|
9619d2fa7f
|
That is not how any of this works.
|
2015-12-10 15:47:34 -05:00 |
|
Rob Rix
|
46bd5bc545
|
Test that termToLines produces complete lines.
|
2015-12-10 15:41:02 -05:00 |
|
Rob Rix
|
325d6e6a73
|
Add a test of multi-line patches.
|
2015-12-10 15:11:56 -05:00 |
|
joshvera
|
1b370a059d
|
rename some tests
|
2015-12-10 14:26:49 -05:00 |
|
joshvera
|
2b0c9dc4e2
|
Fix some of the tests
|
2015-12-10 14:21:52 -05:00 |
|
Rob Rix
|
0c9308b6ae
|
Use Break to represent newlines.
|
2015-12-10 11:35:46 -05:00 |
|
joshvera
|
eecfd4ff6d
|
promotes HTML through empty lines
|
2015-12-09 17:38:40 -05:00 |
|
joshvera
|
a05f03dd92
|
add some test combinators
|
2015-12-09 17:29:25 -05:00 |
|
joshvera
|
f3381509b7
|
remove adjoinRows tests
|
2015-12-09 17:29:11 -05:00 |
|
joshvera
|
5a252911a2
|
Fix incorrect index in test
|
2015-12-09 15:54:31 -05:00 |
|
Rob Rix
|
99bc580df2
|
Correct a fixture.
|
2015-12-09 15:28:42 -05:00 |
|
Rob Rix
|
4585545eab
|
Test that we don’t promote newlines through empty lines.
|
2015-12-09 14:56:33 -05:00 |
|
Rob Rix
|
6dc5a65ae8
|
Use the newLine definition a bit.
|
2015-12-09 14:56:26 -05:00 |
|
Rob Rix
|
b97b989803
|
Add a newLine definition.
|
2015-12-09 14:56:15 -05:00 |
|
Rob Rix
|
d527a03ca3
|
Test that adjoining newlines does not append.
|
2015-12-09 14:50:57 -05:00 |
|
Rob Rix
|
0010bb0c77
|
Spacing.
|
2015-12-09 14:47:10 -05:00 |
|
joshvera
|
c67ff8f2e5
|
working through adjoin2
|
2015-12-08 19:52:38 -05:00 |
|