404 Commits

Author	SHA1	Message	Date
Ayman Nadeem	9255d5c46f	Update Element.hs	2020-05-08 14:52:02 -04:00
Ayman Nadeem	40641dbb6e	removed shapeParameterName for now	2020-05-08 14:44:58 -04:00
Ayman Nadeem	acc0ceaa26	export EPrj pattern synonym	2020-05-07 15:27:08 -04:00
Ayman Nadeem	4fec608d3f	need AST.Parse for Parse.Err	2020-05-07 15:26:57 -04:00
Ayman Nadeem	f75a056fbb	introduce pattern synonym for matching on Success and Prj	2020-05-07 15:26:42 -04:00
Ayman Nadeem	09e20bba15	unmarshalField instance still needed because we want to use Err to build product types	2020-05-07 13:32:23 -04:00
Ayman Nadeem	e48a0fe029	Remove unmarshal instance for Err, as we no longer need this	2020-05-07 13:24:21 -04:00
Ayman Nadeem	c9f0deabdb	success is a noun (and a journey)	2020-05-07 13:07:01 -04:00
Ayman Nadeem	d976447be8	remove f from token now that we no longer parameterize our programs with it	2020-05-07 13:06:07 -04:00
Ayman Nadeem	ce6ee75d58	Token no longer has the generalized f param with (* -> *)	2020-05-07 12:46:15 -04:00
Ayman Nadeem	72d8ad5792	remove shapeParameterName from all generated datatypes and hardcode Parse.Err when building product types	2020-05-07 11:37:29 -04:00
Ayman Nadeem	67fb8287bd	Update Token.hs	2020-04-29 13:07:19 -04:00
Ayman Nadeem	19df903be3	use standalone format for language extensions in AST.Token	2020-04-29 13:07:10 -04:00
Ayman Nadeem	ffd2294b63	use standalone format for language pragmas in AST.Parse	2020-04-29 13:05:36 -04:00
Ayman Nadeem	2089d8d65a	change a to sym where it implies symbol	2020-04-28 13:46:10 -04:00
Ayman Nadeem	9da786c8c5	change a to ann because a is overloaded and confusing	2020-04-28 13:45:48 -04:00
Ayman Nadeem	284fe08f75	add UnmarshalField instance for new Err type	2020-04-28 13:44:54 -04:00
Ayman Nadeem	07166c17b2	Unmarshal Token instances now needs an additional param, f	2020-04-28 13:44:30 -04:00
Ayman Nadeem	d539ac70cd	provide explicit kind signature for f param to Token	2020-04-28 13:42:53 -04:00
Ayman Nadeem	6794da00cd	manually derive Show	2020-04-28 13:13:54 -04:00
Ayman Nadeem	ac263ada10	derive applicative since we can't autoderive it	2020-04-28 13:13:45 -04:00
Ayman Nadeem	41eaf07526	fix Parse.Err	2020-04-28 10:47:15 -04:00
Ayman Nadeem	324ecc3110	use Parse.Err	2020-04-28 10:47:07 -04:00
Ayman Nadeem	f3810df481	Err wraps a but has no args	2020-04-28 10:26:03 -04:00
Ayman Nadeem	2bb5ce1fad	need AST.Parse in Unmarshal	2020-04-27 17:45:08 -04:00
Ayman Nadeem	d95440e4e6	use ParseFail and ParseSucceed constructors	2020-04-27 17:42:50 -04:00
Ayman Nadeem	0af40b260a	auto-derive Functor and everything else	2020-04-27 17:42:16 -04:00
Ayman Nadeem	fae94854fd	add AST.Parse to exposed-modules list	2020-04-27 17:41:41 -04:00
Ayman Nadeem	d3b980af91	describe function of shape parameter introduced	2020-04-27 17:00:52 -04:00
Ayman Nadeem	09dfa147b7	replace token type synonym with example datatype of kind (*->*)->*->*	2020-04-27 16:59:59 -04:00
Ayman Nadeem	87349a4d55	provide description for Error type	2020-04-27 16:59:15 -04:00
Ayman Nadeem	c752315548	don't need typelits, since no Symbol/Nat data will index this datatype	2020-04-27 16:57:12 -04:00
Ayman Nadeem	e3a46c4405	stub out functor instance	2020-04-24 13:32:18 -04:00
Ayman Nadeem	d1dcb4c09e	this will be a datatype isomorphic to Either	2020-04-24 13:32:09 -04:00
Ayman Nadeem	1e145cae9c	create AST.Parse	2020-04-24 12:47:55 -04:00
Ayman Nadeem	2d36330145	remove extra line	2020-04-24 12:47:39 -04:00
Ayman Nadeem	a6625780e9	format import statement	2020-04-22 10:36:24 -04:00
Ayman Nadeem	d70db96038	Merge branch 'master' into codegen-cleanup	2020-04-22 10:16:05 -04:00
Patrick Thomson	04d305dd54	Didn't mean for this to creep in.	2020-04-08 15:39:03 -04:00
Patrick Thomson	717b9f1f3f	Use Identity as the shape parameter for now.	2020-04-07 15:12:10 -04:00
Patrick Thomson	64c0bd8aa1	Generate Unmarshal instances over Identity	2020-04-07 15:10:06 -04:00
Patrick Thomson	c2ad4c0544	Fix the Ord and SymbolMatching instances.	2020-04-02 13:18:38 -04:00
Patrick Thomson	21ec3dd1d7	Move unmarshal to a standalone instance.	2020-04-02 12:40:05 -04:00
Patrick Thomson	57b9cdaf52	Apply the shape parameter to product types' children.	2020-04-02 12:29:26 -04:00
Patrick Thomson	d1184371ee	Gosh, the Template Haskell docs are really illucid.	2020-04-01 13:12:10 -04:00
Patrick Thomson	b43e761fbb	rename these since I kept getitng them the wrong way around	2020-04-01 12:40:32 -04:00
Patrick Thomson	f4ea534a1a	This cleans up the generated signatures a litttle.	2020-04-01 12:20:37 -04:00
Patrick Thomson	5925adb081	Use listT for better TH output.	2020-04-01 11:44:56 -04:00
Patrick Thomson	b60e5d874f	Eliminate unused parameter.	2020-04-01 11:44:20 -04:00
Patrick Thomson	966d85153d	Accidentally swapped these parameters.	2020-04-01 11:43:59 -04:00