377 Commits

Author	SHA1	Message	Date
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
Patrick Thomson	555610d65c	Use extraTypeParameterName in the newtype declarations.	2020-04-01 11:23:40 -04:00
Patrick Thomson	72b0702025	Only need to pass one parameter to makeTraversalInstances.	2020-04-01 11:23:08 -04:00
Patrick Thomson	7b186f044c	Provide enough parameters to types in HasField instances.	2020-04-01 11:21:55 -04:00
Patrick Thomson	8d62ad3b91	Merge remote-tracking branch 'origin/master' into codegen-cleanup	2020-04-01 11:05:40 -04:00
Rick Winfrey	d55db8893a	Merge branch 'master' into precise-ql-tagging	2020-03-27 11:52:48 -07:00
Rick Winfrey	9a7ed9d294	Bump to semantic-source 0.1.0 ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-03-23 13:40:50 -07:00
Rick Winfrey	0d55c0c273	Relax semantic-ast bytestring dependency version bounds	2020-03-20 09:50:15 -07:00
Ayman Nadeem	d39c22a5aa	Update semantic-ast.cabal	2020-03-02 16:57:33 -05:00
Ayman Nadeem	9250c786ad	Update README.md	2020-03-02 13:44:27 -05:00
Ayman Nadeem	17dd419f9b	use mkName instead of newName	2020-02-20 18:19:15 -05:00
Ayman Nadeem	681442c89b	don't interpolate f	2020-02-20 18:19:04 -05:00
Ayman Nadeem	181fa11b58	capitalize N	2020-02-20 16:42:16 -05:00
Ayman Nadeem	38aaae5ff4	capitalize T	2020-02-20 16:42:09 -05:00
Ayman Nadeem	f9945cbb4c	supply extraTypeParameter	2020-02-20 16:41:08 -05:00
Ayman Nadeem	8c9c6ed7ec	need an extra type parameter for field types	2020-02-20 16:40:38 -05:00
Ayman Nadeem	6c9f3d451e	call f before constructor	2020-02-20 16:11:25 -05:00
Ayman Nadeem	615d760ff0	varT, not conT, because we have a type variable not a constructor	2020-02-20 16:11:07 -05:00
Ayman Nadeem	de828d608e	delete ty'	2020-02-20 16:10:44 -05:00
Ayman Nadeem	64cf6601c7	construct extraParameterName	2020-02-20 16:10:22 -05:00
Ayman Nadeem	7d551762bb	add extraTypeParameterName to symbolMatchinstance	2020-02-20 16:10:13 -05:00
Ayman Nadeem	acecb82e5f	add an extra arg to symbolMatchingInstance	2020-02-20 16:09:52 -05:00
Ayman Nadeem	8b27bf0cd6	change variable to make it consistent for debugging	2020-02-20 16:09:35 -05:00
Ayman Nadeem	f67e55ab66	supply f to traversableInstances definition	2020-02-20 15:34:09 -05:00
Ayman Nadeem	76ca0060bc	add an extra type parameter	2020-02-20 15:31:21 -05:00
Ayman Nadeem	1b22b0995c	f should come first cosmetically	2020-02-20 15:31:05 -05:00
Ayman Nadeem	db804ecb23	f should come first	2020-02-20 15:30:39 -05:00
Ayman Nadeem	ecdaa12345	we can supply the extra parameter to the creation of a datatype	2020-02-20 15:08:23 -05:00