48 Commits

Author	SHA1	Message	Date
Tom Sydney Kerckhove	50bba03446	docs built-in in the fields	2021-10-30 19:55:07 +02:00
Tom Sydney Kerckhove	b25404dd5d	default value in docs	2021-10-30 19:11:38 +02:00
Tom Sydney Kerckhove	3a17b9f310	Put together all of the codec types	2021-10-30 16:29:23 +02:00
Tom Sydney Kerckhove	0cbb0056cc	rename bimap to dimap	2021-10-30 12:54:22 +02:00
Tom Sydney Kerckhove	32dfb6191e	Better names for primitive codecs	2021-10-30 12:25:33 +02:00
Tom Sydney Kerckhove	f03d879004	encode arrays an vectors	2021-10-30 12:11:41 +02:00
Tom Sydney Kerckhove	424db75bb8	Got rid of the Bimap codec node in favour of a more general map codec node	2021-10-30 11:39:52 +02:00
Tom Sydney Kerckhove	4044263ad3	something is going wrong with numbers	2021-10-30 02:32:53 +02:00
Tom Sydney Kerckhove	78fefa969c	move all tests to the api usage module	2021-10-30 00:34:47 +02:00
Tom Sydney Kerckhove	c3402bc891	Refactor api usage tests into separate package	2021-10-30 00:29:59 +02:00
Tom Sydney Kerckhove	86d9a7b742	Also yaml output for reference schemas	2021-10-29 20:23:58 +02:00
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	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	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	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	9f8a315f61	optional fields	2021-10-23 21:13:51 +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