Tom Sydney Kerckhove
|
347e6eabc5
|
a finite recursive schema
|
2021-10-29 19:56:07 +02:00 |
|
Tom Sydney Kerckhove
|
04c6f46001
|
a codec for a recursive type
|
2021-10-27 23:04:23 +02:00 |
|
Tom Sydney Kerckhove
|
29e697c308
|
matchChoicesCodec
|
2021-10-27 22:34:11 +02:00 |
|
Tom Sydney Kerckhove
|
67ed366d5b
|
clearer tests
|
2021-10-27 21:51:21 +02:00 |
|
Tom Sydney Kerckhove
|
556574bacc
|
Value Codec
|
2021-10-27 18:19:34 +02:00 |
|
Tom Sydney Kerckhove
|
72ff62199c
|
Validation tests
|
2021-10-27 18:06:40 +02:00 |
|
Tom Sydney Kerckhove
|
9f8ca6827a
|
got tests to pass again
|
2021-10-27 17:57:53 +02:00 |
|
Tom Sydney Kerckhove
|
cbe01f0db5
|
Ordered keys
|
2021-10-27 16:20:29 +02:00 |
|
Tom Sydney Kerckhove
|
c64f52dbce
|
Nonempty choice schema in aeson
|
2021-10-27 13:26:43 +02:00 |
|
Tom Sydney Kerckhove
|
e64d072d84
|
got ci to pass
|
2021-10-27 12:32:29 +02:00 |
|
Tom Sydney Kerckhove
|
24c2f3ca00
|
tests pass
|
2021-10-27 02:28:29 +02:00 |
|
Tom Sydney Kerckhove
|
6c5dd2dd9a
|
Got tests to pass
|
2021-10-26 23:51:13 +02:00 |
|
Tom Sydney Kerckhove
|
dc5065dd66
|
Choice seems to work now
|
2021-10-26 23:42:22 +02:00 |
|
Tom Sydney Kerckhove
|
32ebf5589d
|
some way of solving choice
|
2021-10-26 22:53:44 +02:00 |
|
Tom Sydney Kerckhove
|
11234259c3
|
get rid of the thing that is broken
|
2021-10-26 21:20:51 +02:00 |
|
Tom Sydney Kerckhove
|
8110b035c7
|
found a major bug with choice
|
2021-10-24 23:40:28 +02:00 |
|
Tom Sydney Kerckhove
|
6638000c3a
|
EqCodec
|
2021-10-24 23:07:14 +02:00 |
|
Tom Sydney Kerckhove
|
f608f4a338
|
Hlint applied
|
2021-10-24 19:45:21 +02:00 |
|
Tom Sydney Kerckhove
|
117fdefe70
|
comments in json schema
|
2021-10-24 19:43:52 +02:00 |
|
Tom Sydney Kerckhove
|
681313ab7e
|
test failure
|
2021-10-24 19:34:17 +02:00 |
|
Tom Sydney Kerckhove
|
2fe005fd91
|
trying a thing
|
2021-10-24 19:29:57 +02:00 |
|
Tom Sydney Kerckhove
|
9ff0e23eb9
|
Trying to set up CI
|
2021-10-24 19:21:59 +02:00 |
|
Tom Sydney Kerckhove
|
617f95fe68
|
Not too much ceremony for the either codec
|
2021-10-24 15:22:24 +02:00 |
|
Tom Sydney Kerckhove
|
6eec7dfa27
|
names for arrays and objects, for error messages and for documentation
|
2021-10-24 15:21:37 +02:00 |
|
Tom Sydney Kerckhove
|
c252d80fbb
|
Basic comments
|
2021-10-23 21:32:06 +02:00 |
|
Tom Sydney Kerckhove
|
222fc55999
|
rename field to requiredField
|
2021-10-23 21:14:29 +02:00 |
|
Tom Sydney Kerckhove
|
9f8a315f61
|
optional fields
|
2021-10-23 21:13:51 +02:00 |
|
Tom Sydney Kerckhove
|
d89c62a771
|
Show choice schemas nicely as well
|
2021-10-23 21:03:52 +02:00 |
|
Tom Sydney Kerckhove
|
90d9b9d7fa
|
basic colouring
|
2021-10-23 20:58:10 +02:00 |
|
Tom Sydney Kerckhove
|
566493a245
|
basic pretty schema rendering without colour so far
|
2021-10-23 20:09:12 +02:00 |
|
Tom Sydney Kerckhove
|
949665a190
|
Started on autodocodec-yaml
|
2021-10-23 19:51:31 +02:00 |
|
Tom Sydney Kerckhove
|
cc910db093
|
maybe schema, with a fix for null
|
2021-10-23 19:16:46 +02:00 |
|
Tom Sydney Kerckhove
|
f4a30216b6
|
Instances for integers and words
|
2021-10-23 18:41:33 +02:00 |
|
Tom Sydney Kerckhove
|
eb92a49449
|
char and string instances
|
2021-10-23 18:33:57 +02:00 |
|
Tom Sydney Kerckhove
|
ab98d6600b
|
Remove choice for object codecs
|
2021-10-23 17:28:29 +02:00 |
|
Tom Sydney Kerckhove
|
cb399e3c34
|
rename ApObjectSchema to BothObjectSchema
|
2021-10-23 17:24:32 +02:00 |
|
Tom Sydney Kerckhove
|
32cedf21be
|
trying a thing, but it failed
|
2021-10-23 17:23:09 +02:00 |
|
Tom Sydney Kerckhove
|
256598c692
|
A way to do choice
|
2021-10-22 22:24:57 +02:00 |
|
Tom Sydney Kerckhove
|
54d2de8a82
|
some json schemas
|
2021-10-21 18:19:52 +02:00 |
|
Tom Sydney Kerckhove
|
cda6e53727
|
can encode and decode an example
|
2021-10-21 15:36:38 +02:00 |
|
Tom Sydney Kerckhove
|
6a241d6cb7
|
can't figure out choice
|
2021-10-21 02:24:18 +02:00 |
|
Tom Sydney Kerckhove
|
4c3b4f2a58
|
something that compiles
|
2021-10-21 01:28:09 +02:00 |
|
Tom Sydney Kerckhove
|
89621d56da
|
something I don't understand yet
|
2021-10-20 23:59:47 +02:00 |
|
Tom Sydney Kerckhove
|
f17d3a424f
|
something that roundtrips
|
2021-10-20 18:23:55 +02:00 |
|
Tom Sydney Kerckhove
|
9b57c76cd8
|
trying a thing
|
2021-10-20 17:59:50 +02:00 |
|